bloqade.lanes.analysis.atom.lattice.IListResult

← Module overview

classIListResult¶source

bloqade.lanes.analysis.atom.lattice.IListResult

Bases: MoveExecution

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

Public import paths

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

Parameters

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

Attributes

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

methodcopy¶source

bloqade.lanes.analysis.atom.lattice.IListResult.copy

def copy()

source

methodis_subseteq_IListResult¶source

bloqade.lanes.analysis.atom.lattice.IListResult.is_subseteq_IListResult

def is_subseteq_IListResult(elem: IListResult) -> bool

Parameters

Name	Type	Description
elem	IListResult

Returns

bool

source

methodjoin_IListResult¶source

bloqade.lanes.analysis.atom.lattice.IListResult.join_IListResult

def join_IListResult(other: IListResult) -> MoveExecution

Parameters

Name	Type	Description
other	IListResult

Returns

MoveExecution

source

methodmeet_IListResult¶source

bloqade.lanes.analysis.atom.lattice.IListResult.meet_IListResult

def meet_IListResult(other: IListResult) -> MoveExecution

Parameters

Name	Type	Description
other	IListResult

Returns

MoveExecution

source