Hierarchy For Package owl.ltl

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • owl.ltl.Formula (implements java.lang.Comparable<T>)
    • owl.ltl.Formula.PropositionalOperator
      • owl.ltl.Biconditional
      • owl.ltl.BooleanConstant
      • owl.ltl.Formula.NaryPropositionalOperator
        • owl.ltl.Conjunction
        • owl.ltl.Disjunction
      • owl.ltl.Literal
      • owl.ltl.Negation
    • owl.ltl.Formula.TemporalOperator
      • owl.ltl.Formula.BinaryTemporalOperator
        • owl.ltl.MOperator
        • owl.ltl.ROperator
        • owl.ltl.UOperator
        • owl.ltl.WOperator
      • owl.ltl.Formula.UnaryTemporalOperator
        • owl.ltl.FOperator
        • owl.ltl.GOperator
        • owl.ltl.XOperator
  • owl.ltl.Formulas
  • owl.ltl.LabelledFormula
  • owl.ltl.SyntacticFragments
  • owl.ltl.SyntacticFragments.FormulaClass

Interface Hierarchy

• owl.ltl.LtlLanguageExpressible
  • owl.ltl.EquivalenceClass

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • owl.ltl.SyntacticFragment
    • owl.ltl.SyntacticFragments.Type