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
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract booleanequals(Object object)abstract inthashCode()abstract EquivalenceClassmasterState()abstract List<MonitorState>monitorStates()StringtoString()
-
-
-
Method Detail
-
masterState
public abstract EquivalenceClass masterState()
-
monitorStates
public abstract List<MonitorState> monitorStates()
-
-