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:
Generated on Sun Jun 7 11:55:24 2009 for Alchemy by  doxygen 1.5.1