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

Data Structures

struct  higherOrderAtom

Public Member Functions

 HigherOrderParserModuleSemantics (ProgramCtx &ctx)

Data Fields

HigherOrderPlugin::CtxData & ctxdata

Detailed Description

Definition at line 134 of file HigherOrderPlugin.cpp.

Constructor & Destructor Documentation

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

Definition at line 141 of file HigherOrderPlugin.cpp.

Field Documentation

HigherOrderPlugin::CtxData& HigherOrderParserModuleSemantics::ctxdata

Definition at line 138 of file HigherOrderPlugin.cpp.

Referenced by sem< HigherOrderParserModuleSemantics::higherOrderAtom >::operator()().

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