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

#include "dlvhex2/PredicateMask.h"
#include "dlvhex2/Interpretation.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/Printhelpers.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/OrdinaryAtomTable.h"
#include "dlvhex2/PluginInterface.h"
#include "dlvhex2/ProgramCtx.h"
#include <boost/foreach.hpp>

Include dependency graph for PredicateMask.cpp:

Go to the source code of this file.

Detailed Description

Incrementally managed bitmask for projecting ground interpretations to certain predicates.

Author:: Peter Schueller <[email protected]>

Definition in file PredicateMask.cpp.