include/dlvhex2/Interpretation.h File Reference

Bitset interpretation using bitmagic library. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/ModelGenerator.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Registry.h"
#include <bm/bm.h>
#include <boost/function.hpp>
#include <boost/shared_ptr.hpp>

Include dependency graph for Interpretation.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	Interpretation
	Stores a set of atoms efficiently as a bitset. More...
Typedefs
typedef Interpretation::Ptr	InterpretationPtr
typedef Interpretation::ConstPtr	InterpretationConstPtr
Functions
DLVHEX_EXPORT std::size_t	hash_value (const Interpretation &intr)

---

Detailed Description

Bitset interpretation using bitmagic library.

Author:

Peter Schueller <[email protected]>

Definition in file Interpretation.h.

---

Typedef Documentation

typedef Interpretation::ConstPtr InterpretationConstPtr

Definition at line 268 of file Interpretation.h.

typedef Interpretation::Ptr InterpretationPtr

Definition at line 267 of file Interpretation.h.

---

Function Documentation

DLVHEX_EXPORT 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().