Package owl.ltl
-
Interface Summary Interface Description LtlLanguageExpressible -
Class Summary Class Description Biconditional Biconditional.BinaryModalOperator BooleanConstant Conjunction Disjunction EquivalenceClass EquivalenceClass interface.FOperator Finally.Formula Formula.LogicalOperator Formula.ModalOperator Formula.TemporalOperator Formulas 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