dlvhex
2.5.0
|
Data Structures | |
struct | evalUnit |
Public Member Functions | |
ManualEvalHeuristicsParserModuleSemantics (ProgramCtx &ctx) | |
Data Fields | |
ManualEvalHeuristicsPlugin::CtxData & | ctxdata |
Definition at line 525 of file ManualEvalHeuristicsPlugin.cpp.
ManualEvalHeuristicsParserModuleSemantics::ManualEvalHeuristicsParserModuleSemantics | ( | ProgramCtx & | ctx | ) | [inline] |
Definition at line 532 of file ManualEvalHeuristicsPlugin.cpp.
Definition at line 529 of file ManualEvalHeuristicsPlugin.cpp.
Referenced by sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >::operator()().