Struct ListRegretInsertionPhase 

pub struct ListRegretInsertionPhase<S, E>
where
    S: PlanningSolution,
    E: Copy + Send + Sync + 'static,
{ /* private fields */ }

List construction phase using the canonical regret-insertion kernel.

The explicit source key is part of the public contract: it identifies a declared element independently of its payload representation, so assigned values, precedence successors, and trace coordinates never rely on equality/hash recovery.

Implementations

impl<S, E> ListRegretInsertionPhase<S, E>

where S: PlanningSolution, E: Copy + Send + Sync + 'static,

pub fn new( element_count: fn(&S) -> usize, get_assigned: fn(&S) -> Vec<E>, entity_count: fn(&S) -> usize, list_len: fn(&S, usize) -> usize, list_insert: fn(&mut S, usize, usize, E), list_remove: fn(&mut S, usize, usize) -> E, index_to_element: fn(&S, usize) -> E, element_source_key: fn(&S, &E) -> usize, descriptor_index: usize, ) -> Self

Creates a regret-insertion phase over an explicitly keyed source.

pub fn with_element_owner_fn( self, element_owner_fn: Option<fn(&S, &E) -> Option<usize>>, ) -> Self

pub fn with_element_order_key( self, element_order_key: Option<fn(&S, E) -> i64>, ) -> Self

pub fn with_precedence_hooks( self, duration_fn: Option<fn(&S, E) -> usize>, successors_fn: Option<fn(&S, E, &mut Vec<E>)>, ) -> Self

Trait Implementations

impl<S, E> Debug for ListRegretInsertionPhase<S, E>

where S: PlanningSolution, E: Copy + Send + Sync + 'static,

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

Formats the value using the given formatter.

impl<S, E, D, BestCb> Phase<S, D, BestCb> for ListRegretInsertionPhase<S, E>

where S: PlanningSolution, E: Copy + Send + Sync + 'static, D: Director<S>, BestCb: ProgressCallback<S>,

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

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

fn on_solver_terminal( &mut self, _solver_scope: &mut SolverScope<'_, S, D, BestCb>, )

Runs once when the enclosing solver reaches its terminal boundary.

fn candidate_trace_plan(&self) -> CandidateTracePhasePlan

Returns the exact resolved-plan provenance this phase can prove.