user_groups.cpp 7.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197
  1. /*-----------------------------------------------------------------------------+
  2. Interval Container Library
  3. Author: Joachim Faulhaber
  4. Copyright (c) 2007-2009: Joachim Faulhaber
  5. Copyright (c) 1999-2006: Cortex Software GmbH, Kantstrasse 57, Berlin
  6. +------------------------------------------------------------------------------+
  7. Distributed under the Boost Software License, Version 1.0.
  8. (See accompanying file LICENCE.txt or copy at
  9. http://www.boost.org/LICENSE_1_0.txt)
  10. +-----------------------------------------------------------------------------*/
  11. /** Example user_groups.cpp \file user_groups.cpp
  12. \brief Shows the availability of set operations on interval maps.
  13. In the example there is a user group 'med_users' of a hosptial staff
  14. that has the authorisation to handle medical data of patients.
  15. User group 'admin_users' has access to administrative data like
  16. health insurance and invoice data.
  17. The membership for each user in one of the user groups has a time
  18. interval of validity. The group membership begins and ends.
  19. Using a union operation '+' we can have an overview over both
  20. user groups and the membership dates of employees.
  21. Computing an intersection '&' shows the super users. The persons
  22. that are members of both med_users and admin_users and the times
  23. of the joint memberships.
  24. \include user_groups_/user_groups.cpp
  25. */
  26. //[example_user_groups
  27. // The next line includes <boost/gregorian/date.hpp>
  28. // and a few lines of adapter code.
  29. #include <boost/icl/gregorian.hpp>
  30. #include <iostream>
  31. #include <boost/icl/interval_map.hpp>
  32. using namespace std;
  33. using namespace boost::gregorian;
  34. using namespace boost::icl;
  35. // Type icl::set<string> collects the names a user group's members. Therefore
  36. // it needs to implement operator += that performs a set union on overlap of
  37. // intervals.
  38. typedef std::set<string> MemberSetT;
  39. // boost::gregorian::date is the domain type the interval map.
  40. // It's key values are therefore time intervals: discrete_interval<date>. The content
  41. // is the set of names: MemberSetT.
  42. typedef interval_map<date, MemberSetT> MembershipT;
  43. // Collect user groups for medical and administrative staff and perform
  44. // union and intersection operations on the collected membership schedules.
  45. void user_groups()
  46. {
  47. MemberSetT mary_harry;
  48. mary_harry.insert("Mary");
  49. mary_harry.insert("Harry");
  50. MemberSetT diana_susan;
  51. diana_susan.insert("Diana");
  52. diana_susan.insert("Susan");
  53. MemberSetT chief_physician;
  54. chief_physician.insert("Dr.Jekyll");
  55. MemberSetT director_of_admin;
  56. director_of_admin.insert("Mr.Hyde");
  57. //----- Collecting members of user group: med_users -------------------
  58. MembershipT med_users;
  59. med_users.add( // add and element
  60. make_pair(
  61. discrete_interval<date>::closed(
  62. from_string("2008-01-01"), from_string("2008-12-31")), mary_harry));
  63. med_users += // element addition can also be done via operator +=
  64. make_pair(
  65. discrete_interval<date>::closed(
  66. from_string("2008-01-15"), from_string("2008-12-31")),
  67. chief_physician);
  68. med_users +=
  69. make_pair(
  70. discrete_interval<date>::closed(
  71. from_string("2008-02-01"), from_string("2008-10-15")),
  72. director_of_admin);
  73. //----- Collecting members of user group: admin_users ------------------
  74. MembershipT admin_users;
  75. admin_users += // element addition can also be done via operator +=
  76. make_pair(
  77. discrete_interval<date>::closed(
  78. from_string("2008-03-20"), from_string("2008-09-30")), diana_susan);
  79. admin_users +=
  80. make_pair(
  81. discrete_interval<date>::closed(
  82. from_string("2008-01-15"), from_string("2008-12-31")),
  83. chief_physician);
  84. admin_users +=
  85. make_pair(
  86. discrete_interval<date>::closed(
  87. from_string("2008-02-01"), from_string("2008-10-15")),
  88. director_of_admin);
  89. MembershipT all_users = med_users + admin_users;
  90. MembershipT super_users = med_users & admin_users;
  91. MembershipT::iterator med_ = med_users.begin();
  92. cout << "----- Membership of medical staff -----------------------------------\n";
  93. while(med_ != med_users.end())
  94. {
  95. discrete_interval<date> when = (*med_).first;
  96. // Who is member of group med_users within the time interval 'when' ?
  97. MemberSetT who = (*med_++).second;
  98. cout << "[" << first(when) << " - " << last(when) << "]"
  99. << ": " << who << endl;
  100. }
  101. MembershipT::iterator admin_ = admin_users.begin();
  102. cout << "----- Membership of admin staff -------------------------------------\n";
  103. while(admin_ != admin_users.end())
  104. {
  105. discrete_interval<date> when = (*admin_).first;
  106. // Who is member of group admin_users within the time interval 'when' ?
  107. MemberSetT who = (*admin_++).second;
  108. cout << "[" << first(when) << " - " << last(when) << "]"
  109. << ": " << who << endl;
  110. }
  111. MembershipT::iterator all_ = all_users.begin();
  112. cout << "----- Membership of all users (med + admin) -------------------------\n";
  113. while(all_ != all_users.end())
  114. {
  115. discrete_interval<date> when = (*all_).first;
  116. // Who is member of group med_users OR admin_users ?
  117. MemberSetT who = (*all_++).second;
  118. cout << "[" << first(when) << " - " << last(when) << "]"
  119. << ": " << who << endl;
  120. }
  121. MembershipT::iterator super_ = super_users.begin();
  122. cout << "----- Membership of super users: intersection(med,admin) ------------\n";
  123. while(super_ != super_users.end())
  124. {
  125. discrete_interval<date> when = (*super_).first;
  126. // Who is member of group med_users AND admin_users ?
  127. MemberSetT who = (*super_++).second;
  128. cout << "[" << first(when) << " - " << last(when) << "]"
  129. << ": " << who << endl;
  130. }
  131. }
  132. int main()
  133. {
  134. cout << ">>Interval Container Library: Sample user_groups.cpp <<\n";
  135. cout << "-------------------------------------------------------\n";
  136. user_groups();
  137. return 0;
  138. }
  139. // Program output:
  140. /*-----------------------------------------------------------------------------
  141. >>Interval Container Library: Sample user_groups.cpp <<
  142. -------------------------------------------------------
  143. ----- Membership of medical staff -----------------------------------
  144. [2008-Jan-01 - 2008-Jan-14]: Harry Mary
  145. [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll Harry Mary
  146. [2008-Feb-01 - 2008-Oct-15]: Dr.Jekyll Harry Mary Mr.Hyde
  147. [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll Harry Mary
  148. ----- Membership of admin staff -------------------------------------
  149. [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll
  150. [2008-Feb-01 - 2008-Mar-19]: Dr.Jekyll Mr.Hyde
  151. [2008-Mar-20 - 2008-Sep-30]: Diana Dr.Jekyll Mr.Hyde Susan
  152. [2008-Oct-01 - 2008-Oct-15]: Dr.Jekyll Mr.Hyde
  153. [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll
  154. ----- Membership of all users (med + admin) -------------------------
  155. [2008-Jan-01 - 2008-Jan-14]: Harry Mary
  156. [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll Harry Mary
  157. [2008-Feb-01 - 2008-Mar-19]: Dr.Jekyll Harry Mary Mr.Hyde
  158. [2008-Mar-20 - 2008-Sep-30]: Diana Dr.Jekyll Harry Mary Mr.Hyde Susan
  159. [2008-Oct-01 - 2008-Oct-15]: Dr.Jekyll Harry Mary Mr.Hyde
  160. [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll Harry Mary
  161. ----- Membership of super users: intersection(med,admin) ------------
  162. [2008-Jan-15 - 2008-Jan-31]: Dr.Jekyll
  163. [2008-Feb-01 - 2008-Oct-15]: Dr.Jekyll Mr.Hyde
  164. [2008-Oct-16 - 2008-Dec-31]: Dr.Jekyll
  165. -----------------------------------------------------------------------------*/
  166. //]