static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
UnrelatedAbstractionFactory.constructAlphaClassicUnrelatedAbstraction(D dfa) |
static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
UnrelatedAbstractionFactory.constructAlphaPlusUnrelatedAbstraction(D dfa) |
static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
UnrelatedAbstractionFactory.constructAlphaRobustUnrelatedAbstraction(D dfa,
double noiseThresholdLeastFreq,
double noiseThresholdMostFreq,
ActivityCountAbstraction<?> ac) |
static <E> UnrelatedAbstraction<E> |
UnrelatedAbstractionFactory.constructAlphaSharpUnrelatedAbstraction(DirectlyFollowsAbstraction<E> dfa,
TwoWayLengthTwoLoopAbstraction<E> twltla) |
static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
UnrelatedAbstractionFactory.constructBooleanUnrelatedAbstraction(D dfa) |