public class UnrelatedAbstractionFactory
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static double |
BOOLEAN_DEFAULT_THRESHOLD |
Constructor and Description |
---|
UnrelatedAbstractionFactory() |
Modifier and Type | Method and Description |
---|---|
static <D extends DirectlyFollowsAbstraction<E>,E> |
constructAlphaClassicUnrelatedAbstraction(D dfa) |
static <D extends DirectlyFollowsAbstraction<E>,E> |
constructAlphaPlusUnrelatedAbstraction(D dfa) |
static <E> UnrelatedAbstraction<E> |
constructAlphaSharpUnrelatedAbstraction(DirectlyFollowsAbstraction<E> dfa,
TwoWayLengthTwoLoopAbstraction<E> twltla) |
static <D extends DirectlyFollowsAbstraction<E>,E> |
constructBooleanUnrelatedAbstraction(D dfa) |
static double[][] |
constructBooleanUnrelatedAbstractionMatrix(DirectlyFollowsAbstraction<?> dfa) |
public static final double BOOLEAN_DEFAULT_THRESHOLD
public static double[][] constructBooleanUnrelatedAbstractionMatrix(DirectlyFollowsAbstraction<?> dfa)
public static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> constructBooleanUnrelatedAbstraction(D dfa)
public static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> constructAlphaClassicUnrelatedAbstraction(D dfa)
public static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> constructAlphaPlusUnrelatedAbstraction(D dfa)
public static <E> UnrelatedAbstraction<E> constructAlphaSharpUnrelatedAbstraction(DirectlyFollowsAbstraction<E> dfa, TwoWayLengthTwoLoopAbstraction<E> twltla)