src/NogoodGrounder.cpp File Reference

Implements a grounder for nonground nogoods. More...

#include "dlvhex2/NogoodGrounder.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/Nogood.h"
#include <bm/bmalgo.h>
#include <boost/foreach.hpp>

Include dependency graph for NogoodGrounder.cpp:

Go to the source code of this file.

Defines
#define	DLVHEX_BENCHMARK

---

Detailed Description

Implements a grounder for nonground nogoods.

Author:

Christoph Redl

Definition in file NogoodGrounder.cpp.

---

Define Documentation

#define DLVHEX_BENCHMARK

Definition at line 34 of file NogoodGrounder.cpp.