Package owl.ltl
Class Formula.ModalOperator
- java.lang.Object
-
- owl.ltl.Formula
-
- owl.ltl.Formula.TemporalOperator
-
- owl.ltl.Formula.ModalOperator
-
- All Implemented Interfaces:
Comparable<Formula>
- Direct Known Subclasses:
BinaryModalOperator
,UnaryModalOperator
- Enclosing class:
- Formula
public abstract static class Formula.ModalOperator extends Formula.TemporalOperator
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.ltl.Formula
Formula.LogicalOperator, Formula.ModalOperator, Formula.TemporalOperator
-
-
Method Summary
-
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, children, compareTo, compareToImpl, equals, equalsImpl, hashCode, height, isPureEventual, isPureUniversal, isSuspendable, nnf, not, subformulas, subformulas, subformulas, unfold, unfoldTemporalStep
-
-