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 class
SimplifierFactory.Mode
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Formula
apply(Formula formula, SimplifierFactory.Mode mode)
static Formula
apply(Formula formula, SimplifierFactory.Mode... modes)
static LabelledFormula
apply(LabelledFormula formula, SimplifierFactory.Mode mode)
static LabelledFormula
apply(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)
-
-