NuSMV/code/nusmv/core/sat/SatSolver_private.h File Reference

#include "nusmv/core/sat/SatSolver.h"
#include "nusmv/core/utils/EnvObject_private.h"
#include "nusmv/core/utils/Olist.h"
#include "nusmv/core/utils/list.h"

Go to the source code of this file.

Data Structures
struct	SatSolver
	The private interface of class SatSolver. More...
Functions
Slist_ptr	sat_solver_get_conflicts (const SatSolver_ptr)
void	sat_solver_RemoveFromList (lsList list, const lsGeneric element)

---

Function Documentation

Slist_ptr sat_solver_get_conflicts

(

const

SatSolver_ptr

)

void sat_solver_RemoveFromList	(	lsList	list,
		const lsGeneric	element
	)