Package owl.ltl
-
Interface Summary Interface Description EquivalenceClass A propositional equivalence class of an LTL formula.LtlLanguageExpressible -
Class Summary Class Description Biconditional Biconditional.BooleanConstant Conjunction Disjunction FOperator Finally.Formula Formula.BinaryTemporalOperator Formula.NaryPropositionalOperator Formula.PropositionalOperator Formula.TemporalOperator Formula.UnaryTemporalOperator Formulas GOperator Globally.LabelledFormula Literal MOperator Strong Release.Negation ROperator Weak Release.SyntacticFragments SyntacticFragments.FormulaClass UOperator Strong Until.WOperator Weak Until.XOperator Next. -
Enum Summary Enum Description SyntacticFragment SyntacticFragments.Type