src/PluginInterface.cpp File Reference

Definition of Classes PluginAtom, PluginRewriter, and PluginInterface. More...

#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/ProgramCtx.h"
#include "dlvhex2/GenuineSolver.h"
#include "dlvhex2/Term.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/HexParser.h"
#include "dlvhex2/ExternalLearningHelper.h"

Include dependency graph for PluginInterface.cpp:

Go to the source code of this file.

Functions
std::size_t	hash_value (const PluginAtom::Query &q)

---

Detailed Description

Definition of Classes PluginAtom, PluginRewriter, and PluginInterface.

Author:

Roman Schindlauer

Date:

Mon Oct 17 14:37:07 CEST 2005

Definition in file PluginInterface.cpp.

---

Function Documentation

std::size_t hash_value

(

const PluginAtom::Query &

q

)

Definition at line 105 of file PluginInterface.cpp.

References bm::bvector< Alloc >::end(), bm::bvector< Alloc >::first(), PluginAtom::Query::input, PluginAtom::Query::interpretation, and PluginAtom::Query::pattern.