Package owl.ltl.rewriter
Class NormalForms
- java.lang.Object
-
- owl.ltl.rewriter.NormalForms
-
public final class NormalForms extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static Function<PropositionalFormula,Set<Formula>>
SYNTHETIC_CO_SAFETY_LITERAL
static Function<PropositionalFormula,Set<Formula>>
SYNTHETIC_SAFETY_LITERAL
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Set<Set<Formula>>
toCnf(Formula formula)
static Set<Set<Formula>>
toCnf(Formula formula, Function<? super Formula,? extends Collection<Formula>> syntheticLiteralFactory)
static Formula
toCnfFormula(Formula formula)
static Set<Set<Formula>>
toDnf(Formula formula)
static Set<Set<Formula>>
toDnf(Formula formula, Function<? super PropositionalFormula,? extends Collection<Formula>> syntheticLiteralFactory)
static Formula
toDnfFormula(Formula formula)
-
-
-
Field Detail
-
SYNTHETIC_CO_SAFETY_LITERAL
public static final Function<PropositionalFormula,Set<Formula>> SYNTHETIC_CO_SAFETY_LITERAL
-
SYNTHETIC_SAFETY_LITERAL
public static final Function<PropositionalFormula,Set<Formula>> SYNTHETIC_SAFETY_LITERAL
-
-
Method Detail
-
toCnf
public static Set<Set<Formula>> toCnf(Formula formula, Function<? super Formula,? extends Collection<Formula>> syntheticLiteralFactory)
-
toDnf
public static Set<Set<Formula>> toDnf(Formula formula, Function<? super PropositionalFormula,? extends Collection<Formula>> syntheticLiteralFactory)
-
-