20 std::vector<int> dictionary;
21 boost::shared_ptr<std::vector<size_t> > dsf;
22 PartitionTable partitionTable;
25 WorkSpace(
const size_t numNodes) : dictionary(numNodes,0),
26 dsf(
new std::vector<size_t>(numNodes, 0)), partitionTable(numNodes, -1) { }
29 inline void prepareDictionary(
const std::vector<size_t>& keys) {
31 std::fill(dictionary.begin(), dictionary.end(), -1);
32 std::vector<size_t>::const_iterator it=keys.begin(), itLast=keys.end();
33 while(it!=itLast) dictionary[*(it++)] = index++;