Solver::Graph Class Reference

#include <synnaeve.guillame.bert.h>

Collaboration diagram for Solver::Graph:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 Graph (Node *node, Unification *unification)
bool explo (Node *n)
SolverSolutionrun ()
 ~Graph ()
bool seekCycle (list< Vertex * > &ver, list< Edge * > &ed)
void resetVisited ()
void print ()
VertexaddVertex (int id)
EdgeaddEdge (Vertex *v1, Vertex *v2, int a, int b)

Public Attributes

SolverSolutionsolus
Unificationunification
bool success
list< Vertex * > vertexs
list< Edge * > edges


Detailed Description

Definition at line 66 of file synnaeve.guillame.bert.h.


Constructor & Destructor Documentation

Solver::Graph::Graph ( Node node,
Unification unification 
)

Solver::Graph::~Graph (  ) 

Definition at line 393 of file synnaeve.guillame.bert.cpp.


Member Function Documentation

bool Solver::Graph::explo ( Node n  ) 

SolverSolution * Solver::Graph::run (  ) 

bool Solver::Graph::seekCycle ( list< Vertex * > &  ver,
list< Edge * > &  ed 
)

Definition at line 397 of file synnaeve.guillame.bert.cpp.

References Solver::Vertex::father, Solver::Vertex::in, Solver::Edge::n1, Solver::Edge::n2, Solver::Vertex::out, resetVisited(), vertexs, and Solver::Vertex::visited.

Referenced by run().

Here is the call graph for this function:

void Solver::Graph::resetVisited (  ) 

Definition at line 493 of file synnaeve.guillame.bert.cpp.

References vertexs.

Referenced by seekCycle().

void Solver::Graph::print (  ) 

Definition at line 500 of file synnaeve.guillame.bert.cpp.

References edges, and vertexs.

Referenced by run().

Vertex * Solver::Graph::addVertex ( int  id  ) 

Edge * Solver::Graph::addEdge ( Vertex v1,
Vertex v2,
int  a,
int  b 
)


Member Data Documentation

Definition at line 69 of file synnaeve.guillame.bert.h.

Referenced by explo(), Graph(), and run().

Definition at line 70 of file synnaeve.guillame.bert.h.

Referenced by addVertex(), explo(), and run().

Definition at line 71 of file synnaeve.guillame.bert.h.

Referenced by Graph(), and run().

Definition at line 72 of file synnaeve.guillame.bert.h.

Referenced by addVertex(), print(), resetVisited(), run(), and seekCycle().

Definition at line 73 of file synnaeve.guillame.bert.h.

Referenced by addEdge(), print(), and run().


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

Generated on Thu Jun 19 19:14:41 2008 for unification by  doxygen 1.5.6