Class Hierarchy
- java.lang.Object
- owl.ltl.AbstractFormula (implements owl.ltl.Formula)
- owl.ltl.Biconditional
- owl.ltl.BinaryModalOperator
- 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
- owl.ltl.AbstractFormula (implements owl.ltl.Formula)
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
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)