dlvhex  2.5.0
internal Namespace Reference

Data Structures

struct  DFSVisitor

Functions

template<typename ComponentGraph , typename Set >
void transitivePredecessorComponents (const ComponentGraph &compgraph, Component from, Set &preds)

Function Documentation

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