Package owl.automaton.symbolic
Interface SymbolicAutomaton.StateEncoderFactory
-
- All Known Implementing Classes:
NumberingStateEncoderFactory
- Enclosing class:
- SymbolicAutomaton<A extends EmersonLeiAcceptance>
public static interface SymbolicAutomaton.StateEncoderFactory
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description <S> SymbolicAutomaton.StateEncoder<S>create(Automaton<? extends S,?> automaton)
-
-
-
Method Detail
-
create
<S> SymbolicAutomaton.StateEncoder<S> create(Automaton<? extends S,?> automaton)
-
-