Package owl.translations.canonical
Class DeterministicConstructions.BreakpointStateRejectingRoundRobin
- java.lang.Object
-
- owl.translations.canonical.DeterministicConstructions.BreakpointStateRejectingRoundRobin
-
- Enclosing class:
- DeterministicConstructions
public abstract static class DeterministicConstructions.BreakpointStateRejectingRoundRobin extends Object
-
-
Constructor Summary
Constructors Constructor Description BreakpointStateRejectingRoundRobin()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract EquivalenceClass
all()
static DeterministicConstructions.BreakpointStateRejectingRoundRobin
of(EquivalenceClass all)
static DeterministicConstructions.BreakpointStateRejectingRoundRobin
of(EquivalenceClass all, EquivalenceClass rejecting, Set<Formula.TemporalOperator> profile)
abstract Set<Formula.TemporalOperator>
profile()
abstract EquivalenceClass
rejecting()
DeterministicConstructions.BreakpointStateRejectingRoundRobin
suspend()
String
toString()
-
-
-
Method Detail
-
all
public abstract EquivalenceClass all()
-
rejecting
public abstract EquivalenceClass rejecting()
-
profile
public abstract Set<Formula.TemporalOperator> profile()
-
of
public static DeterministicConstructions.BreakpointStateRejectingRoundRobin of(EquivalenceClass all)
-
of
public static DeterministicConstructions.BreakpointStateRejectingRoundRobin of(EquivalenceClass all, EquivalenceClass rejecting, Set<Formula.TemporalOperator> profile)
-
suspend
public final DeterministicConstructions.BreakpointStateRejectingRoundRobin suspend()
-
-