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 LabelledFormulaapply(LabelledFormula labelledFormula)static Normalisationof(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:
applyin interfaceFunction<LabelledFormula,LabelledFormula>
-
-