Package owl.ltl
Class BinaryModalOperator
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- owl.ltl.BinaryModalOperator
-
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description boolean
allMatch(Predicate<Formula> predicate)
boolean
anyMatch(Predicate<Formula> predicate)
protected boolean
equals2(AbstractFormula o)
abstract char
getOperator()
protected int
hashCodeOnce()
Formula
temporalStep(BitSet valuation)
Do a single temporal step.Formula
temporalStepUnfold(BitSet valuation)
Short-cut operation to avoid intermediate construction of formula ASTs.String
toString()
-
Methods inherited from class owl.ltl.AbstractFormula
equals, hashCode
-
Methods inherited from interface owl.ltl.Formula
accept, accept, accept, isPureEventual, isPureUniversal, isSuspendable, nnf, not, unfold, unfoldTemporalStep
-
-
-
-
Method Detail
-
hashCodeOnce
protected final int hashCodeOnce()
- Specified by:
hashCodeOnce
in classAbstractFormula
-
equals2
protected final boolean equals2(AbstractFormula o)
- Specified by:
equals2
in classAbstractFormula
-
getOperator
public abstract char getOperator()
-
temporalStep
public Formula temporalStep(BitSet valuation)
Description copied from interface:Formula
Do a single temporal step. This means that one layer of X-operators is removed and literals are replaced by their valuations.
-
temporalStepUnfold
public Formula temporalStepUnfold(BitSet valuation)
Description copied from interface:Formula
Short-cut operation to avoid intermediate construction of formula ASTs.
-
-