# Hierarchy For Package owl.ltl

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - owl.ltl.AbstractFormula (implements owl.ltl.Formula)
    - owl.ltl.Biconditional
    - owl.ltl.BinaryModalOperator
      - owl.ltl.MOperator
      - owl.ltl.ROperator
      - owl.ltl.UOperator
      - owl.ltl.WOperator
    - owl.ltl.Literal
    - owl.ltl.PropositionalFormula
      - owl.ltl.Conjunction
      - owl.ltl.Disjunction
    - owl.ltl.UnaryModalOperator
      - owl.ltl.FOperator
      - owl.ltl.GOperator
        - owl.ltl.FrequencyG
      - owl.ltl.XOperator
  - owl.ltl.BooleanConstant (implements owl.ltl.Formula)
  - owl.ltl.EquivalenceClass
  - owl.ltl.LabelledFormula
  - owl.ltl.SyntacticFragments

## Interface Hierarchy

- owl.ltl.Formula

## 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