src/Atoms.cpp File Reference

Implementation of Atoms.hpp. More...

#include "dlvhex2/Atoms.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/OrdinaryAtomTable.h"
#include <boost/foreach.hpp>
#include <map>

Include dependency graph for Atoms.cpp:

Go to the source code of this file.

Defines
#define	DEBUG_UNIFICATION
#define	DEBUG_HOMOMORPHISM

---

Detailed Description

Implementation of Atoms.hpp.

Author:

Peter Schller

Definition in file Atoms.cpp.

---

Define Documentation

#define DEBUG_HOMOMORPHISM

#define DEBUG_UNIFICATION

Definition at line 50 of file Atoms.cpp.