ContainerHelper.UnionChanged<K, V> Method (Dictionary<K, V>, Dictionary<K, V>)

Adds all key/value pairs from set/map b to a. If both dictionaries contain one key, the value from b takes precedence (this way the common case a = a | map<int, int> { 7 -> 13 }; would update an existing entry with key 7 to 13).

Namespace: de.unika.ipd.grGen.libGr
Assembly: libGr (in libGr.dll) Version: GrGen.NET 7.2

Syntax

Copy

public static bool UnionChanged<K, V>(
	Dictionary<K, V> a,
	Dictionary<K, V> b
)

Parameters

a: Type: System.Collections.Generic.Dictionary<K, V>
A dictionary to change.
b: Type: System.Collections.Generic.Dictionary<K, V>
Another dictionary of compatible type to a.

Type Parameters

K
V

Return Value

Type: Boolean
A truth value telling whether at least one element was changed in a

Reference

ContainerHelper Class

UnionChanged Overload

de.unika.ipd.grGen.libGr Namespace