static <D extends DirectlyFollowsAbstraction<E>,E> ParallelAbstraction<E> |
ParallelAbstractionFactory.constructAlphaClassicParallelAbstraction(D dfa) |
static <D extends DirectlyFollowsAbstraction<E>,L extends TwoWayLengthTwoLoopAbstraction<E>,E> ParallelAbstraction<E> |
ParallelAbstractionFactory.constructAlphaPlusParallelAbstraction(D dfa,
L twltla) |
static <D extends DirectlyFollowsAbstraction<E>,L extends TwoWayLengthTwoLoopAbstraction<E>,E> ParallelAbstraction<E> |
ParallelAbstractionFactory.constructAlphaPlusPlusParallelAbstraction(D dfa,
L twltla) |
static <E> ParallelAbstraction<E> |
ParallelAbstractionFactory.constructAlphaSharpParallelAbstraction(DirectlyFollowsAbstraction<E> directlyFollowsAbstraction,
TwoWayLengthTwoLoopAbstraction<E> twoWayLengthTwoLoopAbstraction) |
static <D extends DirectlyFollowsAbstraction<E>,E> ParallelAbstraction<E> |
ParallelAbstractionFactory.constructBooleanParallelAbstraction(D dfa) |