public class DFATransitionCanonicalizer extends StateTransitionCanonicalizer<NFATransitionSet,DFAStateTransitionBuilder>
| Constructor and Description |
|---|
DFATransitionCanonicalizer(boolean genericCG) |
| Modifier and Type | Method and Description |
|---|---|
protected DFAStateTransitionBuilder[] |
createResultArray(int size)
Returns an array suitable for holding the result of
StateTransitionCanonicalizer.run(List, CompilationBuffer). |
protected boolean |
isSameTargetMergeAllowed(DFAStateTransitionBuilder a,
DFAStateTransitionBuilder b)
Returns
true if two DFA transitions leading to the same target state are allowed to
be merged into one. |
runprotected boolean isSameTargetMergeAllowed(DFAStateTransitionBuilder a, DFAStateTransitionBuilder b)
StateTransitionCanonicalizertrue if two DFA transitions leading to the same target state are allowed to
be merged into one.isSameTargetMergeAllowed in class StateTransitionCanonicalizer<NFATransitionSet,DFAStateTransitionBuilder>protected DFAStateTransitionBuilder[] createResultArray(int size)
StateTransitionCanonicalizerStateTransitionCanonicalizer.run(List, CompilationBuffer).createResultArray in class StateTransitionCanonicalizer<NFATransitionSet,DFAStateTransitionBuilder>