bloqade.analysis.address.lattice.ConstResult

← Module overview

classConstResult¶source

bloqade.analysis.address.lattice.ConstResult

Bases: Address

Stores a constant prop result in the lattice

class ConstResult(result: const.Result)

Public import paths

• from bloqade.analysis.address import ConstResult
• from bloqade.analysis.address.impls import ConstResult
• from bloqade.analysis.fidelity.impls import ConstResult
• from bloqade.analysis.address.analysis import ConstResult
• from bloqade.qasm2.dialects.core.address import ConstResult

Parameters

Name	Type	Description
result	const.Result

Attributes

Name	Type	Description
result	const.Result

methodis_subseteq¶source

bloqade.analysis.address.lattice.ConstResult.is_subseteq

def is_subseteq(other: Address) -> bool

Parameters

Name	Type	Description
other	Address

Returns

bool

source