Package owl.translations.mastertheorem
Class Normalisation
- java.lang.Object
-
- owl.translations.mastertheorem.Normalisation
-
- All Implemented Interfaces:
Function<LabelledFormula,LabelledFormula>
,UnaryOperator<LabelledFormula>
public class Normalisation extends Object implements UnaryOperator<LabelledFormula>
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description LabelledFormula
apply(LabelledFormula labelledFormula)
static Normalisation
of(boolean dual, boolean local, boolean onlyStableWords)
-
-
-
Method Detail
-
of
public static Normalisation of(boolean dual, boolean local, boolean onlyStableWords)
-
apply
public LabelledFormula apply(LabelledFormula labelledFormula)
- Specified by:
apply
in interfaceFunction<LabelledFormula,LabelledFormula>
-
-