dlvhex
2.5.0
|
Implementation of a trivial evaluation heuristic which puts everything into one unit. More...
Go to the source code of this file.
Implementation of a trivial evaluation heuristic which puts everything into one unit.
Definition in file EvalHeuristicMonolithic.cpp.