Main Page
Classes
Files
Directories
Alphabetical List
Class List
Class Hierarchy
Class Members
PredicateConstantsInfo Class Reference
List of all members.
Public Member Functions
PredicateConstantsInfo
(
ClauseCounter
*const &cc, int superPredId)
~PredicateConstantsInfo
()
int
getSuperPredId
()
ClauseCounter
*
getClauseCounter
()
Detailed Description
Definition at line
188
of file
superpred.h
.
The documentation for this class was generated from the following file:
src/infer/
superpred.h
Generated on Sun Jun 7 11:55:27 2009 for Alchemy by
1.5.1