equal
deleted
inserted
replaced
1398 static int size(int s) { |
1398 static int size(int s) { |
1399 return s * s; |
1399 return s * s; |
1400 } |
1400 } |
1401 |
1401 |
1402 void add(const Node& node) { |
1402 void add(const Node& node) { |
1403 if (size(graph.id(node) + 1) > values.size()) { |
1403 if (size(graph.id(node) + 1) >= (int)values.size()) { |
1404 values.resize(size(graph.id(node) + 1)); |
1404 values.resize(size(graph.id(node) + 1)); |
1405 } |
1405 } |
1406 } |
1406 } |
1407 |
1407 |
1408 void erase(const Node&) {} |
1408 void erase(const Node&) {} |