Package owl.translations.rabinizer

Class RabinizerState

java.lang.Object

owl.translations.rabinizer.RabinizerState

public abstract class RabinizerState
extends Object

Constructor Summary

Constructors

Constructor	Description
RabinizerState()

Method Summary

Modifier and Type	Method	Description
abstract boolean	equals(Object object)
abstract int	hashCode()
abstract EquivalenceClass	masterState()
abstract List<MonitorState>	monitorStates()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

RabinizerState

public RabinizerState()

Method Detail

masterState

public abstract EquivalenceClass masterState()

monitorStates

public abstract List<MonitorState> monitorStates()

equals

public abstract boolean equals(Object object)

Overrides:

equals in class Object

hashCode

@Memoized
public abstract int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object