bloqade.analysis.address.lattice.PartialLambda

← Module overview

classPartialLambda¶source

bloqade.analysis.address.lattice.PartialLambda

Bases: Address

Represents a partially known lambda function

Signature

class PartialLambda(argnames: list[str], code: ir.Statement, captured: tuple[Address, ...])

Public import paths

• from bloqade.analysis.address import PartialLambda
• from bloqade.analysis.address.impls import PartialLambda

Parameters

Name	Type	Description
argnames	list[str]
code	ir.Statement
captured	tuple[Address, ...]

Attributes

Name	Type	Description
argnames	list[str]
code	ir.Statement
captured	tuple[Address, ...]

methodjoin¶source

bloqade.analysis.address.lattice.PartialLambda.join

def join(other: Address) -> Address

Parameters

Name	Type	Description
other	Address

Returns

Address

source

methodmeet¶source

bloqade.analysis.address.lattice.PartialLambda.meet

def meet(other: Address) -> Address

Parameters

Name	Type	Description
other	Address

Returns

Address

source

methodis_subseteq¶source

bloqade.analysis.address.lattice.PartialLambda.is_subseteq

def is_subseteq(other: Address) -> bool

Parameters

Name	Type	Description
other	Address

Returns

bool

source