use std::fmt::Debug;
use solverforge_core::domain::PlanningSolution;
use solverforge_scoring::Director;
use super::list_kernel::{
change_candidate_trace_identity, change_do_move, change_is_doable, change_tabu_signature,
change_undo_move, ChangeCoordinates, ChangeValueTransfer, StaticListChangeAccess,
};
use super::{Move, MoveTabuSignature};
pub struct ListChangeMove<S, V> {
source_entity_index: usize,
source_position: usize,
dest_entity_index: usize,
dest_position: usize,
list_len: fn(&S, usize) -> usize,
list_get: fn(&S, usize, usize) -> Option<V>,
list_remove: fn(&mut S, usize, usize) -> Option<V>,
list_insert: fn(&mut S, usize, usize, V),
variable_name: &'static str,
descriptor_index: usize,
indices: [usize; 2],
}
impl<S, V> Clone for ListChangeMove<S, V> {
fn clone(&self) -> Self {
*self
}
}
impl<S, V> Copy for ListChangeMove<S, V> {}
impl<S, V: Debug> Debug for ListChangeMove<S, V> {
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
f.debug_struct("ListChangeMove")
.field("source_entity", &self.source_entity_index)
.field("source_position", &self.source_position)
.field("dest_entity", &self.dest_entity_index)
.field("dest_position", &self.dest_position)
.field("variable_name", &self.variable_name)
.finish()
}
}
impl<S, V> ListChangeMove<S, V> {
#[allow(clippy::too_many_arguments)]
pub fn new(
source_entity_index: usize,
source_position: usize,
dest_entity_index: usize,
dest_position: usize,
list_len: fn(&S, usize) -> usize,
list_get: fn(&S, usize, usize) -> Option<V>,
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 {
Self {
source_entity_index,
source_position,
dest_entity_index,
dest_position,
list_len,
list_get,
list_remove,
list_insert,
variable_name,
descriptor_index,
indices: [source_entity_index, dest_entity_index],
}
}
pub fn source_entity_index(&self) -> usize {
self.source_entity_index
}
pub fn source_position(&self) -> usize {
self.source_position
}
pub fn dest_entity_index(&self) -> usize {
self.dest_entity_index
}
pub fn dest_position(&self) -> usize {
self.dest_position
}
pub fn is_intra_list(&self) -> bool {
self.source_entity_index == self.dest_entity_index
}
fn access(&self) -> StaticListChangeAccess<S, V> {
StaticListChangeAccess {
list_len: self.list_len,
list_get: self.list_get,
list_remove: self.list_remove,
list_insert: self.list_insert,
variable_name: self.variable_name,
descriptor_index: self.descriptor_index,
}
}
fn coordinates(&self) -> ChangeCoordinates {
ChangeCoordinates {
source_entity: self.source_entity_index,
source_position: self.source_position,
destination_entity: self.dest_entity_index,
destination_position: self.dest_position,
}
}
}
impl<S, V> Move<S> for ListChangeMove<S, V>
where
S: PlanningSolution,
V: Clone + PartialEq + Send + Sync + Debug + 'static,
{
type Undo = ();
fn is_doable<D: Director<S>>(&self, score_director: &D) -> bool {
change_is_doable(&self.access(), self.coordinates(), score_director)
}
fn do_move<D: Director<S>>(&self, score_director: &mut D) -> Self::Undo {
change_do_move(
&self.access(),
self.coordinates(),
ChangeValueTransfer::CloneBeforeInsert,
score_director,
);
}
fn undo_move<D: Director<S>>(&self, score_director: &mut D, (): Self::Undo) {
change_undo_move(&self.access(), self.coordinates(), score_director);
}
fn descriptor_index(&self) -> usize {
self.descriptor_index
}
fn entity_indices(&self) -> &[usize] {
if self.is_intra_list() {
&self.indices[0..1]
} else {
&self.indices
}
}
fn variable_name(&self) -> &str {
self.variable_name
}
fn telemetry_label(&self) -> &'static str {
"list_change"
}
fn tabu_signature<D: Director<S>>(&self, score_director: &D) -> MoveTabuSignature {
change_tabu_signature(&self.access(), self.coordinates(), score_director)
}
fn candidate_trace_identity(&self) -> Option<crate::stats::CandidateTraceIdentity> {
Some(change_candidate_trace_identity(
&self.access(),
self.coordinates(),
))
}
}