#include <unification.h>
Public Member Functions | |
VariableSolution () | |
Public Attributes | |
bool | seeoutside |
Node * | definition |
list< Condition * > | definitionc |
Definition at line 17 of file unification.h.
VariableSolution::VariableSolution | ( | ) |
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().