element

pumpkin_solver::constraints

Function element 

Source 
pub fn element<ElementVar>(
    index: impl IntegerVariable + 'static,
    array: impl IntoIterator<Item = ElementVar>,
    rhs: impl IntegerVariable + 'static,
    constraint_tag: ConstraintTag,
) -> impl Constraint
where
    ElementVar: IntegerVariable + 'static,
Expand description

Creates the element Constraint which states that array[index] = rhs.