src/CDNLSolver.cpp File Reference

SAT solver based on conflict-driven nogood learning. More...

#include "dlvhex2/CDNLSolver.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/GenuineSolver.h"
#include "dlvhex2/Benchmarking.h"
#include <iostream>
#include <sstream>
#include "dlvhex2/Logger.h"
#include <boost/functional/hash.hpp>

Include dependency graph for CDNLSolver.cpp:

Go to the source code of this file.

Defines
#define	DBGLOGD(X, Y)   DBGLOG(X,Y)

---

Detailed Description

SAT solver based on conflict-driven nogood learning.

Author:

Christoph Redl

Definition in file CDNLSolver.cpp.

---

Define Documentation

#define DBGLOGD	(		X,
			Y
	)		DBGLOG(X,Y)

Definition at line 50 of file CDNLSolver.cpp.

Referenced by CDNLSolver::inactivateNogood(), CDNLSolver::startWatching(), CDNLSolver::stopWatching(), CDNLSolver::updateWatchingStructuresAfterAddNogood(), CDNLSolver::updateWatchingStructuresAfterClearFact(), and CDNLSolver::updateWatchingStructuresAfterSetFact().