pub struct ListChangeMove<S, V> { /* private fields */ }Expand description
A move that relocates an element from one list position to another.
Supports both intra-list moves (within same entity) and inter-list moves (between different entities). Uses typed function pointers for zero-erasure.
§Type Parameters
S- The planning solution typeV- The list element value type
§Example
use solverforge_solver::heuristic::r#move::ListChangeMove;
use solverforge_core::domain::PlanningSolution;
use solverforge_core::score::SimpleScore;
#[derive(Clone, Debug)]
struct Vehicle { id: usize, visits: Vec<i32> }
#[derive(Clone, Debug)]
struct Solution { vehicles: Vec<Vehicle>, score: Option<SimpleScore> }
impl PlanningSolution for Solution {
type Score = SimpleScore;
fn score(&self) -> Option<Self::Score> { self.score }
fn set_score(&mut self, score: Option<Self::Score>) { self.score = score; }
}
fn list_len(s: &Solution, entity_idx: usize) -> usize {
s.vehicles.get(entity_idx).map_or(0, |v| v.visits.len())
}
fn list_remove(s: &mut Solution, entity_idx: usize, pos: usize) -> Option<i32> {
s.vehicles.get_mut(entity_idx).map(|v| v.visits.remove(pos))
}
fn list_insert(s: &mut Solution, entity_idx: usize, pos: usize, val: i32) {
if let Some(v) = s.vehicles.get_mut(entity_idx) { v.visits.insert(pos, val); }
}
// Move element from vehicle 0 position 2 to vehicle 1 position 0
let m = ListChangeMove::<Solution, i32>::new(
0, 2, 1, 0,
list_len, list_remove, list_insert,
"visits", 0,
);Implementations§
Source§impl<S, V> ListChangeMove<S, V>
impl<S, V> ListChangeMove<S, V>
Sourcepub fn new(
source_entity_index: usize,
source_position: usize,
dest_entity_index: usize,
dest_position: usize,
list_len: fn(&S, usize) -> usize,
list_remove: fn(&mut S, usize, usize) -> Option<V>,
list_insert: fn(&mut S, usize, usize, V),
variable_name: &'static str,
descriptor_index: usize,
) -> Self
pub fn new( source_entity_index: usize, source_position: usize, dest_entity_index: usize, dest_position: usize, list_len: fn(&S, usize) -> usize, list_remove: fn(&mut S, usize, usize) -> Option<V>, list_insert: fn(&mut S, usize, usize, V), variable_name: &'static str, descriptor_index: usize, ) -> Self
Creates a new list change move with typed function pointers.
§Arguments
source_entity_index- Entity index to remove fromsource_position- Position in source listdest_entity_index- Entity index to insert intodest_position- Position in destination listlist_len- Function to get list lengthlist_remove- Function to remove element at positionlist_insert- Function to insert element at positionvariable_name- Name of the list variabledescriptor_index- Entity descriptor index
Sourcepub fn source_entity_index(&self) -> usize
pub fn source_entity_index(&self) -> usize
Returns the source entity index.
Sourcepub fn source_position(&self) -> usize
pub fn source_position(&self) -> usize
Returns the source position.
Sourcepub fn dest_entity_index(&self) -> usize
pub fn dest_entity_index(&self) -> usize
Returns the destination entity index.
Sourcepub fn dest_position(&self) -> usize
pub fn dest_position(&self) -> usize
Returns the destination position.
Sourcepub fn is_intra_list(&self) -> bool
pub fn is_intra_list(&self) -> bool
Returns true if this is an intra-list move (same entity).
Trait Implementations§
Source§impl<S, V> Clone for ListChangeMove<S, V>
impl<S, V> Clone for ListChangeMove<S, V>
Source§impl<S, V: Debug> Debug for ListChangeMove<S, V>
impl<S, V: Debug> Debug for ListChangeMove<S, V>
Source§impl<S, V> Move<S> for ListChangeMove<S, V>
impl<S, V> Move<S> for ListChangeMove<S, V>
Source§fn is_doable<D: ScoreDirector<S>>(&self, score_director: &D) -> bool
fn is_doable<D: ScoreDirector<S>>(&self, score_director: &D) -> bool
Returns true if this move can be executed in the current state. Read more
Source§fn do_move<D: ScoreDirector<S>>(&self, score_director: &mut D)
fn do_move<D: ScoreDirector<S>>(&self, score_director: &mut D)
Executes this move, modifying the working solution. Read more
Source§fn descriptor_index(&self) -> usize
fn descriptor_index(&self) -> usize
Returns the descriptor index of the entity type this move affects.
Source§fn entity_indices(&self) -> &[usize]
fn entity_indices(&self) -> &[usize]
Returns the entity indices involved in this move.
Source§fn variable_name(&self) -> &str
fn variable_name(&self) -> &str
Returns the variable name this move affects.
Source§impl<S, V, ES> MoveSelector<S, ListChangeMove<S, V>> for ListChangeMoveSelector<S, V, ES>where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
ES: EntitySelector<S>,
impl<S, V, ES> MoveSelector<S, ListChangeMove<S, V>> for ListChangeMoveSelector<S, V, ES>where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
ES: EntitySelector<S>,
Source§fn iter_moves<'a, D: ScoreDirector<S>>(
&'a self,
score_director: &'a D,
) -> Box<dyn Iterator<Item = ListChangeMove<S, V>> + 'a>
fn iter_moves<'a, D: ScoreDirector<S>>( &'a self, score_director: &'a D, ) -> Box<dyn Iterator<Item = ListChangeMove<S, V>> + 'a>
Returns an iterator over typed moves.
Source§fn size<D: ScoreDirector<S>>(&self, score_director: &D) -> usize
fn size<D: ScoreDirector<S>>(&self, score_director: &D) -> usize
Returns the approximate number of moves.
Source§fn is_never_ending(&self) -> bool
fn is_never_ending(&self) -> bool
Returns true if this selector may return the same move multiple times.
impl<S, V> Copy for ListChangeMove<S, V>
Auto Trait Implementations§
impl<S, V> Freeze for ListChangeMove<S, V>
impl<S, V> RefUnwindSafe for ListChangeMove<S, V>
impl<S, V> Send for ListChangeMove<S, V>
impl<S, V> Sync for ListChangeMove<S, V>
impl<S, V> Unpin for ListChangeMove<S, V>
impl<S, V> UnwindSafe for ListChangeMove<S, V>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more