dlvhex  2.1.0
Public Member Functions | Protected Attributes
PredicateMask Class Reference

#include <include/dlvhex2/PredicateMask.h>

Inheritance diagram for PredicateMask:
Inheritance graph
[legend]
Collaboration diagram for PredicateMask:
Collaboration graph
[legend]

Public Member Functions

 PredicateMask ()
 ~PredicateMask ()
 PredicateMask (const PredicateMask &)
PredicateMask & operator= (const PredicateMask &)
void setRegistry (RegistryPtr registry)
void addPredicate (ID pred)
void updateMask ()
InterpretationConstPtr mask () const

Protected Attributes

std::set< IDAddress > predicates
InterpretationPtr maski
IDAddress knownAddresses
boost::mutex updateMutex

Detailed Description

Definition at line 45 of file PredicateMask.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN PredicateMask::PredicateMask ( )

Definition at line 49 of file PredicateMask.cpp.

PredicateMask::~PredicateMask ( )

Definition at line 76 of file PredicateMask.cpp.

PredicateMask::PredicateMask ( const PredicateMask &  other)

Definition at line 55 of file PredicateMask.cpp.

References LOG, and maski.

Member Function Documentation

void PredicateMask::addPredicate ( ID  pred)

Definition at line 89 of file PredicateMask.cpp.

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

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

InterpretationConstPtr PredicateMask::mask ( ) const [inline]

Definition at line 72 of file PredicateMask.h.

References maski.

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

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

Definition at line 66 of file PredicateMask.cpp.

References knownAddresses, LOG, maski, and predicates.

void PredicateMask::setRegistry ( RegistryPtr  registry)

Definition at line 80 of file PredicateMask.cpp.

References maski.

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

void PredicateMask::updateMask ( )

Reimplemented in ExternalAtomMask.

Definition at line 96 of file PredicateMask.cpp.

References DBGLOG, DBGLOG_VSCOPE, knownAddresses, ID::MAINKIND_TERM, maski, predicates, RawPrinter::print(), printset(), ID::SUBKIND_TERM_CONSTANT, Atom::tuple, and updateMutex.

Referenced by FLPModelGeneratorBase::isCompatibleSet(), GenuineGuessAndCheckModelGenerator::isModel(), FLPModelGeneratorBase::isSubsetMinimalFLPModel(), StrongNegationPlugin::setupProgramCtx(), and HigherOrderPlugin::setupProgramCtx().

Field Documentation

IDAddress PredicateMask::knownAddresses [protected]

Definition at line 83 of file PredicateMask.h.

Referenced by addPredicate(), operator=(), and updateMask().

InterpretationPtr PredicateMask::maski [protected]

Definition at line 81 of file PredicateMask.h.

Referenced by mask(), operator=(), PredicateMask(), ExternalAtomMask::setEAtom(), setRegistry(), updateMask(), and ExternalAtomMask::updateMask().

std::set<IDAddress> PredicateMask::predicates [protected]

Definition at line 79 of file PredicateMask.h.

Referenced by addPredicate(), operator=(), and updateMask().

boost::mutex PredicateMask::updateMutex [protected]

Definition at line 85 of file PredicateMask.h.

Referenced by updateMask(), and ExternalAtomMask::updateMask().

The documentation for this class was generated from the following files: