Implementation of Term.h. More...

#include "dlvhex2/Term.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 Term.cpp:

Go to the source code of this file.

Detailed Description

Implementation of Term.h.

Author:: Christoph Redl

Definition in file Term.cpp.