src/ID.cpp File Reference

Implementation of the ID concept. More...

#include "dlvhex2/ID.h"
#include <boost/functional/hash.hpp>
#include <iomanip>

Include dependency graph for ID.cpp:

Go to the source code of this file.

Functions
DLVHEX_NAMESPACE_BEGIN std::size_t	hash_value (const ID &id)

---

Detailed Description

Implementation of the ID concept.

Author:

Peter Schueller

Definition in file ID.cpp.

---

Function Documentation

DLVHEX_NAMESPACE_BEGIN std::size_t hash_value

(

const ID &

id

)

Definition at line 44 of file ID.cpp.

Referenced by Interpretation::getHash().