Struct InDomainSplit 

pub struct InDomainSplit;

A ValueSelector which splits the domain in half (based on the lower-bound and upper-bound, disregarding holes) and removes the upper-half from the domain.

Note that this strategy will not necessarily result in an equal split if there are holes in the domain.

Implementations

impl InDomainSplit

pub fn get_predicate_excluding_upper_half<Var>( context: &SelectionContext<'_>, decision_variable: Var, ) -> Predicate

where Var: IntegerVariable + Copy,

Trait Implementations

impl Clone for InDomainSplit

fn clone(&self) -> InDomainSplit

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InDomainSplit

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

Formats the value using the given formatter.

impl<Var> ValueSelector<Var> for InDomainSplit

where Var: IntegerVariable + Copy,

fn select_value( &mut self, context: &mut SelectionContext<'_>, decision_variable: Var, ) -> Predicate

Determines which value in the domain of decision_variable to branch next on. The domain of the decision_variable variable should have at least 2 values in it (as it otherwise should not have been selected as decision_variable). Returns a Predicate specifying the required change in the domain.

fn subscribe_to_events(&self) -> Vec<BrancherEvent>

Indicates which BrancherEvent are relevant for this particular ValueSelector.

fn on_unassign_integer(&mut self, _variable: DomainId, _value: i32)

A function which is called after a DomainId is unassigned during backtracking (i.e. when it was fixed but is no longer), specifically, it provides variable which is the DomainId which has been reset and value which is the value to which the variable was previously fixed. This method could thus be called multiple times in a single backtracking operation by the solver.

fn on_solution(&mut self, _solution: SolutionReference<'_>)

This method is called when a solution is found; either when iterating over all solutions in the case of a satisfiable problem or on solutions of increasing quality when solving an optimisation problem.

fn is_restart_pointless(&mut self) -> bool

This method returns whether a restart is currently pointless for the ValueSelector.

impl Copy for InDomainSplit