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 booleanallMatch(Predicate<Formula> predicate)booleananyMatch(Predicate<Formula> predicate)protected booleanequals2(AbstractFormula o)FormulagetOperand()abstract StringgetOperator()protected inthashCodeOnce()FormulatemporalStep(BitSet valuation)Do a single temporal step.FormulatemporalStepUnfold(BitSet valuation)Short-cut operation to avoid intermediate construction of formula ASTs.StringtoString()-
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:
hashCodeOncein classAbstractFormula
-
equals2
protected boolean equals2(AbstractFormula o)
- Specified by:
equals2in classAbstractFormula
-
getOperand
public Formula getOperand()
-
getOperator
public abstract String getOperator()
-
temporalStep
public Formula temporalStep(BitSet valuation)
Description copied from interface:FormulaDo 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:FormulaShort-cut operation to avoid intermediate construction of formula ASTs.
-
-