Package owl.translations.mastertheorem
Class SymmetricEvaluatedFixpoints
- java.lang.Object
-
- owl.translations.mastertheorem.SymmetricEvaluatedFixpoints
-
- All Implemented Interfaces:
Comparable<SymmetricEvaluatedFixpoints>,LtlLanguageExpressible
public final class SymmetricEvaluatedFixpoints extends Object implements Comparable<SymmetricEvaluatedFixpoints>, LtlLanguageExpressible
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classSymmetricEvaluatedFixpoints.DeterministicAutomatastatic classSymmetricEvaluatedFixpoints.NonDeterministicAutomata
-
Field Summary
Fields Modifier and Type Field Description Set<FOperator>almostAlwaysCorresponds to safetyAutomaton.FixpointsfixpointsSet<GOperator>infinitelyOftenCorresponds to gfCoSafetyAutomaton.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Set<SymmetricEvaluatedFixpoints>build(Formula formula, Fixpoints fixpoints, Factories factories)intcompareTo(SymmetricEvaluatedFixpoints that)SymmetricEvaluatedFixpoints.DeterministicAutomatadeterministicAutomata(Factories factories, boolean generalized)booleanequals(Object o)inthashCode()booleanisEmpty()booleanisLiveness()booleanisSafety()EquivalenceClasslanguage()SymmetricEvaluatedFixpoints.NonDeterministicAutomatanonDeterministicAutomata(Factories factories, boolean generalized)StringtoString()
-
-
-
Method Detail
-
build
public static Set<SymmetricEvaluatedFixpoints> build(Formula formula, Fixpoints fixpoints, Factories factories)
-
compareTo
public int compareTo(SymmetricEvaluatedFixpoints that)
- Specified by:
compareToin interfaceComparable<SymmetricEvaluatedFixpoints>
-
isEmpty
public boolean isEmpty()
-
isSafety
public boolean isSafety()
-
isLiveness
public boolean isLiveness()
-
language
public EquivalenceClass language()
- Specified by:
languagein interfaceLtlLanguageExpressible
-
deterministicAutomata
public SymmetricEvaluatedFixpoints.DeterministicAutomata deterministicAutomata(Factories factories, boolean generalized)
-
nonDeterministicAutomata
public SymmetricEvaluatedFixpoints.NonDeterministicAutomata nonDeterministicAutomata(Factories factories, boolean generalized)
-
-