Package owl.ltl
Class LabelledFormula
- java.lang.Object
-
- owl.ltl.LabelledFormula
-
public abstract class LabelledFormula extends Object
-
-
Constructor Summary
Constructors Constructor Description LabelledFormula()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract List<String>atomicPropositions()abstract Formulaformula()LabelledFormulannf()LabelledFormulanot()static LabelledFormulaof(Formula formula, List<String> atomicPropositions)StringtoString()LabelledFormulawrap(Formula formula)
-
-
-
Method Detail
-
formula
public abstract Formula formula()
-
of
public static LabelledFormula of(Formula formula, List<String> atomicPropositions)
-
wrap
public LabelledFormula wrap(Formula formula)
-
not
public LabelledFormula not()
-
nnf
public LabelledFormula nnf()
-
-