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)
-
-
-
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)
-
-