NuSMV/code/nusmv/core/sat/solvers/SatZchaff_private.h File Reference

#include "nusmv/core/sat/solvers/SatZchaff.h"
#include "nusmv/core/sat/solvers/satZChaffIfc.h"
#include "nusmv/core/sat/SatIncSolver_private.h"
#include "nusmv/core/utils/assoc.h"

Go to the source code of this file.

Data Structures
struct	SatZchaff
	The private interface of class SatZchaff. More...
Functions
Slist_ptr	sat_zchaff_get_conflicts (const SatSolver_ptr)

---

Function Documentation

Slist_ptr sat_zchaff_get_conflicts

(

const

SatSolver_ptr

)