cppCreCDGraph

UseCase3


// Add all vertices as source vertices to the CDG object.
// Add all edges as neighbors to the CDG object.

*operation* Cd_Graph* cppCreCDGraph()
   *init* (@ new Cd_Graph(new Cd_Adj_List()) @)
   *wrapper* Graph
      (@
         this->cppAddSourceVertices(return_val);
         this->cppAddNeighbors(return_val);
      @)