bloqade.lanes.analysis.placement.lattice.AnyState

← Module overview

classAnyState¶source

bloqade.lanes.analysis.placement.lattice.AnyState

Bases: AtomState

class AnyState

methodis_subseteq¶source

bloqade.lanes.analysis.placement.lattice.AnyState.is_subseteq

def is_subseteq(other: AtomState) -> bool

Parameters

Name	Type	Description
other	AtomState

Returns

bool

source