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.LabelledFormulaTransformer
of(Function<LabelledFormula,R> function)
default Object
transform(Object object)
Object
transform(LabelledFormula labelledFormula)
-
-
-
Method Detail
-
transform
Object transform(LabelledFormula labelledFormula)
-
transform
default Object transform(Object object)
- Specified by:
transform
in interfaceOwlModule.Transformer
-
of
static <R> OwlModule.LabelledFormulaTransformer of(Function<LabelledFormula,R> function)
-
-