Struct ExhaustiveSearchPhase 

pub struct ExhaustiveSearchPhase<Dec> { /* private fields */ }

Exhaustive search phase that explores all possible solutions.

This phase systematically explores the solution space using a branch-and-bound algorithm. It maintains a tree of partial solutions and uses pruning to avoid exploring branches that cannot improve on the best solution found.

Type Parameters

• Dec - The decider type that generates child nodes

Example

use solverforge_solver::phase::exhaustive::{ExhaustiveSearchPhase, SimpleDecider, ExhaustiveSearchConfig};
use solverforge_core::domain::PlanningSolution;
use solverforge_core::score::SimpleScore;

#[derive(Clone, Debug)]
struct MySolution {
    values: Vec<Option<i32>>,
    score: Option<SimpleScore>,
}

impl PlanningSolution for MySolution {
    type Score = SimpleScore;
    fn score(&self) -> Option<Self::Score> { self.score }
    fn set_score(&mut self, score: Option<Self::Score>) { self.score = score; }
}

fn set_value(s: &mut MySolution, idx: usize, v: Option<i32>) {
    if let Some(slot) = s.values.get_mut(idx) { *slot = v; }
}

let decider = SimpleDecider::<MySolution, i32>::new(0, "value", vec![1, 2, 3], set_value);
let phase = ExhaustiveSearchPhase::depth_first(decider);

Implementations

impl<Dec> ExhaustiveSearchPhase<Dec>

pub fn new(decider: Dec, config: ExhaustiveSearchConfig) -> Self

Creates a new exhaustive search phase.

pub fn depth_first(decider: Dec) -> Self

Creates a depth-first exhaustive search phase.

pub fn breadth_first(decider: Dec) -> Self

Creates a breadth-first exhaustive search phase.

pub fn score_first(decider: Dec) -> Self

Creates a score-first exhaustive search phase.

pub fn phase_type_name(&self) -> &'static str

Returns the phase type name.

Trait Implementations

impl<Dec: Debug> Debug for ExhaustiveSearchPhase<Dec>

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

Formats the value using the given formatter.

impl<S, D, Dec> Phase<S, D> for ExhaustiveSearchPhase<Dec>

where S: PlanningSolution, D: ScoreDirector<S>, Dec: ExhaustiveSearchDecider<S>,

fn solve(&mut self, solver_scope: &mut SolverScope<'_, S, D>)

Executes this phase.

fn phase_type_name(&self) -> &'static str

Returns the name of this phase type.