satcheck_glucose.cpp File Reference

#include "satcheck_glucose.h"
#include <stack>
#include <util/invariant.h>
#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)
void	convert_assumptions (const bvt &bv, Glucose::vec< Glucose::Lit > &dest)

Function Documentation

convert()

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

Definition at line 23 of file satcheck_glucose.cpp.

convert_assumptions()

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

Definition at line 34 of file satcheck_glucose.cpp.