VariableSolution Class Reference

#include <unification.h>

Collaboration diagram for VariableSolution:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 VariableSolution ()

Public Attributes

bool seeoutside
Nodedefinition
list< Condition * > definitionc


Detailed Description

Definition at line 17 of file unification.h.


Constructor & Destructor Documentation

VariableSolution::VariableSolution (  ) 

Definition at line 1753 of file unification.cpp.

References definition, and seeoutside.


Member Data Documentation

Definition at line 21 of file unification.h.

Referenced by Unification::exploDefinition(), and VariableSolution().

Definition at line 22 of file unification.h.

Referenced by SimpleSolution::display(), and VariableSolution().

Definition at line 23 of file unification.h.

Referenced by SimpleSolution::display(), and Unification::exploDefinition().


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

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