Struct SolverBuilder 

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

Builder for constructing a complete solver from configuration.

Note: Phase building now requires typed move selectors, so phases must be constructed directly using the typed phase constructors.

Example

use solverforge_solver::{SolverBuilder, StepCountTermination};
use solverforge_core::domain::PlanningSolution;
use solverforge_core::score::SimpleScore;

#[derive(Clone, Debug)]
struct MySolution { 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; }
}

let solver = SolverBuilder::<MySolution>::new()
    .with_termination(Box::new(StepCountTermination::new(100)))
    .build();

Implementations

impl<S: PlanningSolution> SolverBuilder<S>

pub fn new() -> Self

Creates a new solver builder.

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

Adds a phase to the builder.

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

Adds multiple phases to the builder.

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

Sets the termination condition.

pub fn with_time_limit(self, duration: Duration) -> Self

Sets a time-based termination condition.

Example

use solverforge_solver::SolverBuilder;
use solverforge_core::domain::PlanningSolution;
use solverforge_core::score::SimpleScore;
use std::time::Duration;

#[derive(Clone, Debug)]
struct MySolution { 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; }
}

let solver = SolverBuilder::<MySolution>::new()
    .with_time_limit(Duration::from_secs(30))
    .build();

pub fn with_step_limit(self, steps: u64) -> Self

Sets a step count termination condition.

pub fn with_termination_from_config(self, config: &TerminationConfig) -> Self

Builds termination from the configuration.

pub fn build(self) -> Solver<S>

Builds the solver.

Trait Implementations

impl<S: PlanningSolution> Default for SolverBuilder<S>

fn default() -> Self

Returns the “default value” for a type.