satcheck_minisat.cpp File Reference

#include "satcheck_minisat.h"
#include <cassert>
#include <stack>
#include <util/threeval.h>
#include <Solver.h>
#include <Proof.h>

Include dependency graph for satcheck_minisat.cpp:

Go to the source code of this file.

Classes
class	minisat_prooft

Functions
void	convert (const bvt &bv, vec< Lit > &dest)

Function Documentation

convert()

void convert	(	const bvt &	bv,
		vec< Lit > &	dest
	)

Definition at line 23 of file satcheck_minisat.cpp.

Referenced by satcheck_minisat1_baset::lcnf(), and satcheck_minisat1_baset::prop_solve().