Solution Class Reference

#include <unification.h>

Inheritance diagram for Solution:

Inheritance graph
[legend]

List of all members.

Public Member Functions

virtual void display (ostream &o)=0
virtual bool check ()=0


Detailed Description

Definition at line 10 of file unification.h.


Member Function Documentation

virtual void Solution::display ( ostream &  o  )  [pure virtual]

Implemented in Solver::SolverSolution, and SimpleSolution.

virtual bool Solution::check (  )  [pure virtual]

Implemented in Solver::SolverSolution, and SimpleSolution.


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

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