src/Nogood.cpp File Reference

Data structures for CDNLSolver. More...

#include "dlvhex2/Nogood.h"
#include <iostream>
#include <sstream>
#include <algorithm>
#include "dlvhex2/Logger.h"
#include "dlvhex2/Printer.h"
#include <boost/functional/hash.hpp>

Include dependency graph for Nogood.cpp:

Go to the source code of this file.

Defines
#define	DBGLOGD(X, Y)   do{}while(false);

---

Detailed Description

Data structures for CDNLSolver.

Author:

Christoph Redl

Definition in file Nogood.cpp.

---

Define Documentation

#define DBGLOGD	(		X,
			Y
	)		do{}while(false);

Definition at line 48 of file Nogood.cpp.