pumpkin_solver/branching/variable_selection/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
//! Provides the [`VariableSelector`] trait which is required
//! for variable selectors to implement; the main method in this trait relies on
//! [`VariableSelector::select_variable`].
//!
//! Furthermore, it defines several implementations of the [`VariableSelector`] trait such as
//! [`Vsids`]. Any [`VariableSelector`] should only select variables which have a domain of size 2
//! or larger.

mod anti_first_fail;
mod dynamic_variable_selector;
mod first_fail;
mod input_order;
mod largest;
mod max_regret;
mod most_constrained;
mod occurrence;
mod smallest;
mod variable_selector;
mod vsids;

pub use anti_first_fail::*;
pub use dynamic_variable_selector::*;
pub use first_fail::*;
pub use input_order::*;
pub use largest::*;
pub use max_regret::*;
pub use most_constrained::*;
pub use occurrence::*;
pub use smallest::*;
pub use variable_selector::VariableSelector;
pub use vsids::*;