Class ConstraintDAG<T, V>

A directed acyclic graph that stores the constraints between nodes.

Type Parameters

T
V extends Value<T>

Hierarchy (View Summary)

ConstraintDAG

Index

Constructors

constructor

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 ConstraintDAG<T, V extends Value<T>>(): ConstraintDAG<T, V>
Type Parameters
- T
- V extends Value<T>
Returns ConstraintDAG<T, V>
- 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, V[]> = ...

solutions

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

solutions_collection

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

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, V>>
Returns Generator<Map<number, V>>
- Defined in constraint.ts:733

`Protected`build_leaves_relation

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

check_connection

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

check_property

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

clear

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

connect

connect(from: number, to: number, rank?: string): void
Parameters
- from: number
- to: number
- Optionalrank: string
Returns void
- Defined in constraint.ts:184

`Protected`dfs4edge2leaf

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

`Protected`dfs4node2leaf

dfs4node2leaf(): void
Returns void
- 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 | V[]
Parameters
- dominator_id: number
- dominatee_id: number
Returns undefined | V[]
- 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 | V[]
Parameters
- dominator_id: number
- dominatee_id: number
Returns undefined | V[]
- Defined in constraint.ts:225

draw

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

`Protected`draw_for_debug

draw_for_debug(): Promise<void>
Returns Promise<void>
- Defined in constraint.ts:1258

force_update

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

`Protected`get_maximum_solution_count

get_maximum_solution_count(): number
Returns number
- Defined in constraint.ts:1119

`Protected`get_roots_and_leaves

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

has_solution_range

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

initialize_resolve

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

insert

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

insert_or_update

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

newNode

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

non_empty_solution_range_of

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

remove

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

remove_connection

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

`Protected`remove_irrelevant_leaves

remove_irrelevant_leaves(): void
Returns void
- Defined in constraint.ts:1117

resolve

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

solution_range_alignment

solution_range_alignment(dominator_id: number, dominatee_id: number): void
Parameters
- dominator_id: number
- dominatee_id: number
Returns void
- Defined in constraint.ts:291

solution_range_of

solution_range_of(nodeid: number): V[]
Parameters
- nodeid: number
Returns V[]
- Defined in constraint.ts:212

`Protected`tighten_solution_range_middle_out

tighten_solution_range_middle_out(node: number): void
Parameters
- node: number
Returns void
- Defined in constraint.ts:690

`Protected`try_shrink_dominatee_solution_range

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

`Protected`try_shrink_dominator_solution_range

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

try_tighten_solution_range_middle_out

try_tighten_solution_range_middle_out(node: number, new_range: V[]): boolean
Parameters
- node: number
- new_range: V[]
Returns boolean
- Defined in constraint.ts:640

update

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

verify

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

Class ConstraintDAG<T, V>

Type Parameters

Hierarchy (View Summary)

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

Returns ConstraintDAG<T, V>

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, V>>

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 | V[]

Protecteddominator_solution_range_should_be_shrinked

Parameters

Returns undefined | V[]

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

`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