bloqade.analysis.address.lattice.Address

← Module overview

classAddress¶source

bloqade.analysis.address.lattice.Address

Bases: SimpleJoinMixin['Address'], SimpleMeetMixin['Address'], BoundedLattice['Address']

class Address

Public import paths

• from bloqade.analysis.address import Address
• from bloqade.analysis.address.impls import Address
• from bloqade.analysis.fidelity.impls import Address
• from bloqade.analysis.address.analysis import Address
• from bloqade.qubit.analysis.address_impl import Address
• from bloqade.squin.rewrite.wrap_analysis import Address
• from bloqade.qasm2.dialects.core.address import Address
• from bloqade.qasm2.dialects.noise.fidelity import Address
• from bloqade.squin.analysis.fidelity.impls import Address
• from bloqade.analysis.validation.simple_nocloning.validation import Address

methodbottom¶source

bloqade.analysis.address.lattice.Address.bottom

def bottom() -> Address

Returns

Address

source

methodtop¶source

bloqade.analysis.address.lattice.Address.top

def top() -> Address

Returns

Address

source

methodfrom_type¶source

bloqade.analysis.address.lattice.Address.from_type

def from_type(typ: types.TypeAttribute)

Parameters

Name	Type	Description
typ	types.TypeAttribute

source