dlvhex
2.5.0
|
Evaluation heuristic that uses collapse commands from given file. More...
Go to the source code of this file.
Data Structures | |
class | EvalHeuristicFromFile |
Creates an evaluation graph based on a specification in a file. More... |
Evaluation heuristic that uses collapse commands from given file.
Definition in file EvalHeuristicFromFile.h.