Package owl.automaton.symbolic
Interface SymbolicAutomaton.VariableAllocator
-
- All Known Implementing Classes:
RangedVariableAllocator
- Enclosing class:
- SymbolicAutomaton<A extends EmersonLeiAcceptance>
public static interface SymbolicAutomaton.VariableAllocator
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description SymbolicAutomaton.VariableAllocationallocate(int stateVariables, int atomicPropositions, int colours)
-
-
-
Method Detail
-
allocate
SymbolicAutomaton.VariableAllocation allocate(int stateVariables, int atomicPropositions, int colours)
-
-