equal
deleted
inserted
replaced
573 aNodes.clear(); |
573 aNodes.clear(); |
574 bNodes.clear(); |
574 bNodes.clear(); |
575 edges.clear(); |
575 edges.clear(); |
576 } |
576 } |
577 |
577 |
|
578 typedef True NodeNumTag; |
|
579 int nodeNum() const { return aNodes.size() + bNodes.size(); } |
|
580 int aNodeNum() const { return aNodes.size(); } |
|
581 int bNodeNum() const { return bNodes.size(); } |
|
582 |
|
583 typedef True EdgeNumTag; |
|
584 int edgeNum() const { return edges.size(); } |
|
585 |
578 }; |
586 }; |
579 |
587 |
580 |
588 |
581 typedef BpUGraphExtender< BpUGraphBaseExtender< |
589 typedef BpUGraphExtender< BpUGraphBaseExtender< |
582 SmartBpUGraphBase> > ExtendedSmartBpUGraphBase; |
590 SmartBpUGraphBase> > ExtendedSmartBpUGraphBase; |