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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

BreakpointStateRejectingRoundRobin

public BreakpointStateRejectingRoundRobin()

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

toString

public final String toString()

Overrides:

toString in class Object