Package owl.translations.ltl2dra
Class SymmetricRankingState
- java.lang.Object
-
- owl.translations.ltl2dra.SymmetricRankingState
-
- All Implemented Interfaces:
AnnotatedState<Map<Integer,EquivalenceClass>>
public abstract class SymmetricRankingState extends Object implements AnnotatedState<Map<Integer,EquivalenceClass>>
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract booleanequals(Object object)abstract inthashCode()static SymmetricRankingStateof(Map<Integer,EquivalenceClass> state)abstract Map<Integer,EquivalenceClass>state()abstract com.google.common.collect.Table<Integer,SymmetricEvaluatedFixpoints,SymmetricProductState>table()StringtoString()
-
-
-
Method Detail
-
state
public abstract Map<Integer,EquivalenceClass> state()
- Specified by:
statein interfaceAnnotatedState<Map<Integer,EquivalenceClass>>
-
table
public abstract com.google.common.collect.Table<Integer,SymmetricEvaluatedFixpoints,SymmetricProductState> table()
-
of
public static SymmetricRankingState of(Map<Integer,EquivalenceClass> state)
-
-