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