Module branching 

Contains structures and traits to define the decision making procedure of the Solver.

In general, it provides 3 traits:

• The Brancher which defines how a branching procedure (which selects an unfixed variable and splits the domain in some way, see Section 4.3.1 of [1] for more information) should operate; the main method of this trait is the Brancher::next_decision method. An example implementation of this trait is the IndependentVariableValueBrancher.
• The VariableSelector which defines the method required of a variable selector (including the hooks into the solver); the main method of this trait is the VariableSelector::select_variable method. An example implementation of this trait is the AntiFirstFail strategy.
• The ValueSelector which defines the method required of a value selector (including the hooks into the solver); the main method of this trait is the ValueSelector::select_value method.

A Brancher is expected to be passed to Solver::satisfy, and Solver::optimise:

[1] F. Rossi, P. Van Beek, and T. Walsh, Handbook of constraint programming. Elsevier, 2006.

Modules

branchers

Provides several implementations of Branchers.

tie_breaking

Contains structures for tie-breaking.

value_selection

Provides the ValueSelector trait which is required for value selectors to implement; the main method in this trait relies on ValueSelector::select_value.

variable_selection

Provides the VariableSelector trait which is required for variable selectors to implement; the main method in this trait relies on VariableSelector::select_variable.

Structs

SelectionContext

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

Enums

BrancherEvent

The events which can occur for a Brancher. Used for returning which events are relevant in Brancher::subscribe_to_events, VariableSelector::subscribe_to_events, and ValueSelector::subscribe_to_events.

Traits

Brancher

A trait for definining a branching strategy (oftentimes utilising a VariableSelector and a ValueSelector).