123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197 |
- /*-----------------------------------------------------------------------------+
- Interval Container Library
- Author: Joachim Faulhaber
- 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)
- +-----------------------------------------------------------------------------*/
- /** Example user_groups.cpp \file user_groups.cpp
- \brief Shows the availability of set operations on interval maps.
- In the example there is a user group 'med_users' of a hosptial staff
- that has the authorisation to handle medical data of patients.
- User group 'admin_users' has access to administrative data like
- health insurance and invoice data.
- The membership for each user in one of the user groups has a time
- interval of validity. The group membership begins and ends.
- Using a union operation '+' we can have an overview over both
- user groups and the membership dates of employees.
- Computing an intersection '&' shows the super users. The persons
- that are members of both med_users and admin_users and the times
- of the joint memberships.
-
- \include user_groups_/user_groups.cpp
- */
- //[example_user_groups
- // The next line includes <boost/gregorian/date.hpp>
- // and a few lines of adapter code.
- #include <boost/icl/gregorian.hpp>
- #include <iostream>
- #include <boost/icl/interval_map.hpp>
- using namespace std;
- using namespace boost::gregorian;
- using namespace boost::icl;
- // Type icl::set<string> collects the names a user group's members. Therefore
- // it needs to implement operator += that performs a set union on overlap of
- // intervals.
- typedef std::set<string> MemberSetT;
- // boost::gregorian::date is the domain type the interval map.
- // It's key values are therefore time intervals: discrete_interval<date>. The content
- // is the set of names: MemberSetT.
- typedef interval_map<date, MemberSetT> MembershipT;
- // Collect user groups for medical and administrative staff and perform
- // union and intersection operations on the collected membership schedules.
- void user_groups()
- {
- MemberSetT mary_harry;
- mary_harry.insert("Mary");
- mary_harry.insert("Harry");
- MemberSetT diana_susan;
- diana_susan.insert("Diana");
- diana_susan.insert("Susan");
- MemberSetT chief_physician;
- chief_physician.insert("Dr.Jekyll");
- MemberSetT director_of_admin;
- director_of_admin.insert("Mr.Hyde");
- //----- Collecting members of user group: med_users -------------------
- MembershipT med_users;
- med_users.add( // add and element
- make_pair(
- discrete_interval<date>::closed(
- from_string("2008-01-01"), from_string("2008-12-31")), mary_harry));
- med_users += // element addition can also be done via operator +=
- make_pair(
- discrete_interval<date>::closed(
- from_string("2008-01-15"), from_string("2008-12-31")),
- chief_physician);
- med_users +=
- make_pair(
- discrete_interval<date>::closed(
- from_string("2008-02-01"), from_string("2008-10-15")),
- director_of_admin);
- //----- Collecting members of user group: admin_users ------------------
- MembershipT admin_users;
- admin_users += // element addition can also be done via operator +=
- make_pair(
- discrete_interval<date>::closed(
- from_string("2008-03-20"), from_string("2008-09-30")), diana_susan);
- admin_users +=
- make_pair(
- discrete_interval<date>::closed(
- from_string("2008-01-15"), from_string("2008-12-31")),
- chief_physician);
- admin_users +=
- make_pair(
- discrete_interval<date>::closed(
- from_string("2008-02-01"), from_string("2008-10-15")),
- director_of_admin);
- MembershipT all_users = med_users + admin_users;
- MembershipT super_users = med_users & admin_users;
- MembershipT::iterator med_ = med_users.begin();
- cout << "----- Membership of medical staff -----------------------------------\n";
- while(med_ != med_users.end())
- {
- discrete_interval<date> when = (*med_).first;
- // Who is member of group med_users within the time interval 'when' ?
- MemberSetT who = (*med_++).second;
- cout << "[" << first(when) << " - " << last(when) << "]"
- << ": " << who << endl;
- }
- MembershipT::iterator admin_ = admin_users.begin();
- cout << "----- Membership of admin staff -------------------------------------\n";
- while(admin_ != admin_users.end())
- {
- discrete_interval<date> when = (*admin_).first;
- // Who is member of group admin_users within the time interval 'when' ?
- MemberSetT who = (*admin_++).second;
- cout << "[" << first(when) << " - " << last(when) << "]"
- << ": " << who << endl;
- }
- MembershipT::iterator all_ = all_users.begin();
- cout << "----- Membership of all users (med + admin) -------------------------\n";
- while(all_ != all_users.end())
- {
- discrete_interval<date> when = (*all_).first;
- // Who is member of group med_users OR admin_users ?
- MemberSetT who = (*all_++).second;
- cout << "[" << first(when) << " - " << last(when) << "]"
- << ": " << who << endl;
- }
- MembershipT::iterator super_ = super_users.begin();
- cout << "----- Membership of super users: intersection(med,admin) ------------\n";
- while(super_ != super_users.end())
- {
- discrete_interval<date> when = (*super_).first;
- // Who is member of group med_users AND admin_users ?
- MemberSetT who = (*super_++).second;
- cout << "[" << first(when) << " - " << last(when) << "]"
- << ": " << who << endl;
- }
- }
- int main()
- {
- cout << ">>Interval Container Library: Sample user_groups.cpp <<\n";
- cout << "-------------------------------------------------------\n";
- user_groups();
- return 0;
- }
- // Program output:
- /*-----------------------------------------------------------------------------
- >>Interval Container Library: Sample user_groups.cpp <<
- -------------------------------------------------------
- ----- Membership of medical staff -----------------------------------
- [2008-Jan-01 - 2008-Jan-14]: Harry Mary
- [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll Harry Mary
- [2008-Feb-01 - 2008-Oct-15]: Dr.Jekyll Harry Mary Mr.Hyde
- [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll Harry Mary
- ----- Membership of admin staff -------------------------------------
- [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll
- [2008-Feb-01 - 2008-Mar-19]: Dr.Jekyll Mr.Hyde
- [2008-Mar-20 - 2008-Sep-30]: Diana Dr.Jekyll Mr.Hyde Susan
- [2008-Oct-01 - 2008-Oct-15]: Dr.Jekyll Mr.Hyde
- [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll
- ----- Membership of all users (med + admin) -------------------------
- [2008-Jan-01 - 2008-Jan-14]: Harry Mary
- [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll Harry Mary
- [2008-Feb-01 - 2008-Mar-19]: Dr.Jekyll Harry Mary Mr.Hyde
- [2008-Mar-20 - 2008-Sep-30]: Diana Dr.Jekyll Harry Mary Mr.Hyde Susan
- [2008-Oct-01 - 2008-Oct-15]: Dr.Jekyll Harry Mary Mr.Hyde
- [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll Harry Mary
- ----- Membership of super users: intersection(med,admin) ------------
- [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll
- [2008-Feb-01 - 2008-Oct-15]: Dr.Jekyll Mr.Hyde
- [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll
- -----------------------------------------------------------------------------*/
- //]
|