dlvhex  2.5.0
Data Structures | Public Member Functions | Data Fields
StrongNegationParserModuleSemantics Class Reference
Inheritance diagram for StrongNegationParserModuleSemantics:
Inheritance graph
[legend]
Collaboration diagram for StrongNegationParserModuleSemantics:
Collaboration graph
[legend]

Data Structures

struct  stronglyNegatedPrefixAtom

Public Member Functions

 StrongNegationParserModuleSemantics (ProgramCtx &ctx)

Data Fields

StrongNegationPlugin::CtxData & ctxdata

Detailed Description

Definition at line 134 of file StrongNegationPlugin.cpp.

Constructor & Destructor Documentation

StrongNegationParserModuleSemantics::StrongNegationParserModuleSemantics ( ProgramCtx &  ctx) [inline]

Definition at line 141 of file StrongNegationPlugin.cpp.

Field Documentation

StrongNegationPlugin::CtxData& StrongNegationParserModuleSemantics::ctxdata

Definition at line 138 of file StrongNegationPlugin.cpp.

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

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