Main Page
Classes
Files
Directories
Alphabetical List
Class List
Class Hierarchy
Class Members
FormulaClauseIndexes Struct Reference
List of all members.
Public Member Functions
FormulaClauseIndexes
(int *const &fformulaIndex, int *const &cclauseIndex)
~FormulaClauseIndexes
()
Public Attributes
int *
formulaIndex
int *
clauseIndex
Detailed Description
Definition at line
117
of file
mlnhelper.h
.
The documentation for this struct was generated from the following file:
src/logic/
mlnhelper.h
Generated on Sun Jun 7 11:55:24 2009 for Alchemy by
1.5.1