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

Detailed Description

vertex of a dependence graph.

Contains variable and its forward star (all variables it depends on)

Definition at line 33 of file CouenneDepGraph.hpp.

Member Enumeration Documentation

enum Couenne::DepNode::dep_color

color used in DFS for checking cycles

Enumerator
DEP_WHITE
DEP_GRAY
DEP_BLACK

Definition at line 38 of file CouenneDepGraph.hpp.

Constructor & Destructor Documentation

Couenne::DepNode::DepNode ( int ind )

inline

fictitious constructor: only fill in index (such object is used in find() and then discarded)

Definition at line 59 of file CouenneDepGraph.hpp.

Couenne::DepNode::~DepNode ( )

inline

destructor

Definition at line 66 of file CouenneDepGraph.hpp.

Member Function Documentation

int Couenne::DepNode::Index ( ) const

inline

return index of this variable

Definition at line 70 of file CouenneDepGraph.hpp.

int Couenne::DepNode::Order ( ) const

inline

return index of this variable

Definition at line 74 of file CouenneDepGraph.hpp.

std::set<DepNode *, compNode>* Couenne::DepNode::DepList ( ) const

inline

return all variables it depends on

Definition at line 78 of file CouenneDepGraph.hpp.

bool DepNode::depends	(	int	xi,
		bool	recursive = `false`,
		std::set< DepNode , compNode >	already_visited = `NULL`
	)		const

does this variable depend on variable with index xi?

does this variable depend on variable with index xi? (used in checkCycles)

Definition at line 23 of file depGraph.cpp.

void DepNode::createOrder ( DepGraph * g )

assign numbering to all nodes of graph

Definition at line 65 of file depGraph.cpp.

void DepNode::print	(	int	indent = `0`,
		bool	descend = `false`
	)		const

debugging procedure

Definition at line 88 of file depGraph.cpp.

enum dep_color& Couenne::DepNode::color ( )

inline

return or set color of a node

Definition at line 92 of file CouenneDepGraph.hpp.

std::set<DepNode *, compNode>* Couenne::DepNode::depList ( )

inline

index nodes on which this one depends (forward star in dependence graph)

Definition at line 97 of file CouenneDepGraph.hpp.

void DepNode::replaceIndex	(	DepNode *	oldVarNode,
		DepNode *	newVarNode
	)

replace the index of a variable with another in the entire graph.

Used when redundant constraints w := x are discovered

Definition at line 109 of file depGraph.cpp.

Member Data Documentation

int Couenne::DepNode::index_

protected

index of variable associated with node

Definition at line 43 of file CouenneDepGraph.hpp.

std::set<DepNode *, compNode>* Couenne::DepNode::depList_

protected

index nodes on which this one depends (forward star in dependence graph)

Definition at line 47 of file CouenneDepGraph.hpp.

int Couenne::DepNode::order_

protected

order in which this variable should be updated, evaluated, etc.

Definition at line 50 of file CouenneDepGraph.hpp.

enum dep_color Couenne::DepNode::color_

protected

color used in DFS for checking cycles

Definition at line 53 of file CouenneDepGraph.hpp.

The documentation for this class was generated from the following files:

/tmp/OS-2.10.2/Couenne/src/problem/depGraph/CouenneDepGraph.hpp
/tmp/OS-2.10.2/Couenne/src/problem/depGraph/depGraph.cpp

Public Types

Public Member Functions

Protected Attributes

Detailed Description

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation