Module move

Module move 

Source
Expand description

Move system for modifying planning solutions.

Moves are the fundamental operations that modify planning variables during solving. The solver explores the solution space by applying different moves and evaluating their impact on the score.

§Architecture

All moves are fully typed with inline value storage for maximum performance:

  • ChangeMove<S, V> - assigns a value to a variable
  • SwapMove<S, V> - swaps values between two entities
  • PillarChangeMove<S, V> - changes multiple entities with same value
  • PillarSwapMove<S, V> - swaps between two pillars
  • ListChangeMove<S, V> - relocates an element in a list variable
  • ListSwapMove<S, V> - swaps two elements in list variables
  • SubListChangeMove<S, V> - relocates a contiguous sublist
  • SubListSwapMove<S, V> - swaps two contiguous sublists
  • ListReverseMove<S, V> - reverses a segment (2-opt for TSP)
  • RuinMove<S, V> - unassigns multiple entities (for Large Neighborhood Search)
  • ListRuinMove<S, V> - removes elements from a list (for LNS on list variables)
  • CompositeMove<S, M1, M2> - combines two moves in sequence

Undo is handled by RecordingScoreDirector, not by moves returning undo data.

§Arena Allocation

Use MoveArena<M> for O(1) per-step cleanup. Call reset() at each step instead of allocating a new Vec.

Modules§

k_opt_reconnection
Reconnection patterns for k-opt moves.

Structs§

ChangeMove
A move that assigns a value to an entity’s variable.
CompositeMove
A move that applies two moves in sequence.
CutPoint
A cut point in a route, defining where an edge is removed.
KOptMove
A k-opt move that removes k edges and reconnects segments.
ListChangeMove
A move that relocates an element from one list position to another.
ListReverseMove
A move that reverses a segment within a list.
ListRuinMove
A move that removes elements from a list for Large Neighborhood Search.
ListSwapMove
A move that swaps two elements in list variables.
MoveArena
Arena allocator for moves with O(1) reset.
PillarChangeMove
A move that assigns a value to all entities in a pillar.
PillarSwapMove
A move that swaps values between two pillars.
RuinMove
A move that unassigns multiple entities for Large Neighborhood Search.
SubListChangeMove
A move that relocates a contiguous sublist from one position to another.
SubListSwapMove
A move that swaps two contiguous sublists.
SwapMove
A move that swaps values between two entities.

Traits§

Move
A move that modifies one or more planning variables.