clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Classes | Public Types | Public Member Functions | List of all members
Gringo::Graph< T > Class Template Reference

#include <graph.hh>

Collaboration diagram for Gringo::Graph< T >:
Collaboration graph

Classes

struct  Node
 

Public Types

typedef std::vector< Node * > NodeVec
 
typedef std::vector< NodeVecSCCVec
 

Public Member Functions

 Graph ()
 
 Graph (Graph &&g)
 
 Graph (Graph const &)=delete
 
SCCVec tarjan ()
 
template<class... U>
NodeinsertNode (U &&...x)
 
template<class... U>
Graph< T >::NodeinsertNode (U &&...x)
 

Member Typedef Documentation

template<class T>
typedef std::vector<Node*> Gringo::Graph< T >::NodeVec
template<class T>
typedef std::vector<NodeVec> Gringo::Graph< T >::SCCVec

Constructor & Destructor Documentation

template<class T >
Gringo::Graph< T >::Graph ( )
default
template<class T >
Gringo::Graph< T >::Graph ( Graph< T > &&  g)
default
template<class T>
Gringo::Graph< T >::Graph ( Graph< T > const &  )
delete

Member Function Documentation

template<class T>
template<class... U>
Node& Gringo::Graph< T >::insertNode ( U &&...  x)
template<class T>
template<class... U>
Graph<T>::Node& Gringo::Graph< T >::insertNode ( U &&...  x)
template<class T >
Graph< T >::SCCVec Gringo::Graph< T >::tarjan ( )

Here is the call graph for this function:


The documentation for this class was generated from the following file: