Class RegionMap

Index

Constructors

Accessors

existentialMetaRegionMapper map regions staticRegion universalRegions

Methods

add generateExistentialRegion uncheckedAdd

Constructors

constructor

new RegionMap(): RegionMap
Returns RegionMap
- Defined in coral/src/symbol/RegionMap.ts:24

Accessors

existentialMetaRegionMapper

get existentialMetaRegionMapper(): MetaRegionMapper
Returns MetaRegionMapper
- Defined in coral/src/symbol/RegionMap.ts:38

map

get map(): Map<string, Region>
Returns Map<string, Region>
- Defined in coral/src/symbol/RegionMap.ts:34

regions

get regions(): Iterable<Region>
Returns Iterable<Region>
- Defined in coral/src/symbol/RegionMap.ts:46

staticRegion

get staticRegion(): Region
Returns Region
- Defined in coral/src/symbol/RegionMap.ts:42

universalRegions

get universalRegions(): Iterable<Region>
Returns Iterable<Region>
- Defined in coral/src/symbol/RegionMap.ts:50

Methods

add

add(name: string, kind: Region.Kind): Region
Parameters
- name: string
- kind: Region.Kind
Returns Region
- Defined in coral/src/symbol/RegionMap.ts:61

generateExistentialRegion

generateExistentialRegion(): Region
Returns Region
- Defined in coral/src/symbol/RegionMap.ts:56

uncheckedAdd

uncheckedAdd(name: string, kind: Region.Kind): Region
Does not check whether the region already exists.
Parameters
- name: string
- kind: Region.Kind
Returns Region
- Defined in coral/src/symbol/RegionMap.ts:72