Package owl.automaton.symbolic

Class SequentialVariableAllocationCombiner

java.lang.Object

owl.automaton.symbolic.SequentialVariableAllocationCombiner

All Implemented Interfaces:

SymbolicAutomaton.VariableAllocation

public class SequentialVariableAllocationCombiner
extends Object

Combines variable allocations in sequence and moves atomic propositions to the front or the back. E.g. APs, allocation 0, allocation 1, ... or allocation 0, allocation 1, ..., APs

Method Summary

Modifier and Type	Method	Description
int	globalToLocal(int variable, SymbolicAutomaton.VariableAllocation allocation)
int	globalToLocal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
default BitSet	globalToLocal(BitSet bitSet, SymbolicAutomaton.VariableAllocation allocation)
int	localToGlobal(int variable, SymbolicAutomaton.VariableAllocation allocation)
int	localToGlobal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)
default BitSet	localToGlobal(BitSet bitSet, SymbolicAutomaton.VariableAllocation allocation)
int	numberOfVariables()
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, typeOf

Method Detail

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

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

localToGlobal

public int localToGlobal(int variable,
                         SymbolicAutomaton.VariableAllocation allocation)

globalToLocal

public int globalToLocal(int variable,
                         SymbolicAutomaton.VariableAllocation allocation)

localToGlobal

public default BitSet localToGlobal(BitSet bitSet,
                                    SymbolicAutomaton.VariableAllocation allocation)

globalToLocal

public default BitSet globalToLocal(BitSet bitSet,
                                    SymbolicAutomaton.VariableAllocation allocation)