Package owl.ltl
Class EquivalenceClass
- java.lang.Object
-
- owl.ltl.EquivalenceClass
-
public class EquivalenceClass extends Object
EquivalenceClass interface. The general contract of this interface is: If two implementing objects were created from different factories, implies and equals have to returnfalse.
-
-
Field Summary
Fields Modifier and Type Field Description static EquivalenceClass[]EMPTY_ARRAY
-
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()EquivalenceClassFactoryfactory()booleanimplies(EquivalenceClass other)booleanisFalse()booleanisTrue()Set<Formula>modalOperators()EquivalenceClassor(EquivalenceClass other)Formularepresentative()EquivalenceClasssubstitute(Function<Formula,Formula> substitution)EquivalenceClasstemporalStep(BitSet valuation)LabelledTree<Integer,EquivalenceClass>temporalStepTree()EquivalenceClasstemporalStepUnfold(BitSet valuation)StringtoString()EquivalenceClassunfold()EquivalenceClassunfoldTemporalStep(BitSet valuation)
-
-
-
Field Detail
-
EMPTY_ARRAY
public static final EquivalenceClass[] EMPTY_ARRAY
-
-
Constructor Detail
-
EquivalenceClass
protected EquivalenceClass(EquivalenceClassFactory factory, @Nullable Formula representative)
-
-
Method Detail
-
factory
public final EquivalenceClassFactory factory()
-
isFalse
public final boolean isFalse()
-
isTrue
public final boolean isTrue()
-
atomicPropositions
public final BitSet atomicPropositions()
-
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<Formula,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 LabelledTree<Integer,EquivalenceClass> temporalStepTree()
-
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.
-
-