All Methods Static Methods Concrete Methods
Modifier and Type |
Method and Description |
static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
constructAlphaClassicUnrelatedAbstraction(D dfa) |
static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
constructAlphaPlusUnrelatedAbstraction(D dfa) |
static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
constructAlphaRobustUnrelatedAbstraction(D dfa,
double noiseThresholdLeastFreq,
double noiseThresholdMostFreq,
ActivityCountAbstraction<?> ac) |
static <E> UnrelatedAbstraction<E> |
constructAlphaSharpUnrelatedAbstraction(DirectlyFollowsAbstraction<E> dfa,
TwoWayLengthTwoLoopAbstraction<E> twltla) |
static <D extends DirectlyFollowsAbstraction<E>,E> UnrelatedAbstraction<E> |
constructBooleanUnrelatedAbstraction(D dfa) |
static double[][] |
constructBooleanUnrelatedAbstractionMatrix(DirectlyFollowsAbstraction<?> dfa) |
static double[][] |
constructRobustUnrelatedAbstractionMatrix(DirectlyFollowsAbstraction<?> dfa,
double noiseThresholdLeastFreq,
double noiseThresholdMostFreq,
ActivityCountAbstraction<?> ac) |