Couenne
0.2
|
vertex of a dependence graph. More...
#include <CouenneDepGraph.hpp>
Public Types | |
enum | dep_color { DEP_WHITE, DEP_GRAY, DEP_BLACK } |
color used in DFS for checking cycles More... | |
Public Member Functions | |
DepNode (int ind) | |
fictitious constructor: only fill in index (such object is used in find() and then discarded) More... | |
~DepNode () | |
destructor More... | |
int | Index () const |
return index of this variable More... | |
int | Order () const |
return index of this variable More... | |
std::set< DepNode *, compNode > * | DepList () const |
return all variables it depends on More... | |
bool | depends (int xi, bool=false, std::set< DepNode *, compNode > *already_visited=NULL) const |
does this variable depend on variable with index xi? More... | |
void | createOrder (DepGraph *) |
assign numbering to all nodes of graph More... | |
void | print (int=0, bool descend=false) const |
debugging procedure More... | |
enum dep_color & | color () |
return or set color of a node More... | |
std::set< DepNode *, compNode > * | depList () |
index nodes on which this one depends (forward star in dependence graph) More... | |
void | replaceIndex (DepNode *oldVarNode, DepNode *newVarNode) |
replace the index of a variable with another in the entire graph. More... | |
Protected Attributes | |
int | index_ |
index of variable associated with node More... | |
std::set< DepNode *, compNode > * | depList_ |
index nodes on which this one depends (forward star in dependence graph) More... | |
int | order_ |
order in which this variable should be updated, evaluated, etc. More... | |
enum dep_color | color_ |
color used in DFS for checking cycles More... | |
vertex of a dependence graph.
Contains variable and its forward star (all variables it depends on)
Definition at line 33 of file CouenneDepGraph.hpp.
color used in DFS for checking cycles
Enumerator | |
---|---|
DEP_WHITE | |
DEP_GRAY | |
DEP_BLACK |
Definition at line 38 of file CouenneDepGraph.hpp.
|
inline |
fictitious constructor: only fill in index (such object is used in find() and then discarded)
Definition at line 59 of file CouenneDepGraph.hpp.
|
inline |
|
inline |
|
inline |
return all variables it depends on
Definition at line 78 of file CouenneDepGraph.hpp.
References depList_.
bool Couenne::DepNode::depends | ( | int | xi, |
bool | = false , |
||
std::set< DepNode *, compNode > * | already_visited = NULL |
||
) | const |
does this variable depend on variable with index xi?
void Couenne::DepNode::createOrder | ( | DepGraph * | ) |
assign numbering to all nodes of graph
void Couenne::DepNode::print | ( | int | = 0 , |
bool | descend = false |
||
) | const |
debugging procedure
|
inline |
index nodes on which this one depends (forward star in dependence graph)
Definition at line 97 of file CouenneDepGraph.hpp.
References depList_.
replace the index of a variable with another in the entire graph.
Used when redundant constraints w := x are discovered
|
protected |
index of variable associated with node
Definition at line 43 of file CouenneDepGraph.hpp.
Referenced by Index().
index nodes on which this one depends (forward star in dependence graph)
Definition at line 47 of file CouenneDepGraph.hpp.
Referenced by DepList(), depList(), and ~DepNode().
|
protected |
order in which this variable should be updated, evaluated, etc.
Definition at line 50 of file CouenneDepGraph.hpp.
Referenced by Order().
|
protected |
color used in DFS for checking cycles
Definition at line 53 of file CouenneDepGraph.hpp.
Referenced by color().