Package owl.translations.ltl2dela
Class NormalformDELAConstruction.State
- java.lang.Object
-
- owl.translations.ltl2dela.NormalformDELAConstruction.State
-
- Enclosing class:
- NormalformDELAConstruction
public abstract static class NormalformDELAConstruction.State extends Object
-
-
Constructor Summary
Constructors Constructor Description State()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description booleaninDifferentSccs(NormalformDELAConstruction.State otherState)static NormalformDELAConstruction.Stateof(PropositionalFormula<Integer> stateFormula, Map<Integer,DeterministicConstructions.BreakpointStateRejecting> stateMap, BitSet counters)static NormalformDELAConstruction.Stateof(PropositionalFormula<Integer> stateFormula, Map<Integer,DeterministicConstructions.BreakpointStateRejecting> stateMap, Set<Integer> counters)abstract ImmutableBitSetroundRobinCounters()abstract PropositionalFormula<Integer>stateFormula()abstract Map<Integer,DeterministicConstructions.BreakpointStateRejecting>stateMap()
-
-
-
Method Detail
-
stateFormula
public abstract PropositionalFormula<Integer> stateFormula()
-
stateMap
public abstract Map<Integer,DeterministicConstructions.BreakpointStateRejecting> stateMap()
-
roundRobinCounters
public abstract ImmutableBitSet roundRobinCounters()
-
of
public static NormalformDELAConstruction.State of(PropositionalFormula<Integer> stateFormula, Map<Integer,DeterministicConstructions.BreakpointStateRejecting> stateMap, BitSet counters)
-
of
public static NormalformDELAConstruction.State of(PropositionalFormula<Integer> stateFormula, Map<Integer,DeterministicConstructions.BreakpointStateRejecting> stateMap, Set<Integer> counters)
-
inDifferentSccs
public boolean inDifferentSccs(NormalformDELAConstruction.State otherState)
-
-