Main Page
Classes
Files
Directories
Alphabetical List
Class List
Class Hierarchy
Class Members
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:
src/infer/
maxwalksat.h
Generated on Mon Jan 15 13:45:29 2007 for Alchemy by
1.5.1