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

Modifier and Type	Method	Description
int	globalToLocal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
int	localToGlobal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
int	numberOfVariables()
owl.automaton.symbolic.SymbolicAutomaton.VariableType	typeOf(int variable)
List<String>	variableNames()
ImmutableBitSet	variables(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:

variables in interface SymbolicAutomaton.VariableAllocation

numberOfVariables

public int numberOfVariables()

Specified by:

numberOfVariables in interface SymbolicAutomaton.VariableAllocation

typeOf

public owl.automaton.symbolic.SymbolicAutomaton.VariableType typeOf(int variable)

Specified by:

typeOf in interface SymbolicAutomaton.VariableAllocation

variableNames

public List<String> variableNames()

Specified by:

variableNames in interface SymbolicAutomaton.VariableAllocation

localToGlobal

public int localToGlobal(int variable,
                         owl.automaton.symbolic.SymbolicAutomaton.VariableType type)

Specified by:

localToGlobal in interface SymbolicAutomaton.VariableAllocation

globalToLocal

public int globalToLocal(int variable,
                         owl.automaton.symbolic.SymbolicAutomaton.VariableType type)

Specified by:

globalToLocal in interface SymbolicAutomaton.VariableAllocation