negative_table

pumpkin_solver::constraints

Function negative_table 

Source 
pub fn negative_table<Var>(
    xs: impl IntoIterator<Item = Var>,
    table: Vec<Vec<i32>>,
    constraint_tag: ConstraintTag,
) -> impl NegatableConstraint
where
    Var: IntegerVariable + 'static,
Expand description

Create a negative table constraint over the variables xs.

A negative table is essentially a set of conflicts over the given variables. For example:

ⓘ
(x1, x2, x3) not in {(1, 3, 5), (3, 1, 4)}

This prevents any solution where the variables have both the first and the second tuple as values.

In the XCSP3 specification, this is the “negative table” (https://www.xcsp.org/specifications/constraints/generic/extension/).