Package owl.translations.ltl2dpa
Class SymmetricRankingState
- java.lang.Object
-
- owl.translations.ltl2dpa.SymmetricRankingState
-
- All Implemented Interfaces:
AnnotatedState<Map<Integer,EquivalenceClass>>
public abstract class SymmetricRankingState extends Object implements AnnotatedState<Map<Integer,EquivalenceClass>>
-
-
Constructor Summary
Constructors Constructor Description SymmetricRankingState()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract booleanequals(Object object)abstract inthashCode()abstract List<Map.Entry<Integer,SymmetricProductState>>ranking()abstract intsafetyBucket()abstract intsafetyBucketIndex()abstract Map<Integer,EquivalenceClass>state()StringtoString()
-
-
-
Method Detail
-
state
public abstract Map<Integer,EquivalenceClass> state()
- Specified by:
statein interfaceAnnotatedState<Map<Integer,EquivalenceClass>>
-
ranking
public abstract List<Map.Entry<Integer,SymmetricProductState>> ranking()
-
safetyBucket
public abstract int safetyBucket()
-
safetyBucketIndex
public abstract int safetyBucketIndex()
-
-