testsuite/TestOnlineModelBuilder.cpp File Reference

Unit tests for OnlineModelBuilder template. More...

#include <iostream>
#include <set>
#include <list>
#include <string>
#include <vector>
#include <cassert>
#include <boost/foreach.hpp>
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/property_map/vector_property_map.hpp>
#include <boost/concept/assert.hpp>
#include <boost/concept_check.hpp>
#include <boost/test/unit_test.hpp>
#include "dlvhex2/Logger.h"
#include "dlvhex2/EvalGraph.h"
#include "dlvhex2/ModelGraph.h"
#include "dlvhex2/ModelGenerator.h"
#include "dlvhex2/OnlineModelBuilder.h"
#include "fixtureOnlineMB.h"

Include dependency graph for TestOnlineModelBuilder.cpp:

Go to the source code of this file.

Defines
#define	BOOST_TEST_MODULE   __FILE__
#define	DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN
#define	DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END
Functions
	BOOST_FIXTURE_TEST_CASE (online_model_building_e1_ufinal_input, OnlineModelBuilderE1Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2_u2_input, OnlineModelBuilderE2Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2_u3_input, OnlineModelBuilderE2Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2_u2_output, OnlineModelBuilderE2Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2_u3_output, OnlineModelBuilderE2Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2_u4_input, OnlineModelBuilderE2Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2mirrored_u4_input, OnlineModelBuilderE2MirroredFixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2_u4_output, OnlineModelBuilderE2Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2_ufinal_input, OnlineModelBuilderE2Fixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_e2mirrored_ufinal_input, OnlineModelBuilderE2MirroredFixture)
	BOOST_FIXTURE_TEST_CASE (online_model_building_ex1_ufinal_input, OnlineModelBuilderEx1Fixture)

---

Detailed Description

Unit tests for OnlineModelBuilder template.

Author:

Peter Schueller <[email protected]>

Definition in file TestOnlineModelBuilder.cpp.

---

Define Documentation

#define BOOST_TEST_MODULE   __FILE__

Definition at line 49 of file TestOnlineModelBuilder.cpp.

#define DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN

Definition at line 63 of file TestOnlineModelBuilder.cpp.

Referenced by BOOST_FIXTURE_TEST_CASE().

#define DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END

Definition at line 64 of file TestOnlineModelBuilder.cpp.

Referenced by BOOST_FIXTURE_TEST_CASE().

---

Function Documentation

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e1_ufinal_input	,
		OnlineModelBuilderE1Fixture
	)

Definition at line 92 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2_u2_input	,
		OnlineModelBuilderE2Fixture
	)

Definition at line 115 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2_u3_input	,
		OnlineModelBuilderE2Fixture
	)

Definition at line 144 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2_u2_output	,
		OnlineModelBuilderE2Fixture
	)

Definition at line 173 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2_u3_output	,
		OnlineModelBuilderE2Fixture
	)

Definition at line 193 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2_u4_input	,
		OnlineModelBuilderE2Fixture
	)

Definition at line 240 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2mirrored_u4_input	,
		OnlineModelBuilderE2MirroredFixture
	)

Definition at line 275 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2_u4_output	,
		OnlineModelBuilderE2Fixture
	)

Definition at line 310 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2_ufinal_input	,
		OnlineModelBuilderE2Fixture
	)

Definition at line 333 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_e2mirrored_ufinal_input	,
		OnlineModelBuilderE2MirroredFixture
	)

Definition at line 359 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().

BOOST_FIXTURE_TEST_CASE	(	online_model_building_ex1_ufinal_input	,
		OnlineModelBuilderEx1Fixture
	)

Definition at line 385 of file TestOnlineModelBuilder.cpp.

References DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_BEGIN, DO_MODEL_GENERATION_TWICE_CHECK_GENERATORCOUNT_END, and TestInterpretation::getAtoms().