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 EquivalenceClassall()static DeterministicConstructions.BreakpointStateRejectingRoundRobinof(EquivalenceClass all)static DeterministicConstructions.BreakpointStateRejectingRoundRobinof(EquivalenceClass all, EquivalenceClass rejecting, Set<Formula.TemporalOperator> profile)abstract Set<Formula.TemporalOperator>profile()abstract EquivalenceClassrejecting()DeterministicConstructions.BreakpointStateRejectingRoundRobinsuspend()StringtoString()
-
-
-
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()
-
-