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

Data Structures

struct  evalUnit

Public Member Functions

 ManualEvalHeuristicsParserModuleSemantics (ProgramCtx &ctx)

Data Fields

ManualEvalHeuristicsPlugin::CtxDatactxdata

Detailed Description

Definition at line 525 of file ManualEvalHeuristicsPlugin.cpp.


Constructor & Destructor Documentation


Field Documentation


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