Class TypeConstraintDAG

A directed acyclic graph that stores the constraints between nodes.

Hierarchy (View Summary)

ConstraintDAG<TypeKind, Type>
- TypeConstraintDAG

Index

Constructors

Properties

dag_nodes edge2leaf leaves leaves_equal leaves_same leaves_same_range leaves_sub name node2leaf roots solution_range solutions solutions_collection sub super

Constructors

constructor

new TypeConstraintDAG(): TypeConstraintDAG
Returns TypeConstraintDAG
Inherited from ConstraintDAG.constructor
- Defined in constraint.ts:76

Properties

dag_nodes

dag_nodes: Map<number, ConstraintNode> = ...

edge2leaf

edge2leaf: Map<string, Set<number>> = ...

leaves

leaves: Set<number> = ...

leaves_equal

leaves_equal: Set<string> = ...

leaves_same

leaves_same: Set<string> = ...

leaves_same_range

leaves_same_range: Set<string> = ...

leaves_sub

leaves_sub: Set<string> = ...

name

name: string

node2leaf

node2leaf: Map<number, Set<toLeaf>> = ...

roots

roots: Set<number> = ...

solution_range

solution_range: Map<number, Type[]> = ...

solutions

solutions: Map<number, Type> = ...

solutions_collection

solutions_collection: Map<number, Type>[] = []

sub

sub: Set<string> = ...

super

super: Set<string> = ...

Methods

`Protected`allocate_solutions_for_leaves_in_stream

allocate_solutions_for_leaves_in_stream(): Generator<Map<number, Type>>
Returns Generator<Map<number, Type>>
Inherited from ConstraintDAG.allocate_solutions_for_leaves_in_stream
- Defined in constraint.ts:733

`Protected`build_leaves_relation

build_leaves_relation(): void
Returns void
Inherited from ConstraintDAG.build_leaves_relation
- Defined in constraint.ts:936

check_connection

check_connection(from: number, to: number): boolean
Parameters
- from: number
- to: number
Returns boolean
Inherited from ConstraintDAG.check_connection
- Defined in constraint.ts:180

check_property

check_property(): Promise<void>
Returns Promise<void>
Inherited from ConstraintDAG.check_property
- Defined in constraint.ts:97

clear

clear(): void
Returns void
Inherited from ConstraintDAG.clear
- Defined in constraint.ts:80

connect

connect(
    dominator_id: number,
    dominatee_id: number,
    rank?: "sub" | "super",
): void
Parameters
- dominator_id: number
- dominatee_id: number
- Optionalrank: "sub" | "super"
Returns void
Overrides ConstraintDAG.connect
- Defined in constraint.ts:1897

`Protected`dfs4edge2leaf

dfs4edge2leaf(): void
Returns void
Inherited from ConstraintDAG.dfs4edge2leaf
- Defined in constraint.ts:584

`Protected`dfs4node2leaf

dfs4node2leaf(): void
Returns void
Inherited from ConstraintDAG.dfs4node2leaf
- Defined in constraint.ts:347

`Protected`dominatee_solution_range_should_be_shrinked

dominatee_solution_range_should_be_shrinked(
dominator_id: number,
dominatee_id: number,
): undefined | Type[]
Parameters
- dominator_id: number
- dominatee_id: number
Returns undefined | Type[]
Inherited from ConstraintDAG.dominatee_solution_range_should_be_shrinked
- Defined in constraint.ts:258

`Protected`dominator_solution_range_should_be_shrinked

dominator_solution_range_should_be_shrinked(
dominator_id: number,
dominatee_id: number,
): undefined | Type[]
Parameters
- dominator_id: number
- dominatee_id: number
Returns undefined | Type[]
Inherited from ConstraintDAG.dominator_solution_range_should_be_shrinked
- Defined in constraint.ts:225

draw

draw(path: string): Promise<void>
Parameters
- path: string
Returns Promise<void>
Inherited from ConstraintDAG.draw
- Defined in constraint.ts:1263

`Protected`draw_for_debug

draw_for_debug(): Promise<void>
Returns Promise<void>
Overrides ConstraintDAG.draw_for_debug
- Defined in constraint.ts:1904

force_update

force_update(nodeid: number, range: Type[]): void
Parameters
- nodeid: number
- range: Type[]
Returns void
Inherited from ConstraintDAG.force_update
- Defined in constraint.ts:176

`Protected`get_maximum_solution_count

get_maximum_solution_count(): number
Returns number
Overrides ConstraintDAG.get_maximum_solution_count
- Defined in constraint.ts:1938

`Protected`get_roots_and_leaves

get_roots_and_leaves(isolated_node_is_root?: boolean): void
Parameters
- isolated_node_is_root: boolean = true
Returns void
Inherited from ConstraintDAG.get_roots_and_leaves
- Defined in constraint.ts:318

has_solution_range

has_solution_range(nodeid: number): boolean
Parameters
- nodeid: number
Returns boolean
Inherited from ConstraintDAG.has_solution_range
- Defined in constraint.ts:221

initialize_resolve

initialize_resolve(): void
Returns void
Inherited from ConstraintDAG.initialize_resolve
- Defined in constraint.ts:306

insert

insert(nodeid: number, range: Type[]): void
Parameters
- nodeid: number
- range: Type[]
Returns void
Inherited from ConstraintDAG.insert
- Defined in constraint.ts:130

insert_or_update

insert_or_update(node: number, range: Type[]): void
Parameters
- node: number
- range: Type[]
Returns void
Inherited from ConstraintDAG.insert_or_update
- Defined in constraint.ts:167

newNode

newNode(id: number): ConstraintNode
Parameters
- id: number
Returns ConstraintNode
Inherited from ConstraintDAG.newNode
- Defined in constraint.ts:126

non_empty_solution_range_of

non_empty_solution_range_of(nodeid: number): boolean
Parameters
- nodeid: number
Returns boolean
Inherited from ConstraintDAG.non_empty_solution_range_of
- Defined in constraint.ts:217

remove

remove(nodeid: number): void
Parameters
- nodeid: number
Returns void
Inherited from ConstraintDAG.remove
- Defined in constraint.ts:137

remove_connection

remove_connection(from: number, to: number): void
Parameters
- from: number
- to: number
Returns void
Inherited from ConstraintDAG.remove_connection
- Defined in constraint.ts:202

`Protected`remove_irrelevant_leaves

remove_irrelevant_leaves(): void
Returns void
Overrides ConstraintDAG.remove_irrelevant_leaves
- Defined in constraint.ts:1908

resolve

resolve(): Promise<void>
Returns Promise<void>
Inherited from ConstraintDAG.resolve
- Defined in constraint.ts:1121

solution_range_alignment

solution_range_alignment(
    dominator_id: number,
    dominatee_id: number,
    direction?: "inside_out" | "outside_in" | "bidirectional",
): void
Parameters
- dominator_id: number
- dominatee_id: number
- direction: "inside_out" | "outside_in" | "bidirectional" = "bidirectional"
Returns void
Overrides ConstraintDAG.solution_range_alignment
- Defined in constraint.ts:1847

solution_range_of

solution_range_of(nodeid: number): Type[]
Parameters
- nodeid: number
Returns Type[]
Inherited from ConstraintDAG.solution_range_of
- Defined in constraint.ts:212

`Protected`tighten_solution_range_middle_out

tighten_solution_range_middle_out(node: number): void
Parameters
- node: number
Returns void
Overrides ConstraintDAG.tighten_solution_range_middle_out
- Defined in constraint.ts:1449

`Protected`try_shrink_dominatee_solution_range

try_shrink_dominatee_solution_range(
    solution_range: Map<number, Type[]>,
    dominator_id: number,
    dominatee_id: number,
): Type[]
Parameters
- solution_range: Map<number, Type[]>
- dominator_id: number
- dominatee_id: number
Returns Type[]
Inherited from ConstraintDAG.try_shrink_dominatee_solution_range
- Defined in constraint.ts:621

`Protected`try_shrink_dominator_solution_range

try_shrink_dominator_solution_range(
    solution_range: Map<number, Type[]>,
    dominator_id: number,
    dominatee_id: number,
): Type[]
Parameters
- solution_range: Map<number, Type[]>
- dominator_id: number
- dominatee_id: number
Returns Type[]
Inherited from ConstraintDAG.try_shrink_dominator_solution_range
- Defined in constraint.ts:602

try_tighten_solution_range_middle_out

try_tighten_solution_range_middle_out(node: number, new_range: Type[]): boolean
Parameters
- node: number
- new_range: Type[]
Returns boolean
Overrides ConstraintDAG.try_tighten_solution_range_middle_out
- Defined in constraint.ts:1545

update

update(nodeid: number, range: Type[]): void
Parameters
- nodeid: number
- range: Type[]
Returns void
Inherited from ConstraintDAG.update
- Defined in constraint.ts:153

verify

verify(): void
Returns void
Inherited from ConstraintDAG.verify
- Defined in constraint.ts:1191

Class TypeConstraintDAG

Hierarchy (View Summary)

Index

Constructors

Properties

Methods

Constructors

constructor

Returns TypeConstraintDAG

Properties

dag_nodes

edge2leaf

leaves

leaves_equal

leaves_same

leaves_same_range

leaves_sub

name

node2leaf

roots

solution_range

solutions

solutions_collection

sub

super

Methods

Protectedallocate_solutions_for_leaves_in_stream

Returns Generator<Map<number, Type>>

Protectedbuild_leaves_relation

Returns void

check_connection

Parameters

Returns boolean

check_property

Returns Promise<void>

clear

Returns void

connect

Parameters

Returns void

Protecteddfs4edge2leaf

Returns void

Protecteddfs4node2leaf

Returns void

Protecteddominatee_solution_range_should_be_shrinked

Parameters

Returns undefined | Type[]

Protecteddominator_solution_range_should_be_shrinked

Parameters

Returns undefined | Type[]

draw

Parameters

Returns Promise<void>

Protecteddraw_for_debug

Returns Promise<void>

force_update

Parameters

Returns void

Protectedget_maximum_solution_count

Returns number

Protectedget_roots_and_leaves

Parameters

Returns void

has_solution_range

Parameters

Returns boolean

initialize_resolve

Returns void

insert

Parameters

Returns void

insert_or_update

Parameters

Returns void

newNode

Parameters

Returns ConstraintNode

non_empty_solution_range_of

Parameters

Returns boolean

`Protected`allocate_solutions_for_leaves_in_stream

`Protected`build_leaves_relation

`Protected`dfs4edge2leaf

`Protected`dfs4node2leaf

`Protected`dominatee_solution_range_should_be_shrinked

`Protected`dominator_solution_range_should_be_shrinked

`Protected`draw_for_debug

`Protected`get_maximum_solution_count

`Protected`get_roots_and_leaves

`Protected`remove_irrelevant_leaves

`Protected`tighten_solution_range_middle_out

`Protected`try_shrink_dominatee_solution_range

`Protected`try_shrink_dominator_solution_range