Interface NFA.BigState<State>

Enclosing class:

public static interface NFA.BigState<State>

Certain NFA transformations (ex: NFA.simplify()) produce NFAs whose states are sets of original states. Using Set<State> for those states has the inconvenient that using sets as maps indices (for example, in a map from big states to their arcs) is VERY expensive. Set equality is not what we really want here, especially because the implementation of simplify is fine with the much faster object identity. Instead of defining a Set that breaks the Set specification for equals, we have a special interface, that each optimization can implement to use the desired equality relation.

Method Summary
 java.util.Set<State> getStates()
          Returns the set of states that compose this big state.

Method Detail


java.util.Set<State> getStates()
Returns the set of states that compose this big state.

Copyright 2005 Alexandru Salcianu -