DepGraph Class Reference

Dependence graph. More...

#include <depGraph.hpp>

List of all members.

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
DepNodelookup (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 *, compNodevertices_
 set of variable nodes
int counter_
 counter to assign numbering to all nodes


Detailed Description

Dependence graph.

Shows dependence of auxiliary variable on other (auxiliary and/or original) variables

Definition at line 96 of file depGraph.hpp.


Constructor & Destructor Documentation

DepGraph::DepGraph (  )  [inline]

constructor

Definition at line 109 of file depGraph.hpp.

DepGraph::~DepGraph (  )  [inline]

destructor

Definition at line 112 of file depGraph.hpp.

References vertices_.


Member Function Documentation

std::set<DepNode *, compNode>& DepGraph::Vertices (  )  [inline]

return vertex set

Definition at line 119 of file depGraph.hpp.

References vertices_.

int& DepGraph::Counter (  )  [inline]

node index counter

Definition at line 123 of file depGraph.hpp.

References counter_.

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


Member Data Documentation

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().


The documentation for this class was generated from the following file:
Generated on Mon Aug 8 03:04:17 2011 for Couenne by  doxygen 1.4.7