SimpleSolution Class Reference

#include <unification.h>

Inheritance diagram for SimpleSolution:

Inheritance graph
[legend]
Collaboration diagram for SimpleSolution:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 SimpleSolution (unsigned int ndvar, unsigned int ndnumvar, Unification *unification)
 ~SimpleSolution ()
void display (ostream &o)
bool check ()

Public Attributes

Unificationunification
bool fail
unsigned int ndvar
unsigned int ndnumvar
VariableSolutionvariableSolution
VariableSolutionnumericalvariableSolution


Detailed Description

Definition at line 26 of file unification.h.


Constructor & Destructor Documentation

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.


Member Function Documentation

void SimpleSolution::display ( ostream &  o  )  [virtual]

bool SimpleSolution::check (  )  [virtual]

Implements Solution.

Definition at line 1769 of file unification.cpp.

References fail.


Member Data Documentation

Definition at line 29 of file unification.h.

Referenced by display().

Definition at line 30 of file unification.h.

Referenced by check(), Unification::checkDefinition(), and SimpleSolution().

unsigned int SimpleSolution::ndvar

Definition at line 31 of file unification.h.

Referenced by display().

Definition at line 32 of file unification.h.

Referenced by display().


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

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