Test ASPSolver manager and concrete implementation classes. More...
#include "dlvhex2/ASPSolver.h"#include "dlvhex2/ASPSolverManager.h"#include "dlvhex2/ProgramCtx.h"#include "dlvhex2/Registry.h"#include "dlvhex2/Printer.h"#include "dlvhex2/HexParser.h"#include "dlvhex2/InputProvider.h"#include "dlvhex2/AnswerSet.h"#include <boost/test/unit_test.hpp>#include <iostream>
Include dependency graph for TestASPSolver.cpp:
Go to the source code of this file.
Defines | |
| #define | BOOST_TEST_MODULE "TestASPSolver" |
| #define | LOG_REGISTRY_PROGRAM(ctx) |
Functions | |
| template<typename SolverSoftwareConfiguration > | |
| DLVHEX_NAMESPACE_USE void | testSimple () |
Detailed Description
Test ASPSolver manager and concrete implementation classes.
Definition in file TestASPSolver.cpp.
Define Documentation
| #define BOOST_TEST_MODULE "TestASPSolver" |
Definition at line 44 of file TestASPSolver.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 49 of file TestASPSolver.cpp.
Referenced by testSimple().
Function Documentation
template<typename SolverSoftwareConfiguration >
| DLVHEX_NAMESPACE_USE void testSimple | ( | ) |
Definition at line 63 of file TestASPSolver.cpp.
References ProgramCtx::edb, ProgramCtx::idb, LOG, LOG_REGISTRY_PROGRAM, ModuleHexParser::parse(), ProgramCtx::registry(), and ProgramCtx::setupRegistry().
