#include <unification.h>
Public Member Functions | |
virtual void | display (ostream &o)=0 |
virtual bool | check ()=0 |
Definition at line 10 of file unification.h.
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.