satcheck_glucose.cpp File Reference

#include "satcheck_glucose.h"
#include <inttypes.h>
#include <cassert>
#include <stack>
#include <util/threeval.h>
#include <core/Solver.h>
#include <simp/SimpSolver.h>

Include dependency graph for satcheck_glucose.cpp:

Go to the source code of this file.

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

Function Documentation

convert()

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

Definition at line 27 of file satcheck_glucose.cpp.

References forall_literals.

Referenced by satcheck_glucose_baset< Glucose::SimpSolver >::lcnf(), and satcheck_glucose_baset< Glucose::SimpSolver >::prop_solve().