Package owl.ltl.rewriter
Class SimplifierTransformer
- java.lang.Object
-
- owl.ltl.rewriter.SimplifierTransformer
-
- All Implemented Interfaces:
OwlModule.Instance
,OwlModule.LabelledFormulaTransformer
,OwlModule.Transformer
public final class SimplifierTransformer extends Object implements OwlModule.LabelledFormulaTransformer
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.Transformer>
MODULE
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Object
transform(LabelledFormula object)
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.run.modules.OwlModule.LabelledFormulaTransformer
transform
-
-
-
-
Field Detail
-
MODULE
public static final OwlModule<OwlModule.Transformer> MODULE
-
-
Method Detail
-
transform
public Object transform(LabelledFormula object)
- Specified by:
transform
in interfaceOwlModule.LabelledFormulaTransformer
-
-