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_integer: &'a AssignmentsInteger, assignments_propositional: &'a AssignmentsPropositional, rng: &'a mut dyn Random, ) -> Self

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: IntegerVariable>(&self, var: Var) -> i32

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: IntegerVariable>(&self, var: Var) -> i32

Returns the lower bound of the provided IntegerVariable

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

Returns the upper bound of the provided IntegerVariable

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

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

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

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

pub fn is_propositional_variable_fixed( &self, var: PropositionalVariable, ) -> bool

Determines whether the provided PropositionalVariable is assigned.

pub fn is_propositional_variable_true(&self, var: PropositionalVariable) -> bool

Returns whether the provided PropositionalVariable is assigned to true.

pub fn get_domains(&self) -> DomainGeneratorIterator

Returns all currently defined DomainIds.

pub fn get_propositional_variables( &self, ) -> PropositionalVariableGeneratorIterator

Returns all currently defined PropositionalVariables.

Trait Implementations

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

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

Formats the value using the given formatter.