ContainerHelperUnionChangedK, V Method (DictionaryK, V, DictionaryK, 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.GenericDictionaryK, V
A dictionary to change.
b: Type: System.Collections.GenericDictionaryK, 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