123456789101112131415161718192021222324252627282930313233343536 |
- /*-----------------------------------------------------------------------------+
- Copyright (c) 2008-2009: Joachim Faulhaber
- +------------------------------------------------------------------------------+
- Distributed under the Boost Software License, Version 1.0.
- (See accompanying file LICENCE.txt or copy at
- http://www.boost.org/LICENSE_1_0.txt)
- +-----------------------------------------------------------------------------*/
- #define BOOST_TEST_MODULE icl::total_icl_quantifier unit test
- #include <libs/icl/test/disable_test_warnings.hpp>
- #include <string>
- #include <boost/mpl/list.hpp>
- #include "../unit_test_unwarned.hpp"
- // interval instance types
- #include "../test_type_lists.hpp"
- #include "../test_value_maker.hpp"
- #include <boost/icl/interval_map.hpp>
- #include <boost/icl/split_interval_map.hpp>
- #include "../test_laws.hpp"
- using namespace std;
- using namespace boost;
- using namespace unit_test;
- using namespace boost::icl;
- // -----------------------------------------------------------------------------
- // test_interval_set_shared are tests that should give identical results for all
- // interval_sets: interval_set, separate_interval_set and split_interval_set.
- #include "../test_interval_quantifier_shared.hpp"
- #define INTERVAL_MAP interval_map
- #include "../test_total_interval_quantifier_cases.hpp"
|