Struct SolverFactoryBuilder 

pub struct SolverFactoryBuilder<S, D, C, P, T>
where
    S: PlanningSolution,
{ /* private fields */ }

Builder for SolverFactory with zero type erasure.

Accumulates configuration and produces a fully typed SolverFactory. Type bounds are only checked at build() time.

Implementations

impl<S, D, C> SolverFactoryBuilder<S, D, C, (), NoTermination>

where S: PlanningSolution, C: Fn(&S) -> S::Score + Send + Sync,

pub fn new(score_calculator: C) -> Self

Creates a new builder with a score calculator.

impl<S, D, C, P, T> SolverFactoryBuilder<S, D, C, P, T>

where S: PlanningSolution,

pub fn with_phase<P2>( self, phase: P2, ) -> SolverFactoryBuilder<S, D, C, (P, P2), T>

Adds a phase, returning a new builder with updated phase tuple.

pub fn with_phase_factory<F>( self, factory: F, ) -> SolverFactoryBuilder<S, D, C, (P, F::Phase), T>

where D: ScoreDirector<S>, F: PhaseFactory<S, D>,

Adds a phase from a factory, returning a new builder with updated phase tuple.

The factory’s create() method is called to produce the phase.

pub fn with_config( self, config: SolverConfig, ) -> SolverFactoryBuilder<S, D, C, P, TimeTermination>

Applies configuration from a SolverConfig.

Currently applies termination settings from the config.

pub fn with_time_limit( self, duration: Duration, ) -> SolverFactoryBuilder<S, D, C, P, TimeTermination>

Sets time limit termination.

pub fn with_step_limit( self, steps: u64, ) -> SolverFactoryBuilder<S, D, C, P, StepCountTermination>

Sets step limit termination.

pub fn with_time_limit_or( self, duration: Duration, ) -> SolverFactoryBuilder<S, D, C, P, OrTermination<(T, TimeTermination), S, D>>

where D: ScoreDirector<S>,

Combines current termination with time limit.

impl<S, D, C, P, T> SolverFactoryBuilder<S, D, C, P, T>

where S: PlanningSolution, D: ScoreDirector<S>, C: Fn(&S) -> S::Score + Send + Sync, P: Phase<S, D>, T: Termination<S, D>,

pub fn build(self) -> Result<SolverFactory<S, D, C, P, T>, SolverBuildError>

Builds the SolverFactory.

Returns Ok(SolverFactory) on success, or Err if configuration is invalid. Currently always succeeds as validation happens at compile time via type bounds.