Struct Model 

pub struct Model { /* private fields */ }

A constraint programming model that owns variables and constraints.

Models are the root of object lifetimes and create variables, constraints, and solvers associated with the same backend instance.

Implementations

impl Model

pub fn new(name: Option<&str>) -> Self

Creates a new Model instance.

Panics

if the string name contains a null byte.

pub fn name(&self) -> Option<String>

Returns the name of the model, if set.

pub fn int_var<'b, X>(&'b self, x: X, name: Option<&str>) -> IntVar<'b>

where for<'a> (X, Option<&'a str>): NewIntVarT,

New integer variable associated with this model. x can be:

• a single integer value (constant variable)
• a slice of possible integer values

pub fn int_var_bounded<'b, X, Y>( &'b self, x: X, y: Y, name: Option<&str>, bounded: Option<bool>, ) -> IntVar<'b>

where for<'a> (X, Y, Option<&'a str>, bool): NewIntVarT, for<'a> (X, Y, Option<&'a str>): NewIntVarT,

New bounded integer variable associated with this model. x and y shall be integer values bounded: Force bounded (True) or enumerated domain (False). If None, Choco will automatically choose the best option.

pub fn bool_var<'model>( &'model self, value: Option<bool>, name: Option<&str>, ) -> BoolVar<'model>

pub fn solver(&self) -> Solver<'_>