PredicateConstantsInfo Class Reference

List of all members.

Public Member Functions

 PredicateConstantsInfo (ClauseCounter *const &cc, int superPredId)
 ~PredicateConstantsInfo ()
int getSuperPredId ()
ClauseCountergetClauseCounter ()

Detailed Description

Definition at line 188 of file superpred.h.


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