bloqade.lanes.analysis.placement.lattice.NotState

← Module overview

classNotState¶source

bloqade.lanes.analysis.placement.lattice.NotState

Bases: AtomState

class NotState

methodis_subseteq¶source

bloqade.lanes.analysis.placement.lattice.NotState.is_subseteq

def is_subseteq(other: AtomState) -> bool

Parameters

Name	Type	Description
other	AtomState

Returns

bool

source