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

Modifier and Type	Method	Description
abstract EquivalenceClass	accepting()
abstract EquivalenceClass	all()
static DeterministicConstructions.BreakpointStateAcceptingRoundRobin	of(EquivalenceClass all)
static DeterministicConstructions.BreakpointStateAcceptingRoundRobin	of(EquivalenceClass all, EquivalenceClass accepting, Set<Formula.TemporalOperator> profile)
abstract Set<Formula.TemporalOperator>	profile()
DeterministicConstructions.BreakpointStateAcceptingRoundRobin	suspend()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BreakpointStateAcceptingRoundRobin

public BreakpointStateAcceptingRoundRobin()

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()

toString

public final String toString()

Overrides:

toString in class Object