Package owl.ltl
-
Interface Summary Interface Description Formula -
Class Summary Class Description AbstractFormula Biconditional Biconditional.BinaryModalOperator BooleanConstant Conjunction Disjunction EquivalenceClass EquivalenceClass interface.FOperator Finally.FrequencyG GOperator Globally.LabelledFormula Literal MOperator Strong Release.PropositionalFormula ROperator Weak Release.SyntacticFragments UnaryModalOperator UOperator Strong Until.WOperator Weak Until.XOperator Next. -
Enum Summary Enum Description FrequencyG.Comparison FrequencyG.Limes SyntacticFragment