VarsGroundedType Struct Reference

List of all members.

Public Member Functions

 VarsGroundedType ()
 VarsGroundedType (const VarsGroundedType &vgt)

Public Attributes

Array< Term * > vars
bool isGrounded
int typeId
int numGndings

Detailed Description

Definition at line 69 of file clausehelper.h.


The documentation for this struct was generated from the following file:
Generated on Wed Feb 14 15:15:22 2007 for Alchemy by  doxygen 1.5.1