src/Interpretation.cpp File Reference

Implementation of the (bitset-)interpretation. More...

#include "dlvhex2/Interpretation.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/Benchmarking.h"
#include <boost/functional/hash.hpp>

Include dependency graph for Interpretation.cpp:

Go to the source code of this file.

Functions
DLVHEX_NAMESPACE_BEGIN std::size_t	hash_value (const Interpretation &intr)

---

Detailed Description

Implementation of the (bitset-)interpretation.

Author:

Peter Schller

Definition in file Interpretation.cpp.

---

Function Documentation

DLVHEX_NAMESPACE_BEGIN std::size_t hash_value

(

const Interpretation &

intr

)

Definition at line 46 of file Interpretation.cpp.

References bm::bvector< Alloc >::end(), bm::bvector< Alloc >::first(), and Interpretation::getStorage().