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

#include "nusmv/core/sat/solvers/SatMinisat.h"
#include "nusmv/core/sat/solvers/satMiniSatIfc.h"
#include "nusmv/core/sat/SatIncSolver_private.h"
#include "nusmv/core/utils/assoc.h"
#include "nusmv/core/utils/Stack.h"

Go to the source code of this file.

Data Structures
struct	SatMinisat
	The private interface of class SatMinisat. More...
Functions
int	sat_minisat_get_cnf_var (const SatSolver_ptr solver, int var)
Slist_ptr	sat_minisat_get_conflicts (const SatSolver_ptr)

---

Function Documentation

int sat_minisat_get_cnf_var	(	const SatSolver_ptr	solver,
		int	var
	)

Slist_ptr sat_minisat_get_conflicts

(

const

SatSolver_ptr

)