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
AsymmetricEvaluatedFixpoints
evaluatedFixpoints
-
-
-
Field Detail
-
evaluatedFixpoints
public final AsymmetricEvaluatedFixpoints evaluatedFixpoints
-
automata
public final AsymmetricEvaluatedFixpoints.DeterministicAutomata automata
-
-
Method Detail
-
language
public EquivalenceClass language()
- Specified by:
language
in interfaceLtlLanguageExpressible
-
-