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.UnaryModalOperator
- owl.ltl.FOperator
- owl.ltl.GOperator
- owl.ltl.FrequencyG
- owl.ltl.XOperator
- owl.ltl.Literal
- owl.ltl.Formula.ModalOperator
- owl.ltl.Formula.LogicalOperator
- 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
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)