Package owl.translations.canonical

Class DeterministicConstructions.BreakpointStateRejecting

java.lang.Object

owl.translations.canonical.DeterministicConstructions.BreakpointStateRejecting

Enclosing class:

DeterministicConstructions

public abstract static class DeterministicConstructions.BreakpointStateRejecting
extends Object

Constructor Summary

Constructors

Constructor	Description
BreakpointStateRejecting()

Method Summary

Modifier and Type	Method	Description
abstract EquivalenceClass	all()
boolean	isSuspended()
static DeterministicConstructions.BreakpointStateRejecting	of(EquivalenceClass all)
static DeterministicConstructions.BreakpointStateRejecting	of(EquivalenceClass all, EquivalenceClass rejecting)
abstract EquivalenceClass	rejecting()
DeterministicConstructions.BreakpointStateRejecting	suspend()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BreakpointStateRejecting

public BreakpointStateRejecting()

Method Detail

all

public abstract EquivalenceClass all()

rejecting

public abstract EquivalenceClass rejecting()

of

public static DeterministicConstructions.BreakpointStateRejecting of(EquivalenceClass all)

of

public static DeterministicConstructions.BreakpointStateRejecting of(EquivalenceClass all,
                                                                     EquivalenceClass rejecting)

isSuspended

public final boolean isSuspended()

suspend

public final DeterministicConstructions.BreakpointStateRejecting suspend()

toString

public final String toString()

Overrides:

toString in class Object