Struct ExhaustiveSearchPhase 

pub struct ExhaustiveSearchPhase<S: PlanningSolution> { /* 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.

Implementations

impl<S: PlanningSolution> ExhaustiveSearchPhase<S>

pub fn new( decider: Box<dyn ExhaustiveSearchDecider<S>>, config: ExhaustiveSearchConfig, ) -> Self

Creates a new exhaustive search phase.

pub fn depth_first(decider: Box<dyn ExhaustiveSearchDecider<S>>) -> Self

Creates a depth-first exhaustive search phase.

pub fn breadth_first(decider: Box<dyn ExhaustiveSearchDecider<S>>) -> Self

Creates a breadth-first exhaustive search phase.

pub fn score_first(decider: Box<dyn ExhaustiveSearchDecider<S>>) -> Self

Creates a score-first exhaustive search phase.

Trait Implementations

impl<S: PlanningSolution> Debug for ExhaustiveSearchPhase<S>

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

Formats the value using the given formatter.

impl<S: PlanningSolution> Phase<S> for ExhaustiveSearchPhase<S>

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

Executes this phase.

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

Returns the name of this phase type.