dlvhex
2.5.0
|
Plugin for specifying evaluation units in HEX input. More...
Go to the source code of this file.
Data Structures | |
class | ManualEvalHeuristicsPlugin |
Allows for implementing evaluation heuristics by manually specifying the units. More... | |
class | ManualEvalHeuristicsPlugin::CtxData |
Plugin for specifying evaluation units in HEX input.
Definition in file ManualEvalHeuristicsPlugin.h.