bloqade.lanes.analysis.atom.lattice.TupleResult

← Module overview

classTupleResult¶source

bloqade.lanes.analysis.atom.lattice.TupleResult

Bases: MoveExecution

class TupleResult(data: tuple[MoveExecution, ...])

Public import paths

• from bloqade.lanes.analysis.atom.impl import TupleResult

Parameters

Name	Type	Description
data	tuple[MoveExecution, ...]

Attributes

Name	Type	Description
data	tuple[MoveExecution, ...]

methodcopy¶source

bloqade.lanes.analysis.atom.lattice.TupleResult.copy

def copy()

source

methodis_subseteq_TupleResult¶source

bloqade.lanes.analysis.atom.lattice.TupleResult.is_subseteq_TupleResult

def is_subseteq_TupleResult(elem: TupleResult) -> bool

Parameters

Name	Type	Description
elem	TupleResult

Returns

bool

source

methodjoin_TupleResult¶source

bloqade.lanes.analysis.atom.lattice.TupleResult.join_TupleResult

def join_TupleResult(other: TupleResult) -> MoveExecution

Parameters

Name	Type	Description
other	TupleResult

Returns

MoveExecution

source

methodmeet_TupleResult¶source

bloqade.lanes.analysis.atom.lattice.TupleResult.meet_TupleResult

def meet_TupleResult(other: TupleResult) -> MoveExecution

Parameters

Name	Type	Description
other	TupleResult

Returns

MoveExecution

source