Package owl.translations.rabinizer

Class MonitorState

java.lang.Object

owl.translations.rabinizer.MonitorState

public abstract class MonitorState
extends Object

Constructor Summary

Constructors

Constructor	Description
MonitorState()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

MonitorState

public MonitorState()

Method Detail

formulaRanking

public abstract List<EquivalenceClass> formulaRanking()

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