Test evaluation starting from HEX program to final models. More...

#include "dlvhex2/EvalGraphBuilder.h"
#include "dlvhex2/EvalHeuristicOldDlvhex.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/ModelGenerator.h"
#include "dlvhex2/OnlineModelBuilder.h"
#include "dlvhex2/ASPSolver.h"
#include "dlvhex2/ASPSolverManager.h"
#include <boost/test/unit_test.hpp>
#include "fixturesExt1.h"
#include "graphviz.h"
#include <iostream>
#include <fstream>
#include <cstdlib>

Include dependency graph for TestEvalEndToEnd.cpp:

Go to the source code of this file.

Defines
#define	BOOST_TEST_MODULE __FILE__
#define	LOG_REGISTRY_PROGRAM(ctx)
Typedefs
typedef OnlineModelBuilder < FinalEvalGraph >	FinalOnlineModelBuilder
typedef FinalOnlineModelBuilder::Model	Model
typedef FinalOnlineModelBuilder::OptionalModel	OptionalModel
Functions
	BOOST_FIXTURE_TEST_CASE (testEvalHeuristicExt1, ProgramExt1ProgramCtxDependencyGraphComponentGraphFixture)
Variables
DLVHEX_NAMESPACE_USE typedef FinalEvalGraph::EvalUnit	EvalUnit

Detailed Description

Test evaluation starting from HEX program to final models.

Author:: Peter Schueller <ps@kr.tuwien.ac.at>

Functional external atoms are provided in fixture.

Definition in file TestEvalEndToEnd.cpp.

Define Documentation

#define BOOST_TEST_MODULE __FILE__

Definition at line 51 of file TestEvalEndToEnd.cpp.

#define LOG_REGISTRY_PROGRAM ( ctx )

Value:

LOG(INFO,*ctx.registry()); \
    RawPrinter printer(std::cerr, ctx.registry()); \
    std::cerr << "edb = " << *ctx.edb << std::endl; \
    LOG(INFO,"idb"); \
    printer.printmany(ctx.idb,"\n"); \
    std::cerr << std::endl; \
    LOG(INFO,"idb end");

Definition at line 61 of file TestEvalEndToEnd.cpp.

Referenced by BOOST_FIXTURE_TEST_CASE().