Package owl.ltl
Class LabelledFormula
- java.lang.Object
-
- owl.ltl.LabelledFormula
-
@Immutable 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 Formulaformula()LabelledFormulannf()LabelledFormulanot()static LabelledFormulaof(Formula formula, List<String> variables)static LabelledFormulaof(Formula formula, List<String> variables, BitSet player1)static LabelledFormulaof(Formula formula, List<String> variables, Set<String> player1)abstract Set<String>player1Variables()LabelledFormulasplit(Set<String> player1)StringtoString()abstract List<String>variables()LabelledFormulawrap(Formula formula)
-
-
-
Method Detail
-
formula
public abstract Formula formula()
-
of
public static LabelledFormula of(Formula formula, List<String> variables)
-
of
public static LabelledFormula of(Formula formula, List<String> variables, BitSet player1)
-
wrap
public LabelledFormula wrap(Formula formula)
-
split
public LabelledFormula split(Set<String> player1)
-
not
public LabelledFormula not()
-
nnf
public LabelledFormula nnf()
-
-