Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func DisjunctiveNormalize ¶
func DisjunctiveNormalize(expr constraint.Expr) [][]constraint.Expr
DisjunctiveNormalize converts a normalized constraint Expr into disjunctive normal form (DNF). It returns a slice of AND-clauses, where each clause is a slice of Expr that must all be true.
func Normalize ¶
func Normalize(expr constraint.Expr) constraint.Expr
Normalize returns a normalized form of the constraint expression where all negations are pushed down to the tag level using De Morgan's laws.
Types ¶
This section is empty.
Source Files
Click to show internal directories.
Click to hide internal directories.