testsuite/TestModelGraph.cpp File Reference

Unit tests for ModelGraph 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 "fixtureE2M2.h"

Include dependency graph for TestModelGraph.cpp:

Go to the source code of this file.

Defines
#define	BOOST_TEST_MODULE   __FILE__
Functions
	BOOST_FIXTURE_TEST_CASE (setup_model_graph_m2, ModelGraphE2M2Fixture)

---

Detailed Description

Unit tests for ModelGraph template.

Author:

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

Definition in file TestModelGraph.cpp.

---

Define Documentation

#define BOOST_TEST_MODULE   __FILE__

Definition at line 49 of file TestModelGraph.cpp.

---

Function Documentation

BOOST_FIXTURE_TEST_CASE	(	setup_model_graph_m2	,
		ModelGraphE2M2Fixture
	)

Definition at line 65 of file TestModelGraph.cpp.

References MT_IN, and MT_OUT.