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
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract boolean
equals(Object object)
abstract List<EquivalenceClass>
formulaRanking()
abstract int
hashCode()
String
toString()
-
-
-
Method Detail
-
formulaRanking
public abstract List<EquivalenceClass> formulaRanking()
-
-