Package owl.translations.ltl2ldba
Class AsymmetricProductState
- java.lang.Object
-
- owl.translations.ltl2ldba.AsymmetricProductState
-
- All Implemented Interfaces:
LtlLanguageExpressible
public final class AsymmetricProductState extends Object implements LtlLanguageExpressible
-
-
Field Summary
Fields Modifier and Type Field Description AsymmetricEvaluatedFixpoints.DeterministicAutomata
automata
EquivalenceClass
currentCoSafety
AsymmetricEvaluatedFixpoints
evaluatedFixpoints
int
index
List<EquivalenceClass>
nextCoSafety
EquivalenceClass
safety
-
-
-
Field Detail
-
index
public final int index
-
currentCoSafety
public final EquivalenceClass currentCoSafety
-
nextCoSafety
public final List<EquivalenceClass> nextCoSafety
-
safety
public final EquivalenceClass safety
-
evaluatedFixpoints
public final AsymmetricEvaluatedFixpoints evaluatedFixpoints
-
automata
public final AsymmetricEvaluatedFixpoints.DeterministicAutomata automata
-
-
Method Detail
-
language
public EquivalenceClass language()
- Specified by:
language
in interfaceLtlLanguageExpressible
-
-