equal
deleted
inserted
replaced
65 SmartDigraphBase() : nodes(), arcs() { } |
65 SmartDigraphBase() : nodes(), arcs() { } |
66 SmartDigraphBase(const SmartDigraphBase &_g) |
66 SmartDigraphBase(const SmartDigraphBase &_g) |
67 : nodes(_g.nodes), arcs(_g.arcs) { } |
67 : nodes(_g.nodes), arcs(_g.arcs) { } |
68 |
68 |
69 typedef True NodeNumTag; |
69 typedef True NodeNumTag; |
70 typedef True EdgeNumTag; |
70 typedef True ArcNumTag; |
71 |
71 |
72 int nodeNum() const { return nodes.size(); } |
72 int nodeNum() const { return nodes.size(); } |
73 int arcNum() const { return arcs.size(); } |
73 int arcNum() const { return arcs.size(); } |
74 |
74 |
75 int maxNodeId() const { return nodes.size()-1; } |
75 int maxNodeId() const { return nodes.size()-1; } |