Method putEdge

Core/Utilities/Tools/Graph.cpp:83–92

}

void Graph::putEdge(uint32_t i, uint32_t j) 
{
    mSuccessors[i].insert(j);
    mPredecessors[j].insert(i);

    if (!isDirectedGraph()) {
        mSuccessors[j].insert(i);
        mPredecessors[i].insert(j);
    }
}

std::string Graph::dotify(std::string name) const 
{