blob: c769de9bced0f10cd48dc2e0ff8b9b80f9fdc0a0 [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_interval_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 "../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_partial_interval_quantifier_cases.hpp"