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.
Data Structures | |
class | EvalHeuristicMonolithic |
Creates a single evaluation unit for the whole program. More... |
Implementation of a trivial evaluation heuristic which puts everything into one unit.
Definition in file EvalHeuristicMonolithic.h.