Allows for efficient retrieval of all atoms over a given predicate. More...

#include <include/dlvhex2/PredicateMask.h>

Inheritance diagram for PredicateMask:

Collaboration diagram for PredicateMask:

Public Member Functions
	PredicateMask ()
	Constructor.
	~PredicateMask ()
	Destructor.
	PredicateMask (const PredicateMask &p)
	Copy-constructor.
PredicateMask &	operator= (const PredicateMask &p)
	Copy-constructor.
void	setRegistry (RegistryPtr registry)
	Set registry and create initial interpretation.
void	addPredicate (ID pred)
	Add apredicate.
void	updateMask ()
	Incrementally updates mask for all predicates.
InterpretationConstPtr	mask () const
	Get mask.
Protected Attributes
std::set< IDAddress >	predicates
	Addresses of IDs of all relevant input predicates for this eatom.
InterpretationPtr	maski
	Bitset interpretation for masking inputs.
IDAddress	knownAddresses
	Address of the last ogatom already inspected for updating mask.
boost::mutex	updateMutex
	Mutex for multithreading access.

Detailed Description

Allows for efficient retrieval of all atoms over a given predicate.

Definition at line 49 of file PredicateMask.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN PredicateMask::PredicateMask ( )

Constructor.

Definition at line 53 of file PredicateMask.cpp.

PredicateMask::~PredicateMask ( )

Destructor.

Definition at line 84 of file PredicateMask.cpp.

PredicateMask::PredicateMask ( const PredicateMask & p )

Copy-constructor.

Has a tricky implementation. Copying a mask is not useful, masks should and can be shared (for a new registry they need to be recreated anyways). Therefore copy constructing with maski != NULL will log a warning.

Parameters:

p	Other PredicateMask.

Definition at line 60 of file PredicateMask.cpp.

References LOG, maski, and WARNING().

Member Function Documentation

void PredicateMask::addPredicate ( ID pred )

Add apredicate.

Incrementally updates mask for new pred up to known address of other preds (does not update mask for other preds!).

Parameters:

pred	Predicate to add.

Definition at line 98 of file PredicateMask.cpp.

References ID::address, DBGLOG, DBGLOG_VSCOPE, ID::isConstantTerm(), ID::isTerm(), knownAddresses, predicates, and updateMutex.

Referenced by FLPModelGeneratorFactoryBase::createEatomGuessingRule(), FLPModelGeneratorFactoryBase::createFLPRules(), ExternalAtomMask::setEAtom(), StrongNegationPlugin::setupProgramCtx(), and HigherOrderPlugin::setupProgramCtx().

InterpretationConstPtr PredicateMask::mask ( ) const [inline]

Get mask.

Returns:: Interpretation containing all ground atoms over predicates in this mask.

Definition at line 90 of file PredicateMask.h.

Referenced by GuessAndCheckModelGenerator::generateNextModel(), GenuineGuessAndCheckModelGenerator::generateNextModel(), FLPModelGeneratorBase::isCompatibleSet(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), AnnotatedGroundProgram::mapAuxToEAtoms(), and BaseModelGenerator::VerifyExternalAtomCB::VerifyExternalAtomCB().

PredicateMask & PredicateMask::operator= ( const PredicateMask & p )

Copy-constructor.

Has a tricky implementation. Copying a mask is not useful, masks should and can be shared (for a new registry they need to be recreated anyways). Therefore copy constructing with maski != NULL will log a warning.

Parameters: