dlvhex  2.5.0
testsuite/TestEvalGraph.cpp File Reference

Unit tests for EvalGraph template. More...

#include "dlvhex2/EvalGraph.h"
#include "dlvhex2/CAUAlgorithms.h"
#include "dlvhex2/Logger.h"
#include <boost/test/unit_test.hpp>
#include "fixtureE2.h"
#include "fixtureEx1.h"
#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 <iostream>
#include <set>
#include <list>
#include <string>
#include <vector>
#include <cassert>
Include dependency graph for TestEvalGraph.cpp:

Go to the source code of this file.

Defines

#define BOOST_TEST_MODULE   __FILE__

Functions

 BOOST_FIXTURE_TEST_CASE (setup_eval_graph_e2, EvalGraphE2Fixture)
 BOOST_FIXTURE_TEST_CASE (setup_eval_graph_e2mirrored, EvalGraphE2MirroredFixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_e2_findCAUs_markJoinRelevance_u1, EvalGraphE2Fixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_e2_findCAUs_markJoinRelevance_u2, EvalGraphE2Fixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_e2_findCAUs_markJoinRelevance_u3, EvalGraphE2Fixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_e2_findCAUs_markJoinRelevance_u4, EvalGraphE2Fixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_ex1_findCAUs_markJoinRelevance_u4, EvalGraphEx1Fixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_ex1_findCAUs_markJoinRelevance_u7, EvalGraphEx1Fixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_ex1_findCAUs_markJoinRelevance_u9, EvalGraphEx1Fixture)
 BOOST_FIXTURE_TEST_CASE (eval_graph_ex1_findCAUs_markJoinRelevance_u11, EvalGraphEx1Fixture)

Detailed Description

Unit tests for EvalGraph template.

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

Definition in file TestEvalGraph.cpp.


Define Documentation

#define BOOST_TEST_MODULE   __FILE__

Definition at line 40 of file TestEvalGraph.cpp.


Function Documentation

BOOST_FIXTURE_TEST_CASE ( setup_eval_graph_e2  ,
EvalGraphE2Fixture   
)

Definition at line 64 of file TestEvalGraph.cpp.

BOOST_FIXTURE_TEST_CASE ( setup_eval_graph_e2mirrored  ,
EvalGraphE2MirroredFixture   
)

Definition at line 70 of file TestEvalGraph.cpp.

BOOST_FIXTURE_TEST_CASE ( eval_graph_e2_findCAUs_markJoinRelevance_u1  ,
EvalGraphE2Fixture   
)
BOOST_FIXTURE_TEST_CASE ( eval_graph_e2_findCAUs_markJoinRelevance_u2  ,
EvalGraphE2Fixture   
)
BOOST_FIXTURE_TEST_CASE ( eval_graph_e2_findCAUs_markJoinRelevance_u3  ,
EvalGraphE2Fixture   
)
BOOST_FIXTURE_TEST_CASE ( eval_graph_e2_findCAUs_markJoinRelevance_u4  ,
EvalGraphE2Fixture   
)
BOOST_FIXTURE_TEST_CASE ( eval_graph_ex1_findCAUs_markJoinRelevance_u4  ,
EvalGraphEx1Fixture   
)
BOOST_FIXTURE_TEST_CASE ( eval_graph_ex1_findCAUs_markJoinRelevance_u7  ,
EvalGraphEx1Fixture   
)
BOOST_FIXTURE_TEST_CASE ( eval_graph_ex1_findCAUs_markJoinRelevance_u9  ,
EvalGraphEx1Fixture   
)
BOOST_FIXTURE_TEST_CASE ( eval_graph_ex1_findCAUs_markJoinRelevance_u11  ,
EvalGraphEx1Fixture   
)