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 Formula
toCnfFormula(Formula formula)
static Set<Set<Formula>>
toDnf(Formula formula)
static Formula
toDnfFormula(Formula formula)
-