Package owl.translations.ltl2dpa
Class AsymmetricRankingState
- java.lang.Object
-
- owl.translations.ltl2dpa.AsymmetricRankingState
-
- All Implemented Interfaces:
AnnotatedState<EquivalenceClass>
public abstract class AsymmetricRankingState extends Object implements AnnotatedState<EquivalenceClass>
-
-
Constructor Summary
Constructors Constructor Description AsymmetricRankingState()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract boolean
equals(Object object)
abstract int
hashCode()
abstract List<AsymmetricProductState>
ranking()
abstract int
safetyIndex()
abstract EquivalenceClass
state()
String
toString()
-
-
-
Method Detail
-
state
public abstract EquivalenceClass state()
- Specified by:
state
in interfaceAnnotatedState<EquivalenceClass>
-
ranking
public abstract List<AsymmetricProductState> ranking()
-
safetyIndex
public abstract int safetyIndex()
-
-