equal
deleted
inserted
replaced
397 } |
397 } |
398 _process.clear(); |
398 _process.clear(); |
399 if (OperationTraits::less(value, OperationTraits::infinity())) { |
399 if (OperationTraits::less(value, OperationTraits::infinity())) { |
400 for (NodeIt it(*graph); it != INVALID; ++it) { |
400 for (NodeIt it(*graph); it != INVALID; ++it) { |
401 _process.push_back(it); |
401 _process.push_back(it); |
402 _mask.set(it, true); |
402 _mask->set(it, true); |
403 } |
403 } |
404 } |
404 } |
405 } |
405 } |
406 |
406 |
407 /// \brief Adds a new source node. |
407 /// \brief Adds a new source node. |