bloqade.analysis.address.lattice.StaticContainer

← Module overview

classStaticContainer¶source

bloqade.analysis.address.lattice.StaticContainer

Bases: Address

A lattice element representing the results of any static container, e. g. ilist or tuple.

class StaticContainer(data: tuple[Address, ...])

Public import paths

• from bloqade.squin.analysis.fidelity.impls import StaticContainer

Parameters

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

Attributes

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

methodnew¶source

bloqade.analysis.address.lattice.StaticContainer.new

def new(data: tuple[Address, ...])

Parameters

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

source

methodjoin¶source

bloqade.analysis.address.lattice.StaticContainer.join

def join(other: Address) -> Address

Parameters

Name	Type	Description
other	Address

Returns

Address

source

methodmeet¶source

bloqade.analysis.address.lattice.StaticContainer.meet

def meet(other: Address) -> Address

Parameters

Name	Type	Description
other	Address

Returns

Address

source

methodis_subseteq¶source

bloqade.analysis.address.lattice.StaticContainer.is_subseteq

def is_subseteq(other: Address) -> bool

Parameters

Name	Type	Description
other	Address

Returns

bool

source