MaxWalksatData Struct Reference

List of all members.

Public Attributes

Array< Array< int > * > clauses
Array< double > clauseWts
int numGndPreds
double hardClauseWt

Detailed Description

Definition at line 18 of file maxwalksat.h.


The documentation for this struct was generated from the following file:
Generated on Mon Jan 15 13:45:29 2007 for Alchemy by  doxygen 1.5.1