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 booleanequals(Object object)abstract List<EquivalenceClass>formulaRanking()abstract inthashCode()StringtoString()
-
-
-
Method Detail
-
formulaRanking
public abstract List<EquivalenceClass> formulaRanking()
-
-