19 std::vector<EFANode *>
23 std::set<EFANode *> frag2_nodes = other->
getAllNodes();
virtual std::set< EFANode * > getAllNodes() const =0
std::vector< EFANode * > getCommonNodes(EFAFragment *other) const
std::vector< T > getCommonElems(std::set< T > &v1, std::set< T > &v2)