Package owl.run.modules
Interface OwlModule.LabelledFormulaTransformer
-
- All Superinterfaces:
OwlModule.Instance,OwlModule.Transformer
- All Known Implementing Classes:
SimplifierTransformer
- Enclosing class:
- OwlModule<M extends OwlModule.Instance>
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public static interface OwlModule.LabelledFormulaTransformer extends OwlModule.Transformer
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description static <R> OwlModule.LabelledFormulaTransformerof(Function<LabelledFormula,R> function)default Objecttransform(Object object)Objecttransform(LabelledFormula labelledFormula)
-
-
-
Method Detail
-
transform
Object transform(LabelledFormula labelledFormula)
-
transform
default Object transform(Object object)
- Specified by:
transformin interfaceOwlModule.Transformer
-
of
static <R> OwlModule.LabelledFormulaTransformer of(Function<LabelledFormula,R> function)
-
-