Trait ArithmConstraint 

pub trait ArithmConstraint<'model, MOD, RES> {
    // Required method
    fn modulo(&'model self, modulo: MOD, res: RES) -> Constraint<'model>;
}

Trait for creating modulo/remainder constraints.

Required Methods

fn modulo(&'model self, modulo: MOD, res: RES) -> Constraint<'model>

Creates a modulo constraint: self % modulo = res.

Implementors

impl<'model> ArithmConstraint<'model, &IntVar<'model>, &IntVar<'model>> for IntVar<'model>

impl<'model> ArithmConstraint<'model, i32, &IntVar<'model>> for IntVar<'model>

impl<'model> ArithmConstraint<'model, i32, i32> for IntVar<'model>