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`

    - ### Methods inherited from class java.lang.Object

      `clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait`