Package owl.ltl.rewriter
Class SimplifierFactory
- java.lang.Object
-
- owl.ltl.rewriter.SimplifierFactory
-
public final class SimplifierFactory extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classSimplifierFactory.Mode
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Formulaapply(Formula formula, SimplifierFactory.Mode mode)static Formulaapply(Formula formula, SimplifierFactory.Mode... modes)static LabelledFormulaapply(LabelledFormula formula, SimplifierFactory.Mode mode)static LabelledFormulaapply(LabelledFormula formula, SimplifierFactory.Mode... modes)static FormulaapplyDefault(Formula formula)
-
-
-
Method Detail
-
apply
public static Formula apply(Formula formula, SimplifierFactory.Mode mode)
-
apply
public static Formula apply(Formula formula, SimplifierFactory.Mode... modes)
-
apply
public static LabelledFormula apply(LabelledFormula formula, SimplifierFactory.Mode mode)
-
apply
public static LabelledFormula apply(LabelledFormula formula, SimplifierFactory.Mode... modes)
-
-