# Hierarchy For Package owl.ltl

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - owl.ltl.EquivalenceClass (implements owl.ltl.LtlLanguageExpressible)
  - owl.ltl.Formula (implements java.lang.Comparable<T>)
    - owl.ltl.Formula.LogicalOperator
      - owl.ltl.Biconditional
      - owl.ltl.BooleanConstant
      - owl.ltl.PropositionalFormula
        - owl.ltl.Conjunction
        - owl.ltl.Disjunction
    - owl.ltl.Formula.TemporalOperator
      - owl.ltl.Formula.ModalOperator
        - owl.ltl.BinaryModalOperator
          - owl.ltl.MOperator
          - owl.ltl.ROperator
          - owl.ltl.UOperator
          - owl.ltl.WOperator
        - owl.ltl.UnaryModalOperator
          - owl.ltl.FOperator
          - owl.ltl.GOperator
            - owl.ltl.FrequencyG
          - owl.ltl.XOperator
      - owl.ltl.Literal
  - owl.ltl.Formulas
  - owl.ltl.LabelledFormula
  - owl.ltl.SyntacticFragments

## Interface Hierarchy

- owl.ltl.LtlLanguageExpressible

## Enum Hierarchy

- java.lang.Object
  - java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    - owl.ltl.FrequencyG.Comparison
    - owl.ltl.FrequencyG.Limes
    - owl.ltl.SyntacticFragment