Package owl.ltl
Class UnaryModalOperator
- java.lang.Object
-
- owl.ltl.AbstractFormula
-
- owl.ltl.UnaryModalOperator
-
- All Implemented Interfaces:
Formula
public abstract class UnaryModalOperator extends AbstractFormula
-
-
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)
Formula
getOperand()
abstract String
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
-
-
-
-
Field Detail
-
operand
public final Formula operand
-
-
Method Detail
-
hashCodeOnce
protected int hashCodeOnce()
- Specified by:
hashCodeOnce
in classAbstractFormula
-
equals2
protected boolean equals2(AbstractFormula o)
- Specified by:
equals2
in classAbstractFormula
-
getOperand
public Formula getOperand()
-
getOperator
public abstract String 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.
-
-