Main Page
Classes
Files
Directories
Alphabetical List
Class List
Class Hierarchy
Class Members
EqualGroundClause Class Reference
List of all members.
Public Member Functions
bool
operator()
(
GroundClause
*const &c1,
GroundClause
*const &c2) const
Detailed Description
Definition at line
349
of file
groundclause.h
.
The documentation for this class was generated from the following file:
src/infer/
groundclause.h
Generated on Wed Feb 14 15:15:21 2007 for Alchemy by
1.5.1