123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132 |
- /*-----------------------------------------------------------------------------+
- Copyright (c) 2007-2009: Joachim Faulhaber
- +------------------------------------------------------------------------------+
- Copyright (c) 1999-2006: Cortex Software GmbH, Kantstrasse 57, Berlin
- +------------------------------------------------------------------------------+
- 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)
- +-----------------------------------------------------------------------------*/
- /*-----------------------------------------------------------------------------+
- itvset_shell.cpp provides a simple test shells for interval sets.
- The shell also gives you a good idea how interval container are working.
- +-----------------------------------------------------------------------------*/
- #include <iostream>
- #include <boost/icl/split_interval_set.hpp>
- #include <boost/icl/split_interval_map.hpp>
- using namespace std;
- using namespace boost;
- using namespace boost::icl;
- void instructions()
- {
- cout << "+++++ Test shell for interval set +++++\n";
- cout << "Type: q e or 0 to quit\n";
- cout << "Type: + for insertions\n";
- cout << "Type: - for subtraction\n";
- cout << "Type: j to join contiguous intervals\n";
- cout << "Type: s to compute total size\n";
- }
- void wrongInput()
- {
- cout << "Wrong Input ------------------\n";
- instructions();
- }
- template <class SetTV>
- void setTestShell()
- {
- SetTV m1;
- try {
- char cmd = 'b';
- typename SetTV::domain_type lwb = typename SetTV::domain_type();
- typename SetTV::domain_type upb = typename SetTV::domain_type();
- instructions();
- for(;;)
- {
- cout << "> ";
- cin >> cmd ;
- switch(cmd)
- {
- case 'q':
- case 'e':
- case '0': cout << "good bye\n"; return;
- case '+':
- {
- cout << "input: lwb upb >> ";
- cin >> lwb >> upb;
- typename SetTV::interval_type itv
- = typename SetTV::interval_type(lwb,upb);
- // SetTV::IntervalTD itv = rightOpenInterval(lwb,upb);
- m1.insert(itv);
- cout << "+" << itv << " =" << endl;
- cout << "{" << m1 << "}" << endl;
- }
- break;
- case '-':
- {
- cout << "input: lwb upb >> ";
- cin >> lwb >> upb;
- typename SetTV::interval_type itv
- = typename SetTV::interval_type(lwb,upb);
- // m1.subtract(itv);
- SetTV tmp;
- tmp.insert(itv);
- m1 -= tmp;
- cout << "-" << itv << " =" << endl;
- cout << "{" << m1 << "}" << endl;
- }
- break;
- case 'j':
- {
- icl::join(m1);
- cout << "{" << m1 << "}" << endl;
- }
- break;
- case 's':
- {
- cout << "size = " << m1.size() << endl;
- }
- break;
- default: wrongInput();
- }
- }
- }
- catch (exception& e)
- {
- cout << "itvset_shell: exception caught: " << endl
- << e.what() << endl;
- }
- catch (...)
- {
- cout << "itvset_shell: unknown exception caught" << endl;
- }
- }
- int main()
- {
- cout << ">>Interval Container Library: Test itvset_shell.cpp <<\n";
- cout << "------------------------------------------------------\n";
- setTestShell< interval_set<int> >();
- return 0;
- }
|