Package owl.automaton.symbolic
Class ManualVariableAllocation
- java.lang.Object
-
- owl.automaton.symbolic.ManualVariableAllocation
-
- All Implemented Interfaces:
SymbolicAutomaton.VariableAllocation
public class ManualVariableAllocation extends Object implements SymbolicAutomaton.VariableAllocation
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intglobalToLocal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)intlocalToGlobal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)intnumberOfVariables()owl.automaton.symbolic.SymbolicAutomaton.VariableTypetypeOf(int variable)List<String>variableNames()ImmutableBitSetvariables(owl.automaton.symbolic.SymbolicAutomaton.VariableType... types)-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.automaton.symbolic.SymbolicAutomaton.VariableAllocation
globalToLocal, localToGlobal
-
-
-
-
Method Detail
-
variables
public ImmutableBitSet variables(owl.automaton.symbolic.SymbolicAutomaton.VariableType... types)
- Specified by:
variablesin interfaceSymbolicAutomaton.VariableAllocation
-
numberOfVariables
public int numberOfVariables()
- Specified by:
numberOfVariablesin interfaceSymbolicAutomaton.VariableAllocation
-
typeOf
public owl.automaton.symbolic.SymbolicAutomaton.VariableType typeOf(int variable)
- Specified by:
typeOfin interfaceSymbolicAutomaton.VariableAllocation
-
variableNames
public List<String> variableNames()
- Specified by:
variableNamesin interfaceSymbolicAutomaton.VariableAllocation
-
localToGlobal
public int localToGlobal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)- Specified by:
localToGlobalin interfaceSymbolicAutomaton.VariableAllocation
-
globalToLocal
public int globalToLocal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)- Specified by:
globalToLocalin interfaceSymbolicAutomaton.VariableAllocation
-
-