Skip to content

bloqade.lanes.heuristics.move_synthesis.move_to_entangle

← Module overview

functionmove_to_entanglesource

bloqade.lanes.heuristics.move_synthesis.move_to_entangle

Signature
def move_to_entangle(arch_spec: ArchSpec, state_before: ConcreteState, state_after: ConcreteState, solver: MoveSolver | None = None) -> tuple[ConcreteState, tuple[tuple[LaneAddress, ...], ...]]

Synthesize move layers from current layout to CZ entangling layout.

Parameters

NameTypeDefaultDescription
arch_specArchSpecrequired
state_beforeConcreteStaterequired
state_afterConcreteStaterequired
solverMoveSolver | NoneNone

Returns

tuple[ConcreteState, tuple[tuple[LaneAddress, ...], ...]]

source