pub struct ListSwapMove<S, V> { /* private fields */ }Expand description
A move that swaps two elements in list variables.
Supports both intra-list swaps (within same entity) and inter-list swaps (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::ListSwapMove;
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_get(s: &Solution, entity_idx: usize, pos: usize) -> Option<i32> {
s.vehicles.get(entity_idx).and_then(|v| v.visits.get(pos).copied())
}
fn list_set(s: &mut Solution, entity_idx: usize, pos: usize, val: i32) {
if let Some(v) = s.vehicles.get_mut(entity_idx) {
if let Some(elem) = v.visits.get_mut(pos) { *elem = val; }
}
}
// Swap elements at positions 1 and 3 in vehicle 0
let m = ListSwapMove::<Solution, i32>::new(
0, 1, 0, 3,
list_len, list_get, list_set,
"visits", 0,
);Implementations§
Source§impl<S, V> ListSwapMove<S, V>
impl<S, V> ListSwapMove<S, V>
Sourcepub fn new(
first_entity_index: usize,
first_position: usize,
second_entity_index: usize,
second_position: usize,
list_len: fn(&S, usize) -> usize,
list_get: fn(&S, usize, usize) -> Option<V>,
list_set: fn(&mut S, usize, usize, V),
variable_name: &'static str,
descriptor_index: usize,
) -> Self
pub fn new( first_entity_index: usize, first_position: usize, second_entity_index: usize, second_position: usize, list_len: fn(&S, usize) -> usize, list_get: fn(&S, usize, usize) -> Option<V>, list_set: fn(&mut S, usize, usize, V), variable_name: &'static str, descriptor_index: usize, ) -> Self
Creates a new list swap move with typed function pointers.
§Arguments
first_entity_index- First entity indexfirst_position- Position in first entity’s listsecond_entity_index- Second entity indexsecond_position- Position in second entity’s listlist_len- Function to get list lengthlist_get- Function to get element at positionlist_set- Function to set element at positionvariable_name- Name of the list variabledescriptor_index- Entity descriptor index
Sourcepub fn first_entity_index(&self) -> usize
pub fn first_entity_index(&self) -> usize
Returns the first entity index.
Sourcepub fn first_position(&self) -> usize
pub fn first_position(&self) -> usize
Returns the first position.
Sourcepub fn second_entity_index(&self) -> usize
pub fn second_entity_index(&self) -> usize
Returns the second entity index.
Sourcepub fn second_position(&self) -> usize
pub fn second_position(&self) -> usize
Returns the second position.
Sourcepub fn is_intra_list(&self) -> bool
pub fn is_intra_list(&self) -> bool
Returns true if this is an intra-list swap (same entity).
Trait Implementations§
Source§impl<S: Clone, V: Clone> Clone for ListSwapMove<S, V>
impl<S: Clone, V: Clone> Clone for ListSwapMove<S, V>
Source§fn clone(&self) -> ListSwapMove<S, V>
fn clone(&self) -> ListSwapMove<S, V>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<S, V: Debug> Debug for ListSwapMove<S, V>
impl<S, V: Debug> Debug for ListSwapMove<S, V>
Source§impl<S, V> Move<S> for ListSwapMove<S, V>
impl<S, V> Move<S> for ListSwapMove<S, V>
Source§fn is_doable(&self, score_director: &dyn ScoreDirector<S>) -> bool
fn is_doable(&self, score_director: &dyn ScoreDirector<S>) -> bool
Returns true if this move can be executed in the current state. Read more
Source§fn do_move(&self, score_director: &mut dyn ScoreDirector<S>)
fn do_move(&self, score_director: &mut dyn ScoreDirector<S>)
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.
impl<S: Copy, V: Copy> Copy for ListSwapMove<S, V>
Auto Trait Implementations§
impl<S, V> Freeze for ListSwapMove<S, V>
impl<S, V> RefUnwindSafe for ListSwapMove<S, V>where
V: RefUnwindSafe,
impl<S, V> Send for ListSwapMove<S, V>where
V: Send,
impl<S, V> Sync for ListSwapMove<S, V>where
V: Sync,
impl<S, V> Unpin for ListSwapMove<S, V>where
V: Unpin,
impl<S, V> UnwindSafe for ListSwapMove<S, V>where
V: UnwindSafe,
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