MaxWalksatParams Struct Reference

This struct holds parameters needed to run MaxWalksat. More...

#include <maxwalksatparams.h>

List of all members.

Public Attributes
SampleSatParams *	ssParams
int	maxSteps
int	maxTries
long double	targetCost
bool	hard
int	numSolutions
int	heuristic
int	tabuLength
bool	lazyLowState

---

Detailed Description

This struct holds parameters needed to run MaxWalksat.

Definition at line 74 of file maxwalksatparams.h.

---

The documentation for this struct was generated from the following file:

• src/infer/maxwalksatparams.h

---