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 protected
EquivalenceClass(EquivalenceClassFactory factory, Formula representative)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description EquivalenceClass
and(EquivalenceClass other)
BitSet
atomicPropositions()
BitSet
atomicPropositions(boolean includeNested)
EquivalenceClassFactory
factory()
boolean
implies(EquivalenceClass other)
boolean
isFalse()
boolean
isTrue()
EquivalenceClass
language()
Set<Formula.ModalOperator>
modalOperators()
EquivalenceClass
or(EquivalenceClass other)
Formula
representative()
EquivalenceClass
substitute(Function<? super Formula.ModalOperator,? extends Formula> substitution)
EquivalenceClass
temporalStep(BitSet valuation)
ValuationTree<EquivalenceClass>
temporalStepTree()
<T> ValuationTree<T>
temporalStepTree(Function<EquivalenceClass,Set<T>> mapper)
EquivalenceClass
temporalStepUnfold(BitSet valuation)
String
toString()
double
trueness()
EquivalenceClass
unfold()
EquivalenceClass
unfoldTemporalStep(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:
language
in interfaceLtlLanguageExpressible
-
-