dlvhex  2.5.0
Public Types | Public Member Functions | Data Fields
StrongNegationPlugin::CtxData Class Reference

#include <include/dlvhex2/StrongNegationPlugin.h>

Inheritance diagram for StrongNegationPlugin::CtxData:
Inheritance graph
[legend]
Collaboration diagram for StrongNegationPlugin::CtxData:
Collaboration graph
[legend]

Public Types

typedef std::map< ID, std::set
< unsigned > > 		PredicateArityMap
typedef std::map< ID, ID > NegToPosMap

Public Member Functions

 CtxData ()
virtual ~CtxData ()

Data Fields

bool enabled
 Stores if plugin is enabled.
PredicateArityMap negPredicateArities
 Stores for each predicate its arity.
NegToPosMap negToPos
 Stores for each strong negation auxiliary its positive counterpart.
PredicateMask myAuxiliaryPredicateMask
 Masks all strong negation auxiliary atoms.

Detailed Description

Definition at line 49 of file StrongNegationPlugin.h.

Member Typedef Documentation

typedef std::map<ID,ID> StrongNegationPlugin::CtxData::NegToPosMap

Definition at line 62 of file StrongNegationPlugin.h.

typedef std::map<ID,std::set<unsigned> > StrongNegationPlugin::CtxData::PredicateArityMap

Definition at line 57 of file StrongNegationPlugin.h.

Constructor & Destructor Documentation

DLVHEX_NAMESPACE_BEGIN StrongNegationPlugin::CtxData::CtxData ( )

Definition at line 60 of file StrongNegationPlugin.cpp.

virtual StrongNegationPlugin::CtxData::~CtxData ( ) [inline, virtual]

Definition at line 73 of file StrongNegationPlugin.h.

Field Documentation

bool StrongNegationPlugin::CtxData::enabled

Stores if plugin is enabled.

Definition at line 54 of file StrongNegationPlugin.h.

Referenced by StrongNegationPlugin::createParserModules(), StrongNegationPlugin::createRewriter(), StrongNegationPlugin::processOptions(), and StrongNegationPlugin::setupProgramCtx().

PredicateMask StrongNegationPlugin::CtxData::myAuxiliaryPredicateMask

Masks all strong negation auxiliary atoms.

For fast detection whether an ID is this plugin's responsitility to display.

Definition at line 70 of file StrongNegationPlugin.h.

Referenced by StrongNegationPlugin::setupProgramCtx().

PredicateArityMap StrongNegationPlugin::CtxData::negPredicateArities

Stores for each predicate its arity.

Definition at line 59 of file StrongNegationPlugin.h.

Referenced by sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator()().

NegToPosMap StrongNegationPlugin::CtxData::negToPos

Stores for each strong negation auxiliary its positive counterpart.

Definition at line 64 of file StrongNegationPlugin.h.

Referenced by sem< StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom >::operator()(), and StrongNegationPlugin::setupProgramCtx().

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