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

Public Member Functions

 higherOrderAtom (HigherOrderParserModuleSemantics &mgr)

Detailed Description

Definition at line 148 of file HigherOrderPlugin.cpp.

Constructor & Destructor Documentation

HigherOrderParserModuleSemantics::higherOrderAtom::higherOrderAtom ( HigherOrderParserModuleSemantics &  mgr) [inline]

Definition at line 151 of file HigherOrderPlugin.cpp.

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