Struct CageSum 

pub struct CageSum<V> { /* private fields */ }

N-ary cage-sum: the scope’s values sum to target.

Serves Killer cages and the + KenKen cages. revise_impl is bounds consistency for the linear equality Σ xᵢ == target: each cell is pinned to [target − Σ(others' max), target − Σ(others' min)], iterated to an internal fixpoint because pruning one cell tightens the residual for the rest.

Implementations

impl CageSum<u32>

pub fn new(scope: Vec<VarId>, target: u32) -> Self

Cage-sum over scope summing to target, for the production BitsetDomain (values are u32).

Trait Implementations

impl<V> Debug for CageSum<V>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.