Markus Blatt ca3bcb2662 Use more accurate name for the size of the global components. ... The new name is num_global_components, which actually is an upper bound for the the number of global components (1 plus the maximum global index).		2015-05-19 19:58:05 +02:00
..
core	Use more accurate name for the size of the global components.	2015-05-19 19:58:05 +02:00