pub trait Move<S: PlanningSolution>:
Send
+ Sync
+ Debug {
type Undo: Send;
// Required methods
fn is_doable<D: Director<S>>(&self, score_director: &D) -> bool;
fn do_move<D: Director<S>>(&self, score_director: &mut D) -> Self::Undo;
fn undo_move<D: Director<S>>(
&self,
score_director: &mut D,
undo: Self::Undo,
);
fn descriptor_index(&self) -> usize;
fn entity_indices(&self) -> &[usize];
fn variable_name(&self) -> &str;
fn tabu_signature<D: Director<S>>(
&self,
score_director: &D,
) -> MoveTabuSignature;
// Provided methods
fn requires_hard_improvement(&self) -> bool { ... }
fn for_each_affected_entity(
&self,
visitor: &mut dyn FnMut(MoveAffectedEntity<'_>),
) { ... }
}Expand description
A move that modifies one or more planning variables.
Moves are fully monomorphized for maximum performance - no boxing, no virtual dispatch. Undo is handled by move-owned typed data, not boxed director callbacks.
§Type Parameters
S- The planning solution type
§Implementation Notes
- Moves should be lightweight
- Moves are NEVER cloned - ownership transfers via arena indices
- Methods are generic over D to allow use with concrete directors
Required Associated Types§
Required Methods§
fn is_doable<D: Director<S>>(&self, score_director: &D) -> bool
fn do_move<D: Director<S>>(&self, score_director: &mut D) -> Self::Undo
fn undo_move<D: Director<S>>(&self, score_director: &mut D, undo: Self::Undo)
fn descriptor_index(&self) -> usize
fn entity_indices(&self) -> &[usize]
fn variable_name(&self) -> &str
fn tabu_signature<D: Director<S>>( &self, score_director: &D, ) -> MoveTabuSignature
Provided Methods§
fn requires_hard_improvement(&self) -> bool
fn for_each_affected_entity( &self, visitor: &mut dyn FnMut(MoveAffectedEntity<'_>), )
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.