Struct Solver 

pub struct Solver<S: PlanningSolution> { /* private fields */ }

The main solver that optimizes planning solutions.

The solver executes phases in sequence, checking termination conditions between phases and potentially within phases.

Implementations

impl<S: PlanningSolution> Solver<S>

pub fn new(phases: Vec<Box<dyn Phase<S>>>) -> Self

Creates a new solver with the given phases.

pub fn from_config(config: SolverConfig) -> Self

Creates a solver from configuration (phases must be added separately).

pub fn with_phase(self, phase: Box<dyn Phase<S>>) -> Self

Adds a phase to the solver.

pub fn with_phases(self, phases: Vec<Box<dyn Phase<S>>>) -> Self

Adds phases to the solver.

pub fn with_termination(self, termination: Box<dyn Termination<S>>) -> Self

Sets the termination condition.

pub fn solve_with_director( &mut self, score_director: Box<dyn ScoreDirector<S>>, ) -> S

Solves using the provided score director.

This is the main solving method that executes all phases.

pub fn terminate_early(&self) -> bool

Requests early termination of the solving process.

This method is thread-safe and can be called from another thread.

pub fn is_solving(&self) -> bool

Returns true if the solver is currently solving.

pub fn config(&self) -> Option<&SolverConfig>

Returns the configuration if set.