MCSatParams Struct Reference

This struct holds parameters needed to run MC-SAT. More...

#include <mcsatparams.h>

Inheritance diagram for MCSatParams:

List of all members.

Public Attributes
MaxWalksatParams *	mwsParams
int	numStepsEveryMCSat

---

Detailed Description

This struct holds parameters needed to run MC-SAT.

See also:

MCMCParams

Definition at line 77 of file mcsatparams.h.

---

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

• src/infer/mcsatparams.h

---