Package owl.ltl
Class BinaryModalOperator
- java.lang.Object
-
- owl.ltl.Formula
-
- owl.ltl.Formula.TemporalOperator
-
- owl.ltl.Formula.ModalOperator
-
- owl.ltl.BinaryModalOperator
-
- All Implemented Interfaces:
Comparable<Formula>
public abstract class BinaryModalOperator extends Formula.ModalOperator
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.ltl.Formula
Formula.LogicalOperator, Formula.ModalOperator, Formula.TemporalOperator
-
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description Set<Formula>children()protected intcompareToImpl(Formula o)protected booleanequalsImpl(Formula o)booleanisPureEventual()booleanisPureUniversal()abstract StringoperatorSymbol()StringtoString()-
Methods inherited from class owl.ltl.Formula.TemporalOperator
substitute, temporalStep, temporalStep, temporalStep, temporalStepUnfold
-
Methods inherited from class owl.ltl.Formula
accept, accept, accept, allMatch, anyMatch, atomicPropositions, compareTo, equals, hashCode, height, isSuspendable, nnf, not, subformulas, subformulas, subformulas, unfold, unfoldTemporalStep
-
-
-
-
Method Detail
-
isPureEventual
public final boolean isPureEventual()
- Specified by:
isPureEventualin classFormula
-
isPureUniversal
public final boolean isPureUniversal()
- Specified by:
isPureUniversalin classFormula
-
operatorSymbol
public abstract String operatorSymbol()
-
compareToImpl
protected final int compareToImpl(Formula o)
- Specified by:
compareToImplin classFormula
-
equalsImpl
protected final boolean equalsImpl(Formula o)
- Specified by:
equalsImplin classFormula
-
-