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<Formula.NaryPropositionalOperator,Set<Formula>>	SYNTHETIC_CO_SAFETY_LITERAL
static Function<Formula.NaryPropositionalOperator,Set<Formula>>	SYNTHETIC_DELTA2_LITERAL
static Function<Formula.NaryPropositionalOperator,Set<Formula>>	SYNTHETIC_SAFETY_LITERAL

Method Summary

Modifier and Type	Method	Description
static Set<Set<Formula>>	toCnf(Formula formula)
static Set<Set<Formula>>	toCnf(Formula formula, Function<? super Formula.NaryPropositionalOperator,? extends Set<Formula>> syntheticLiteralFactory)
static Formula	toCnfFormula(Formula formula)
static Set<Set<Formula>>	toDnf(Formula formula)
static Set<Set<Formula>>	toDnf(Formula formula, Function<? super Formula.NaryPropositionalOperator,? extends Set<Formula>> syntheticLiteralFactory)
static Formula	toDnfFormula(Formula formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SYNTHETIC_CO_SAFETY_LITERAL

public static final Function<Formula.NaryPropositionalOperator,Set<Formula>> SYNTHETIC_CO_SAFETY_LITERAL

SYNTHETIC_SAFETY_LITERAL

public static final Function<Formula.NaryPropositionalOperator,Set<Formula>> SYNTHETIC_SAFETY_LITERAL

SYNTHETIC_DELTA2_LITERAL

public static final Function<Formula.NaryPropositionalOperator,Set<Formula>> SYNTHETIC_DELTA2_LITERAL

Method Detail

toCnfFormula

public static Formula toCnfFormula(Formula formula)

toCnf

public static Set<Set<Formula>> toCnf(Formula formula)

toCnf

public static Set<Set<Formula>> toCnf(Formula formula,
                                      Function<? super Formula.NaryPropositionalOperator,? extends Set<Formula>> syntheticLiteralFactory)

toDnfFormula

public static Formula toDnfFormula(Formula formula)

toDnf

public static Set<Set<Formula>> toDnf(Formula formula)

toDnf

public static Set<Set<Formula>> toDnf(Formula formula,
                                      Function<? super Formula.NaryPropositionalOperator,? extends Set<Formula>> syntheticLiteralFactory)