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::SoftScore;
#[derive(Clone, Debug)]
struct Vehicle { id: usize, visits: Vec<i32> }
#[derive(Clone, Debug)]
struct Solution { vehicles: Vec<Vehicle>, score: Option<SoftScore> }
impl PlanningSolution for Solution {
type Score = SoftScore;
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>
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
pub fn first_entity_index(&self) -> usize
pub fn first_position(&self) -> usize
pub fn second_entity_index(&self) -> usize
pub fn second_position(&self) -> usize
pub fn is_intra_list(&self) -> bool
Trait Implementations§
Source§impl<S, V> Clone for ListSwapMove<S, V>
impl<S, V> Clone for ListSwapMove<S, V>
Source§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§impl<S, V, ES> MoveSelector<S, ListSwapMove<S, V>> for ListSwapMoveSelector<S, V, ES>where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
ES: EntitySelector<S>,
impl<S, V, ES> MoveSelector<S, ListSwapMove<S, V>> for ListSwapMoveSelector<S, V, ES>where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
ES: EntitySelector<S>,
Source§impl<S, V, D, ES> MoveSelector<S, ListSwapMove<S, V>> for NearbyListSwapMoveSelector<S, V, D, ES>where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
D: CrossEntityDistanceMeter<S>,
ES: EntitySelector<S>,
impl<S, V, D, ES> MoveSelector<S, ListSwapMove<S, V>> for NearbyListSwapMoveSelector<S, V, D, ES>where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
D: CrossEntityDistanceMeter<S>,
ES: EntitySelector<S>,
impl<S, V> Copy for ListSwapMove<S, V>
Auto Trait Implementations§
impl<S, V> Freeze for ListSwapMove<S, V>
impl<S, V> RefUnwindSafe for ListSwapMove<S, V>
impl<S, V> Send for ListSwapMove<S, V>
impl<S, V> Sync for ListSwapMove<S, V>
impl<S, V> Unpin for ListSwapMove<S, V>
impl<S, V> UnsafeUnpin for ListSwapMove<S, V>
impl<S, V> UnwindSafe for ListSwapMove<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