Class RegionConstraint

A constraint that lifetime 'sup' outlives lifetime 'sub' at node 'node'.

Index

Constructors

Methods

Constructors

constructor

new RegionConstraint(
    sup: Region,
    sub: Region,
    node: CoralCfgNode.Class,
): RegionConstraint
Parameters
- sup: Region
- sub: Region
- node: CoralCfgNode.Class
Returns RegionConstraint
- Defined in coral/src/mir/symbol/region/RegionConstraint.ts:13

Methods

apply

apply(): boolean
Returns boolean
- Defined in coral/src/mir/symbol/region/RegionConstraint.ts:25

toString

toString(): string
Returns string
- Defined in coral/src/mir/symbol/region/RegionConstraint.ts:19