dlvhex
2.5.0
|
Public Member Functions | |
void | operator() (ManualEvalHeuristicsParserModuleSemantics &mgr, const uint32_t &unit, ID &) |
Definition at line 551 of file ManualEvalHeuristicsPlugin.cpp.
void sem< ManualEvalHeuristicsParserModuleSemantics::evalUnit >::operator() | ( | ManualEvalHeuristicsParserModuleSemantics & | mgr, |
const uint32_t & | unit, | ||
ID & | |||
) | [inline] |