graphfncts.h File Reference
Detailed Description
Operations on (directed) graphs.
Definition in file graphfncts.h.
#include "definitions.h"
#include "vgenerator.h"
#include <stack>
Go to the source code of this file.
|
Namespaces |
namespace | faudes |
Classes |
class | faudes::SccFilter |
| Filter for strictly connected components (SCC) search/compute routines. More...
|
Functions |
void | faudes::SearchScc (const Idx vState, int &vRcount, const Generator &rGen, const SccFilter &rFilter, StateSet &rTodo, std::stack< Idx > &rStack, StateSet &rStackStates, std::map< const Idx, int > &rDfn, std::map< const Idx, int > &rLowLnk, std::list< StateSet > &rSccList, StateSet &rRoots) |
| Search for strongly connected components (SCC).
|
bool | faudes::ComputeScc (const Generator &rGen, const SccFilter &rFilter, std::list< StateSet > &rSccList, StateSet &rRoots) |
| Compute strongly connected components (SCC).
|
bool | faudes::ComputeScc (const Generator &rGen, std::list< StateSet > &rSccList, StateSet &rRoots) |
| Compute strongly connected components (SCC).
|
bool | faudes::HasScc (const Generator &rGen, const SccFilter &rFilter, StateSet &rScc) |
| Test for strongly connected components (SCC).
|
bool | faudes::HasScc (const Generator &rGen, const SccFilter &rFilter) |
| Test for strongly connected components (SCC).
|