include/dlvhex2/PredicateMask.h File Reference

Incrementally managed bitmask for projecting ground interpretations to certain predicates. More...

#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/fwd.h"
#include "dlvhex2/ID.h"
#include <boost/thread/mutex.hpp>
#include <set>

Include dependency graph for PredicateMask.h:

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

Go to the source code of this file.

Data Structures
class	PredicateMask
	Allows for efficient retrieval of all atoms over a given predicate. More...
class	ExternalAtomMask
	Mask for external atoms. More...

---

Detailed Description

Incrementally managed bitmask for projecting ground interpretations to certain predicates.

Author:

Peter Schueller <ps@kr.tuwien.ac.at>

Definition in file PredicateMask.h.