bloqade.lanes.analysis.atom.lattice.Value

← Module overview

classValue¶source

bloqade.lanes.analysis.atom.lattice.Value

Bases: MoveExecution

class Value(value: Any)

Public import paths

• from bloqade.lanes.analysis.atom import Value
• from bloqade.lanes.visualize.artist import Value
• from bloqade.lanes.analysis.atom.impl import Value

Parameters

Name	Type	Description
value	Any

Attributes

Name	Type	Description
value	Any

methodis_subseteq_Value¶source

bloqade.lanes.analysis.atom.lattice.Value.is_subseteq_Value

def is_subseteq_Value(elem: Value) -> bool

Parameters

Name	Type	Description
elem	Value

Returns

bool

source

methodis_structurally_equal¶source

bloqade.lanes.analysis.atom.lattice.Value.is_structurally_equal

Signature

def is_structurally_equal(other: MoveExecution, context: dict | None = None) -> bool

Parameters

Name	Type	Default	Description
other	MoveExecution	required
context	dict | None	None

Returns

bool

source

methodcopy¶source

bloqade.lanes.analysis.atom.lattice.Value.copy

def copy()

source