Package owl.ltl

## Class AbstractFormula

- java.lang.Object
- - owl.ltl.AbstractFormula

- All Implemented Interfaces:
    `Formula`
  Direct Known Subclasses:
    `Biconditional`, `BinaryModalOperator`, `Literal`, `PropositionalFormula`, `UnaryModalOperator`

      public abstract class AbstractFormula
      extends Object
      implements Formula

- - ### Constructor Summary

    Constructors
    Constructor | Description
    --- | ---
    `AbstractFormula()` |

  - ### Method Summary

    All Methods Instance Methods Abstract Methods Concrete Methods
    Modifier and Type | Method | Description
    --- | --- | ---
    `boolean` | `equals​(Object o)` |
    `protected abstract boolean` | `equals2​(AbstractFormula o)` |
    `int` | `hashCode()` |
    `protected abstract int` | `hashCodeOnce()` |

    - ### Methods inherited from interface owl.ltl.Formula

      `accept, accept, accept, allMatch, anyMatch, isPureEventual, isPureUniversal, isSuspendable, nnf, not, temporalStep, temporalStepUnfold, unfold, unfoldTemporalStep`

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

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

- - ### Constructor Detail

    - #### AbstractFormula

          public AbstractFormula()

  - ### Method Detail

    - #### equals

          public final boolean equals​(Object o)

      Overrides:
        `equals` in class `Object`

    - #### hashCode

          public final int hashCode()

      Overrides:
        `hashCode` in class `Object`

    - #### equals2

          protected abstract boolean equals2​(AbstractFormula o)

    - #### hashCodeOnce

          protected abstract int hashCodeOnce()