bloqade.lanes.analysis.atom.lattice.MoveExecution

← Module overview

classMoveExecution¶source

bloqade.lanes.analysis.atom.lattice.MoveExecution

Bases: SimpleJoinMixin['MoveExecution'], SimpleMeetMixin['MoveExecution'], IsSubsetEqMixin['MoveExecution'], _ElemVisitor, BoundedLattice['MoveExecution']

class MoveExecution

Public import paths

• from bloqade.lanes.analysis.atom import MoveExecution
• from bloqade.lanes.visualize.artist import MoveExecution
• from bloqade.lanes.rewrite.measure_lower import MoveExecution
• from bloqade.lanes.analysis.atom.impl import MoveExecution
• from bloqade.lanes.analysis.atom.analysis import MoveExecution

methodtop¶source

bloqade.lanes.analysis.atom.lattice.MoveExecution.top

def top() -> MoveExecution

Returns

MoveExecution

source

methodbottom¶source

bloqade.lanes.analysis.atom.lattice.MoveExecution.bottom

def bottom() -> MoveExecution

Returns

MoveExecution

source

methodcopy¶source

bloqade.lanes.analysis.atom.lattice.MoveExecution.copy

def copy(self: Self) -> Self

Parameters

Name	Type	Description
self	Self

Returns

Self

source

methodjoin¶source

bloqade.lanes.analysis.atom.lattice.MoveExecution.join

def join(other: MoveExecution) -> MoveExecution

Parameters

Name	Type	Description
other	MoveExecution

Returns

MoveExecution

source

methodmeet¶source

bloqade.lanes.analysis.atom.lattice.MoveExecution.meet

def meet(other: MoveExecution) -> MoveExecution

Parameters

Name	Type	Description
other	MoveExecution

Returns

MoveExecution

source