bloqade.lanes.bytecode.exceptions.DestinationOccupiedError
← Module overview
class
classDestinationOccupiedError¶source
bloqade.lanes.bytecode.exceptions.DestinationOccupiedError
Bases: MoveValidationError
A lane's destination holds an atom that does not move in this group.
class DestinationOccupiedError(lane: int, dst: int, occupant: int)Applies uniformly to mover lanes and empty-source filler lanes: the AOD trap site arrives at every lane’s destination either way. An occupied destination is only legal when its occupant vacates in the same group.
Parameters
| Name | Type | Description |
|---|---|---|
lane | int | |
dst | int | |
occupant | int |
Attributes
| Name | Type | Default | Description |
|---|---|---|---|
lane | — | lane | |
dst | — | dst | |
occupant | — | occupant |