#include <synnaeve.guillame.bert.h>
Public Member Functions | |
void | display (ostream &o) |
bool | check () |
Public Attributes | |
Unification * | unification |
VariableSolution * | variableSolution |
unsigned int | ndvar |
bool | success |
Definition at line 55 of file synnaeve.guillame.bert.h.
void Solver::SolverSolution::display | ( | ostream & | o | ) | [virtual] |
Implements Solution.
Definition at line 379 of file synnaeve.guillame.bert.cpp.
References Solver::VariableSolution::definition, ndvar, Unification::parser, Node::print(), unification, variableSolution, and Parser::variabletab.
bool Solver::SolverSolution::check | ( | ) | [virtual] |
Definition at line 58 of file synnaeve.guillame.bert.h.
Referenced by display(), and Solver::Graph::Graph().
Definition at line 59 of file synnaeve.guillame.bert.h.
Referenced by display(), Solver::Graph::explo(), and Solver::Graph::Graph().
unsigned int Solver::SolverSolution::ndvar |
Definition at line 60 of file synnaeve.guillame.bert.h.
Referenced by display(), and Solver::Graph::Graph().
Definition at line 61 of file synnaeve.guillame.bert.h.
Referenced by check(), and Solver::Graph::run().