EqualGroundClause Class Reference

List of all members.

Public Member Functions

bool operator() (GroundClause *const &c1, GroundClause *const &c2) const

Detailed Description

Definition at line 341 of file groundclause.h.


The documentation for this class was generated from the following file:
Generated on Sun Jun 7 11:55:23 2009 for Alchemy by  doxygen 1.5.1