Package owl.ltl.rewriter
Class NormalForms
- java.lang.Object
-
- owl.ltl.rewriter.NormalForms
-
public final class NormalForms extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Set<Set<Formula>>toCnf(Formula formula)static FormulatoCnfFormula(Formula formula)static Set<Set<Formula>>toDnf(Formula formula)static FormulatoDnfFormula(Formula formula)
-