dlvhex
2.5.0
|
#include <include/dlvhex2/CAUAlgorithms.h>
Public Types | |
typedef Graph::vertex_descriptor | Vertex |
typedef Graph::edge_descriptor | Edge |
Public Member Functions | |
AncestryMarkingVisitor (AncestryPropertyMap &apm, std::set< Vertex > &caus) | |
void | examine_edge (Edge e, const Graph &g) const |
Protected Attributes | |
AncestryPropertyMap & | apm |
std::set< Vertex > & | caus |
Definition at line 135 of file CAUAlgorithms.h.
typedef Graph::edge_descriptor CAUAlgorithms::AncestryMarkingVisitor< Graph >::Edge |
Definition at line 140 of file CAUAlgorithms.h.
typedef Graph::vertex_descriptor CAUAlgorithms::AncestryMarkingVisitor< Graph >::Vertex |
Definition at line 139 of file CAUAlgorithms.h.
CAUAlgorithms::AncestryMarkingVisitor< Graph >::AncestryMarkingVisitor | ( | AncestryPropertyMap & | apm, |
std::set< Vertex > & | caus | ||
) | [inline] |
Definition at line 143 of file CAUAlgorithms.h.
void CAUAlgorithms::AncestryMarkingVisitor< Graph >::examine_edge | ( | Edge | e, |
const Graph & | g | ||
) | const [inline] |
Definition at line 146 of file CAUAlgorithms.h.
References CAUAlgorithms::AncestryMarkingVisitor< Graph >::apm, CAUAlgorithms::AncestryMarkingVisitor< Graph >::caus, DBGLOG, LOG, and printset().
AncestryPropertyMap& CAUAlgorithms::AncestryMarkingVisitor< Graph >::apm [protected] |
Definition at line 188 of file CAUAlgorithms.h.
Referenced by CAUAlgorithms::AncestryMarkingVisitor< Graph >::examine_edge().
std::set<Vertex>& CAUAlgorithms::AncestryMarkingVisitor< Graph >::caus [protected] |
Definition at line 189 of file CAUAlgorithms.h.
Referenced by CAUAlgorithms::AncestryMarkingVisitor< Graph >::examine_edge().