equal
deleted
inserted
replaced
71 SmartDigraphBase() : nodes(), arcs() { } |
71 SmartDigraphBase() : nodes(), arcs() { } |
72 SmartDigraphBase(const SmartDigraphBase &_g) |
72 SmartDigraphBase(const SmartDigraphBase &_g) |
73 : nodes(_g.nodes), arcs(_g.arcs) { } |
73 : nodes(_g.nodes), arcs(_g.arcs) { } |
74 |
74 |
75 typedef True NodeNumTag; |
75 typedef True NodeNumTag; |
76 typedef True ArcNumTag; |
76 typedef True EdgeNumTag; |
77 |
77 |
78 int nodeNum() const { return nodes.size(); } |
78 int nodeNum() const { return nodes.size(); } |
79 int arcNum() const { return arcs.size(); } |
79 int arcNum() const { return arcs.size(); } |
80 |
80 |
81 int maxNodeId() const { return nodes.size()-1; } |
81 int maxNodeId() const { return nodes.size()-1; } |