#include <unification.h>
Public Member Functions | |
SimpleSolution (unsigned int ndvar, unsigned int ndnumvar, Unification *unification) | |
~SimpleSolution () | |
void | display (ostream &o) |
bool | check () |
Public Attributes | |
Unification * | unification |
bool | fail |
unsigned int | ndvar |
unsigned int | ndnumvar |
VariableSolution * | variableSolution |
VariableSolution * | numericalvariableSolution |
Definition at line 26 of file unification.h.
SimpleSolution::SimpleSolution | ( | unsigned int | ndvar, | |
unsigned int | ndnumvar, | |||
Unification * | unification | |||
) |
Definition at line 1759 of file unification.cpp.
References fail, numericalvariableSolution, and variableSolution.
SimpleSolution::~SimpleSolution | ( | ) |
Definition at line 1776 of file unification.cpp.
References numericalvariableSolution, and variableSolution.
void SimpleSolution::display | ( | ostream & | o | ) | [virtual] |
display a solution
Implements Solution.
Definition at line 1712 of file unification.cpp.
References VariableSolution::definition, VariableSolution::definitionc, globconfig, Configuration::LATEX, ndnumvar, ndvar, numericalvariableSolution, Parser::numericalvariabletab, Unification::parser, Node::print(), unification, variableSolution, Parser::variabletab, and Configuration::writeMode.
bool SimpleSolution::check | ( | ) | [virtual] |
bool SimpleSolution::fail |
Definition at line 30 of file unification.h.
Referenced by check(), Unification::checkDefinition(), and SimpleSolution().
unsigned int SimpleSolution::ndvar |
unsigned int SimpleSolution::ndnumvar |
Definition at line 33 of file unification.h.
Referenced by display(), Unification::exploDefinition(), SimpleSolution(), and ~SimpleSolution().
Definition at line 34 of file unification.h.
Referenced by display(), Unification::exploDefinition(), SimpleSolution(), and ~SimpleSolution().