#include <depGraph.hpp>
Public Member Functions | |
DepGraph () | |
constructor | |
~DepGraph () | |
destructor | |
std::set< DepNode *, compNode > & | Vertices () |
return vertex set | |
int & | Counter () |
node index counter | |
void | insert (exprVar *) |
insert new variable if new | |
void | insert (exprAux *) |
insert new auxiliary if new | |
void | erase (exprVar *) |
delete element | |
bool | depends (int, int, bool=false) |
does w depend on x? | |
void | createOrder () |
assign numbering to all nodes of graph | |
void | print (bool descend=false) |
debugging procedure | |
DepNode * | lookup (int index) |
search for node in vertex set | |
bool | checkCycles () |
check for dependence cycles in graph | |
void | replaceIndex (int oldVar, int newVar) |
replace, throughout the whole graph, the index of a variable with another in the entire graph. | |
Protected Attributes | |
std::set< DepNode *, compNode > | vertices_ |
set of variable nodes | |
int | counter_ |
counter to assign numbering to all nodes |
Shows dependence of auxiliary variable on other (auxiliary and/or original) variables
Definition at line 96 of file depGraph.hpp.
DepGraph::DepGraph | ( | ) | [inline] |
DepGraph::~DepGraph | ( | ) | [inline] |
int& DepGraph::Counter | ( | ) | [inline] |
void DepGraph::insert | ( | exprVar * | ) |
insert new variable if new
void DepGraph::insert | ( | exprAux * | ) |
insert new auxiliary if new
void DepGraph::erase | ( | exprVar * | ) |
delete element
bool DepGraph::depends | ( | int | , | |
int | , | |||
bool | = false | |||
) |
does w depend on x?
void DepGraph::createOrder | ( | ) |
assign numbering to all nodes of graph
void DepGraph::print | ( | bool | descend = false |
) |
debugging procedure
DepNode* DepGraph::lookup | ( | int | index | ) |
search for node in vertex set
bool DepGraph::checkCycles | ( | ) |
check for dependence cycles in graph
void DepGraph::replaceIndex | ( | int | oldVar, | |
int | newVar | |||
) |
replace, throughout the whole graph, the index of a variable with another in the entire graph.
Used when redundant constraints w := x are discovered
std::set<DepNode *, compNode> DepGraph::vertices_ [protected] |
set of variable nodes
Definition at line 101 of file depGraph.hpp.
Referenced by Vertices(), and ~DepGraph().
int DepGraph::counter_ [protected] |
counter to assign numbering to all nodes
Definition at line 104 of file depGraph.hpp.
Referenced by Counter().