bloqade.lanes.heuristics.move_synthesis.move_to_left
← Module overview
function
source
functionmove_to_left¶source
bloqade.lanes.heuristics.move_synthesis.move_to_left
Signature
def move_to_left(arch_spec: ArchSpec, state_before: ConcreteState, state_after: ConcreteState, solver: MoveSolver | None = None) -> tuple[ConcreteState, tuple[tuple[LaneAddress, ...], ...]]Synthesize move layers from CZ layout to post-CZ return layout.
Parameters
| Name | Type | Default | Description |
|---|---|---|---|
arch_spec | ArchSpec | required | |
state_before | ConcreteState | required | |
state_after | ConcreteState | required | |
solver | MoveSolver | None | None |
Returns
tuple[ConcreteState, tuple[tuple[LaneAddress, ...], ...]]