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 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()
EquivalenceClassFactory
factory()
boolean
implies(EquivalenceClass other)
boolean
isFalse()
boolean
isTrue()
Set<Formula>
modalOperators()
EquivalenceClass
or(EquivalenceClass other)
Formula
representative()
EquivalenceClass
substitute(Function<Formula,Formula> substitution)
EquivalenceClass
temporalStep(BitSet valuation)
LabelledTree<Integer,EquivalenceClass>
temporalStepTree()
EquivalenceClass
temporalStepUnfold(BitSet valuation)
String
toString()
EquivalenceClass
unfold()
EquivalenceClass
unfoldTemporalStep(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.
-
-