testsuite/TestEvalHeuristic.cpp File Reference

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.

Author:

Peter Schueller <[email protected]>

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().