table

pumpkin_solver::constraints

Function table 

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

Create a table constraint over the variables xs.

A table constraint constrains a tuple of variables to have pre-defined values. For example:

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

This has two solutions: either the first tuple of values is assigned to the variables, or the second. The set of value tuples is the ‘table’.

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