Package owl.ltl
Class EquivalenceClass
- java.lang.Object
-
- owl.ltl.EquivalenceClass
-
- All Implemented Interfaces:
LtlLanguageExpressible
public class EquivalenceClass extends Object implements LtlLanguageExpressible
EquivalenceClass interface. The general contract of this interface is: If two implementing objects were created from different factories, implies and equals have to returnfalse.
-
-
Constructor Summary
Constructors Modifier Constructor Description protectedEquivalenceClass(EquivalenceClassFactory factory, Formula representative)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description EquivalenceClassand(EquivalenceClass other)BitSetatomicPropositions()BitSetatomicPropositions(boolean includeNested)EquivalenceClassFactoryfactory()booleanimplies(EquivalenceClass other)booleanisFalse()booleanisTrue()EquivalenceClasslanguage()Set<Formula.ModalOperator>modalOperators()EquivalenceClassor(EquivalenceClass other)Formularepresentative()EquivalenceClasssubstitute(Function<? super Formula.ModalOperator,? extends Formula> substitution)EquivalenceClasstemporalStep(BitSet valuation)ValuationTree<EquivalenceClass>temporalStepTree()<T> ValuationTree<T>temporalStepTree(Function<EquivalenceClass,Set<T>> mapper)EquivalenceClasstemporalStepUnfold(BitSet valuation)StringtoString()doubletrueness()EquivalenceClassunfold()EquivalenceClassunfoldTemporalStep(BitSet valuation)
-
-
-
Constructor Detail
-
EquivalenceClass
protected EquivalenceClass(EquivalenceClassFactory factory, @Nullable Formula representative)
-
-
Method Detail
-
representative
@Nullable public final Formula representative()
-
factory
public final EquivalenceClassFactory factory()
-
isFalse
public final boolean isFalse()
-
isTrue
public final boolean isTrue()
-
atomicPropositions
public final BitSet atomicPropositions()
-
atomicPropositions
public final BitSet atomicPropositions(boolean includeNested)
-
modalOperators
public final Set<Formula.ModalOperator> modalOperators()
-
implies
public final boolean implies(EquivalenceClass other)
-
and
public final EquivalenceClass and(EquivalenceClass other)
-
or
public final EquivalenceClass or(EquivalenceClass other)
-
substitute
public final EquivalenceClass substitute(Function<? super Formula.ModalOperator,? extends Formula> substitution)
- Parameters:
substitution- The substitution function. It is only called on modal operators.
-
temporalStep
public final EquivalenceClass temporalStep(BitSet valuation)
- Parameters:
valuation- The assignment for the atomic propositions.
-
temporalStepTree
public final ValuationTree<EquivalenceClass> temporalStepTree()
-
temporalStepTree
public final <T> ValuationTree<T> temporalStepTree(Function<EquivalenceClass,Set<T>> mapper)
-
temporalStepUnfold
public final EquivalenceClass temporalStepUnfold(BitSet valuation)
- Parameters:
valuation- The assignment for the atomic propositions.
-
unfold
public final EquivalenceClass unfold()
-
unfoldTemporalStep
public final EquivalenceClass unfoldTemporalStep(BitSet valuation)
- Parameters:
valuation- The assignment for the atomic propositions.
-
trueness
public final double trueness()
-
language
public EquivalenceClass language()
- Specified by:
languagein interfaceLtlLanguageExpressible
-
-