dlvhex  2.1.0
internal Namespace Reference

Data Structures

struct  DFSVisitor

Typedefs

typedef std::map< Component,
std::list< Component > > 
Cloned2OrigMap

Functions

template<typename ComponentGraph , typename Sequence >
void topologicalSortOfComponents (const ComponentGraph &compgraph, Sequence &comps)
template<typename ComponentGraph , typename Set >
void transitivePredecessorComponents (const ComponentGraph &compgraph, Component from, Set &preds)
Component collapseHelper (Cloned2OrigMap &com, ComponentGraph &clonedcg, const ComponentSet &clonedcollapse)

Typedef Documentation

typedef std::map<Component, std::list<Component> > internal::Cloned2OrigMap

Definition at line 138 of file EvalHeuristicEasy.cpp.


Function Documentation

Component internal::collapseHelper ( Cloned2OrigMap com,
ComponentGraph clonedcg,
const ComponentSet clonedcollapse 
)

Definition at line 144 of file EvalHeuristicEasy.cpp.

References ComponentGraph::collapseComponents().

Referenced by EvalHeuristicEasy::build().

template<typename ComponentGraph , typename Sequence >
void internal::topologicalSortOfComponents ( const ComponentGraph compgraph,
Sequence &  comps 
)
template<typename ComponentGraph , typename Set >
void internal::transitivePredecessorComponents ( const ComponentGraph compgraph,
Component  from,
Set preds 
)