Abc
RegionGraph dataclass
RegionGraph()
Bases: StmtTrait, Generic[GraphType]
A trait that indicates the properties of the statement's region.
RegionInterpretationTrait dataclass
RegionInterpretationTrait()
Bases: StmtTrait
A trait that indicates the execution convention of the statement's region.
For example, a region is SSA CFG if it follows SSA form and has a control flow graph. This trait also indicates that there is an available implementation of the trait in each interpreter.
StmtTrait dataclass
StmtTrait()
Trait dataclass
Trait()
Bases: ABC, Generic[IRNodeType]
Base class for all statement traits.