HashGroundClause Class Reference

List of all members.

Public Member Functions

size_t operator() (GroundClause *const &gc) const

Detailed Description

Definition at line 278 of file groundclause.h.


The documentation for this class was generated from the following file:
Generated on Tue Jan 16 05:30:06 2007 for Alchemy by  doxygen 1.5.1