Test evaluation heuristics. More...
#include "dlvhex2/EvalGraphBuilder.h"#include "dlvhex2/EvalHeuristicOldDlvhex.h"#include "dlvhex2/HexParser.h"#include "dlvhex2/ProgramCtx.h"#include "dlvhex2/Printer.h"#include "dlvhex2/Registry.h"#include "dlvhex2/PluginInterface.h"#include "dlvhex2/DependencyGraph.h"#include "dlvhex2/ComponentGraph.h"#include "dlvhex2/ASPSolverManager.h"#include <boost/test/unit_test.hpp>#include "fixturesExt1.h"#include "fixturesMCS.h"#include "graphviz.h"#include <iostream>#include <fstream>#include <cstdlib>
Include dependency graph for TestEvalHeuristic.cpp:
Go to the source code of this file.
Defines | |
| #define | BOOST_TEST_MODULE __FILE__ |
| #define | LOG_REGISTRY_PROGRAM(ctx) |
Functions | |
| DLVHEX_NAMESPACE_USE | BOOST_FIXTURE_TEST_CASE (testEvalHeuristicExt1, ProgramExt1ProgramCtxDependencyGraphComponentGraphFixture) |
| BOOST_FIXTURE_TEST_CASE (testEvalHeuristicMCSMedEQ, ProgramMCSMedEQProgramCtxDependencyGraphComponentGraphFixture) | |
| BOOST_FIXTURE_TEST_CASE (testEvalHeuristicMCSMedD, ProgramMCSMedDProgramCtxDependencyGraphComponentGraphFixture) | |
Detailed Description
Test evaluation heuristics.
Definition in file TestEvalHeuristic.cpp.
Define Documentation
| #define BOOST_TEST_MODULE __FILE__ |
Definition at line 47 of file TestEvalHeuristic.cpp.
| #define LOG_REGISTRY_PROGRAM | ( | ctx | ) |
Value:
ctx.registry()->logContents(); \
RawPrinter printer(std::cerr, ctx.registry()); \
LOG(INFO,"edb"); \
printer.printmany(ctx.edb,"\n"); \
std::cerr << std::endl; \
LOG(INFO,"edb end"); \
LOG(INFO,"idb"); \
printer.printmany(ctx.idb,"\n"); \
std::cerr << std::endl; \
LOG(INFO,"idb end");
Definition at line 58 of file TestEvalHeuristic.cpp.
Function Documentation
| DLVHEX_NAMESPACE_USE BOOST_FIXTURE_TEST_CASE | ( | testEvalHeuristicExt1 | , |
| ProgramExt1ProgramCtxDependencyGraphComponentGraphFixture | |||
| ) |
Definition at line 74 of file TestEvalHeuristic.cpp.
References EvalHeuristicOldDlvhex::build(), LOG, and makeGraphVizPdf().
| BOOST_FIXTURE_TEST_CASE | ( | testEvalHeuristicMCSMedEQ | , |
| ProgramMCSMedEQProgramCtxDependencyGraphComponentGraphFixture | |||
| ) |
Definition at line 136 of file TestEvalHeuristic.cpp.
References EvalHeuristicOldDlvhex::build(), LOG, and makeGraphVizPdf().
| BOOST_FIXTURE_TEST_CASE | ( | testEvalHeuristicMCSMedD | , |
| ProgramMCSMedDProgramCtxDependencyGraphComponentGraphFixture | |||
| ) |
Definition at line 198 of file TestEvalHeuristic.cpp.
References EvalHeuristicOldDlvhex::build(), LOG, and makeGraphVizPdf().
