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
All Methods Instance Methods Concrete Methods Default Methods Modifier and Type Method Description intglobalToLocal(int variable, SymbolicAutomaton.VariableAllocation allocation)intglobalToLocal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)default BitSetglobalToLocal(BitSet bitSet, SymbolicAutomaton.VariableAllocation allocation)intlocalToGlobal(int variable, SymbolicAutomaton.VariableAllocation allocation)intlocalToGlobal(int variable, owl.automaton.symbolic.SymbolicAutomaton.VariableType type)default BitSetlocalToGlobal(BitSet bitSet, SymbolicAutomaton.VariableAllocation allocation)intnumberOfVariables()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, typeOf
-
-
-
-
Method Detail
-
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
-
variables
public ImmutableBitSet variables(owl.automaton.symbolic.SymbolicAutomaton.VariableType... types)
- Specified by:
variablesin interfaceSymbolicAutomaton.VariableAllocation
-
numberOfVariables
public int numberOfVariables()
- Specified by:
numberOfVariablesin interfaceSymbolicAutomaton.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)
-
-