dlvhex  2.5.0
ChoiceParserModuleSemantics Class Reference
Inheritance diagram for ChoiceParserModuleSemantics:
Collaboration diagram for ChoiceParserModuleSemantics:

Data Structures

struct  choiceElement
struct  choiceHead
struct  choiceRule

Public Member Functions

 ChoiceParserModuleSemantics (ProgramCtx &ctx)

Data Fields

ChoicePlugin::CtxDatactxdata

Detailed Description

Definition at line 134 of file ChoicePlugin.cpp.


Constructor & Destructor Documentation


Field Documentation


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