bloqade.lanes.analysis.atom.lattice.ObservableResult

← Module overview

classObservableResult¶source

bloqade.lanes.analysis.atom.lattice.ObservableResult

Bases: MoveExecution

class ObservableResult(data: MoveExecution)

Public import paths

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

Parameters

Name	Type	Description
data	MoveExecution

Attributes

Name	Type	Description
data	MoveExecution

methodcopy¶source

bloqade.lanes.analysis.atom.lattice.ObservableResult.copy

def copy()

source

methodis_subseteq_ObservableResult¶source

bloqade.lanes.analysis.atom.lattice.ObservableResult.is_subseteq_ObservableResult

def is_subseteq_ObservableResult(elem: ObservableResult) -> bool

Parameters

Name	Type	Description
elem	ObservableResult

Returns

bool

source

methodjoin_ObservableResult¶source

bloqade.lanes.analysis.atom.lattice.ObservableResult.join_ObservableResult

def join_ObservableResult(other: ObservableResult) -> MoveExecution

Parameters

Name	Type	Description
other	ObservableResult

Returns

MoveExecution

source

methodmeet_ObservableResult¶source

bloqade.lanes.analysis.atom.lattice.ObservableResult.meet_ObservableResult

def meet_ObservableResult(other: ObservableResult) -> MoveExecution

Parameters

Name	Type	Description
other	ObservableResult

Returns

MoveExecution

source