blob: 75ed20bdcd38151e619fd189de6d7f3770216ed0 [file] [log] [blame]
/*-----------------------------------------------------------------------------+
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::partial_icl_quantifier unit test
#include <libs/icl/test/disable_test_warnings.hpp>
#include <string>
#include <boost/mpl/list.hpp>
#include "../unit_test_unwarned.hpp"
#include <boost/test/test_case_template.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 <boost/icl/detail/interval_morphism.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_icl_quantifier_shared.hpp"
#define INTERVAL_MAP interval_map
#include "../fastest_partial_icl_quantifier_cases.hpp"