Package owl.automaton.symbolic
Interface SymbolicAutomaton.StateEncoder<S>
-
- Enclosing class:
- SymbolicAutomaton<A extends EmersonLeiAcceptance>
public static interface SymbolicAutomaton.StateEncoder<S>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description BitSetencode(S state)intstateVariables()
-