summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-04-16 01:40:22 +0200
committerAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2016-04-25 22:26:12 +0200
commit5f32cfb7d244106e77d9ec5e09161af1433ad5e9 (patch)
treecc4db2c0719ca2e525b155a6b7513eefc7c50c8d /lib
parent7dc48b549b7789a38f0b066528de880a06525592 (diff)
Prevent inserting the same Node multiple times into the nodesWithoutId vector using a set. Keep the vector in order to generate the ids in a deterministic order.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions