clingo
|
#include <graph.hh>
Classes | |
struct | Node |
Public Types | |
typedef std::vector< Node * > | NodeVec |
typedef std::vector< NodeVec > | SCCVec |
Public Member Functions | |
Graph () | |
Graph (Graph &&g) | |
Graph (Graph const &)=delete | |
SCCVec | tarjan () |
template<class... U> | |
Node & | insertNode (U &&...x) |
template<class... U> | |
Graph< T >::Node & | insertNode (U &&...x) |
typedef std::vector<Node*> Gringo::Graph< T >::NodeVec |
typedef std::vector<NodeVec> Gringo::Graph< T >::SCCVec |
|
default |
|
default |
|
delete |
Graph< T >::SCCVec Gringo::Graph< T >::tarjan | ( | ) |