equal
deleted
inserted
replaced
1014 int redId(Node v) const { |
1014 int redId(Node v) const { |
1015 LEMON_DEBUG(nodes[v._id].red, "Node has to be red"); |
1015 LEMON_DEBUG(nodes[v._id].red, "Node has to be red"); |
1016 return nodes[v._id].partition_index; |
1016 return nodes[v._id].partition_index; |
1017 } |
1017 } |
1018 int blueId(Node v) const { |
1018 int blueId(Node v) const { |
1019 LEMON_DEBUG(nodes[v._id].red, "Node has to be blue"); |
1019 LEMON_DEBUG(!nodes[v._id].red, "Node has to be blue"); |
1020 return nodes[v._id].partition_index; |
1020 return nodes[v._id].partition_index; |
1021 } |
1021 } |
1022 static int id(Arc e) { return e._id; } |
1022 static int id(Arc e) { return e._id; } |
1023 static int id(Edge e) { return e._id; } |
1023 static int id(Edge e) { return e._id; } |
1024 |
1024 |