Package owl.automaton.symbolic

Interface SymbolicAutomaton.VariableAllocation

All Known Implementing Classes:

ManualVariableAllocation, SequentialVariableAllocationCombiner

Enclosing class:

SymbolicAutomaton<A extends EmersonLeiAcceptance>

public static interface SymbolicAutomaton.VariableAllocation

Method Summary

Modifier and Type	Method	Description
int	globalToLocal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
default ImmutableBitSet	globalToLocal(BitSet bitSet, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
int	localToGlobal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
default BitSet	localToGlobal(BitSet bitSet, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
default int	numberOfVariables()
default owl.automaton.symbolic.SymbolicAutomaton.VariableType	typeOf(int variable)
List<String>	variableNames()
ImmutableBitSet	variables(owl.automaton.symbolic.SymbolicAutomaton.VariableType... type)

Method Detail

variables

ImmutableBitSet variables(owl.automaton.symbolic.SymbolicAutomaton.VariableType... type)

numberOfVariables

default int numberOfVariables()

typeOf

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

variableNames

List<String> variableNames()

localToGlobal

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

globalToLocal

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

localToGlobal

default BitSet localToGlobal(BitSet bitSet,
                             owl.automaton.symbolic.SymbolicAutomaton.VariableType type)

globalToLocal

default ImmutableBitSet globalToLocal(BitSet bitSet,
                                      owl.automaton.symbolic.SymbolicAutomaton.VariableType type)