Class VisMutConstraintDAG

A directed acyclic graph that stores the constraints between nodes.

Hierarchy (View Summary)

ConstraintDAG<VisMutKind, VisMut>
- VisMutConstraintDAG

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 VisMutConstraintDAG(): VisMutConstraintDAG
Returns VisMutConstraintDAG
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, VisMut[]> = ...

solutions

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

solutions_collection

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

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, VisMut>>
Returns Generator<Map<number, VisMut>>
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(from: number, to: number, rank?: string): void
Parameters
- from: number
- to: number
- Optionalrank: string
Returns void
Inherited from ConstraintDAG.connect
- Defined in constraint.ts:184

`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 | VisMut[]
Parameters
- dominator_id: number
- dominatee_id: number
Returns undefined | VisMut[]
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 | VisMut[]
Parameters
- dominator_id: number
- dominatee_id: number
Returns undefined | VisMut[]
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:1985

force_update

force_update(nodeid: number, range: VisMut[]): void
Parameters
- nodeid: number
- range: VisMut[]
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:1989

`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: VisMut[]): void
Parameters
- nodeid: number
- range: VisMut[]
Returns void
Inherited from ConstraintDAG.insert
- Defined in constraint.ts:130

insert_or_update

insert_or_update(node: number, range: VisMut[]): void
Parameters
- node: number
- range: VisMut[]
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
Inherited from ConstraintDAG.remove_irrelevant_leaves
- Defined in constraint.ts:1117

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): void
Parameters
- dominator_id: number
- dominatee_id: number
Returns void
Inherited from ConstraintDAG.solution_range_alignment
- Defined in constraint.ts:291

solution_range_of

solution_range_of(nodeid: number): VisMut[]
Parameters
- nodeid: number
Returns VisMut[]
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
Inherited from ConstraintDAG.tighten_solution_range_middle_out
- Defined in constraint.ts:690

`Protected`try_shrink_dominatee_solution_range

try_shrink_dominatee_solution_range(
    solution_range: Map<number, VisMut[]>,
    dominator_id: number,
    dominatee_id: number,
): VisMut[]
Parameters
- solution_range: Map<number, VisMut[]>
- dominator_id: number
- dominatee_id: number
Returns VisMut[]
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, VisMut[]>,
    dominator_id: number,
    dominatee_id: number,
): VisMut[]
Parameters
- solution_range: Map<number, VisMut[]>
- dominator_id: number
- dominatee_id: number
Returns VisMut[]
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: VisMut[],
): boolean
Parameters
- node: number
- new_range: VisMut[]
Returns boolean
Inherited from ConstraintDAG.try_tighten_solution_range_middle_out
- Defined in constraint.ts:640

update

update(nodeid: number, range: VisMut[]): void
Parameters
- nodeid: number
- range: VisMut[]
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 VisMutConstraintDAG

Hierarchy (View Summary)

Index

Constructors

Properties

Methods

Constructors

constructor

Returns VisMutConstraintDAG

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

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

Protecteddominator_solution_range_should_be_shrinked

Parameters

Returns undefined | VisMut[]

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