Struct SelectionContext 

pub struct SelectionContext<'a> { /* private fields */ }

The context provided to the [Brancher], it allows the retrieval of domain values of variables and access to methods from a Random generator.

Implementations

impl<'a> SelectionContext<'a>

pub fn new( assignments: &'a Assignments, rng: &'a mut dyn Random, ) -> SelectionContext<'a>

pub fn are_all_variables_assigned(&self) -> bool

pub fn random(&mut self) -> &mut dyn Random

Returns a random generator which can be used to generate random values (see Random for more information).

pub fn get_size_of_domain<Var>(&self, var: Var) -> i32

where Var: IntegerVariable,

Returns the difference between the upper-bound and the lower-bound of the provided IntegerVariable. Note that this is different from the number of values which are in the domain of var since this calculation does not take into account holes in the domain.

pub fn lower_bound<Var>(&self, var: Var) -> i32

where Var: IntegerVariable,

Returns the lower bound of the provided IntegerVariable

pub fn upper_bound<Var>(&self, var: Var) -> i32

where Var: IntegerVariable,

Returns the upper bound of the provided IntegerVariable

pub fn contains<Var>(&self, var: Var, value: i32) -> bool

where Var: IntegerVariable,

Determines whether the provided value is in the domain of the provided IntegerVariable

pub fn is_integer_fixed<Var>(&self, var: Var) -> bool

where Var: IntegerVariable,

Determines whether the provided IntegerVariable has a unit domain (i.e. a domain of size 1)

pub fn is_predicate_assigned(&self, predicate: Predicate) -> bool

pub fn get_domains(&self) -> DomainGeneratorIterator

Returns all currently defined [DomainId]s.

Trait Implementations

impl<'a> Debug for SelectionContext<'a>

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

Formats the value using the given formatter.