VarsTypeId Struct Reference

List of all members.

Public Attributes

Array< Term * > vars
int typeId

Detailed Description

Definition at line 80 of file predicate.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