dlvhex  2.5.0
Public Member Functions
StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom Struct Reference
Inheritance diagram for StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom:
Inheritance graph
[legend]
Collaboration diagram for StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom:
Collaboration graph
[legend]

Public Member Functions

 stronglyNegatedPrefixAtom (StrongNegationParserModuleSemantics &mgr)

Detailed Description

Definition at line 148 of file StrongNegationPlugin.cpp.

Constructor & Destructor Documentation

StrongNegationParserModuleSemantics::stronglyNegatedPrefixAtom::stronglyNegatedPrefixAtom ( StrongNegationParserModuleSemantics &  mgr) [inline]

Definition at line 151 of file StrongNegationPlugin.cpp.

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