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

Modifier and Type	Method	Description
boolean	inDifferentSccs(NormalformDELAConstruction.State otherState)
static NormalformDELAConstruction.State	of(PropositionalFormula<Integer> stateFormula, Map<Integer,DeterministicConstructions.BreakpointStateRejecting> stateMap, BitSet counters)
static NormalformDELAConstruction.State	of(PropositionalFormula<Integer> stateFormula, Map<Integer,DeterministicConstructions.BreakpointStateRejecting> stateMap, Set<Integer> counters)
abstract ImmutableBitSet	roundRobinCounters()
abstract PropositionalFormula<Integer>	stateFormula()
abstract Map<Integer,DeterministicConstructions.BreakpointStateRejecting>	stateMap()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

State

public State()

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)