Unit tests for OfflineModelBuilder 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/OfflineModelBuilder.h"#include "fixtureOfflineMB.h"
Go to the source code of this file.
Defines | |
| #define | BOOST_TEST_MODULE __FILE__ |
Functions | |
| template<typename ModelGraphT > | |
| void | verifyModels (const ModelGraphT &mg, const typename ModelGraphT::ModelList &models, const std::set< std::set< std::string > > &refints) |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e1_u1_input, OfflineModelBuilderE1Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e1_u1_output, OfflineModelBuilderE1Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e1_u2_input, OfflineModelBuilderE1Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e1_u2_output, OfflineModelBuilderE1Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e1_u3_input, OfflineModelBuilderE1Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e1_u3_output, OfflineModelBuilderE1Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u1_output, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u2_input, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u2u3_input, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u2_output, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u2u3_output, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u4_input, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u4_output, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u4_input_recursively, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_e2_u4_output_recursively, OfflineModelBuilderE2Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_ex1_u11_output_recursively, OfflineModelBuilderEx1Fixture) | |
| BOOST_FIXTURE_TEST_CASE (offline_model_building_ex1_ufinal_input_recursively, OfflineModelBuilderEx1Fixture) | |
Detailed Description
Unit tests for OfflineModelBuilder template.
Definition in file TestOfflineModelBuilder.cpp.
Define Documentation
| #define BOOST_TEST_MODULE __FILE__ |
Definition at line 49 of file TestOfflineModelBuilder.cpp.
Function Documentation
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e1_u1_input | , |
| OfflineModelBuilderE1Fixture | |||
| ) |
Definition at line 89 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), and MT_IN.
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e1_u1_output | , |
| OfflineModelBuilderE1Fixture | |||
| ) |
Definition at line 104 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e1_u2_input | , |
| OfflineModelBuilderE1Fixture | |||
| ) |
Definition at line 138 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_IN, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e1_u2_output | , |
| OfflineModelBuilderE1Fixture | |||
| ) |
Definition at line 175 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e1_u3_input | , |
| OfflineModelBuilderE1Fixture | |||
| ) |
Definition at line 215 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_IN, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e1_u3_output | , |
| OfflineModelBuilderE1Fixture | |||
| ) |
Definition at line 258 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u1_output | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 293 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u2_input | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 319 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_IN, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u2u3_input | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 348 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_IN, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u2_output | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 380 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u2u3_output | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 410 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u4_input | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 452 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_IN, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u4_output | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 496 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u4_input_recursively | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 538 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_IN, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_e2_u4_output_recursively | , |
| OfflineModelBuilderE2Fixture | |||
| ) |
Definition at line 563 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_OUT, and verifyModels().
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_ex1_u11_output_recursively | , |
| OfflineModelBuilderEx1Fixture | |||
| ) |
Definition at line 584 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), and MT_OUT.
| BOOST_FIXTURE_TEST_CASE | ( | offline_model_building_ex1_ufinal_input_recursively | , |
| OfflineModelBuilderEx1Fixture | |||
| ) |
Definition at line 597 of file TestOfflineModelBuilder.cpp.
References ModelGraph< EvalGraphT, ModelPropertyBaseT, ModelDepPropertyBaseT >::modelsAt(), MT_IN, and verifyModels().
| void verifyModels | ( | const ModelGraphT & | mg, |
| const typename ModelGraphT::ModelList & | models, | ||
| const std::set< std::set< std::string > > & | refints | ||
| ) |
Definition at line 66 of file TestOfflineModelBuilder.cpp.
References TestInterpretation::getAtoms(), LOG, and printset().
Referenced by BOOST_FIXTURE_TEST_CASE().
