src/work/johanna/unionfind_test.cc
author marci
Thu, 29 Apr 2004 16:59:00 +0000
changeset 482 dce64ce044d6
parent 462 0ab31578af67
permissions -rw-r--r--
corrections for leda matching files
beckerjc@394
     1
#include <iostream>
beckerjc@394
     2
beckerjc@394
     3
#include <maps.h>
beckerjc@394
     4
#include <unionfind.h>
beckerjc@394
     5
beckerjc@394
     6
using namespace hugo;
beckerjc@394
     7
using namespace std;
beckerjc@394
     8
beckerjc@394
     9
bool passed = true;
beckerjc@394
    10
beckerjc@394
    11
void check(bool rc) {
beckerjc@394
    12
  passed = passed && rc;
beckerjc@394
    13
  if(!rc) {
beckerjc@394
    14
    cout << "Test failed!" << endl;
beckerjc@394
    15
  }
beckerjc@394
    16
}
beckerjc@394
    17
beckerjc@394
    18
template <typename T>
beckerjc@394
    19
class BaseMap : public StdMap<int,T> {};
beckerjc@394
    20
beckerjc@394
    21
typedef UnionFindEnum<int, BaseMap> UFE;
beckerjc@394
    22
beckerjc@394
    23
void print(UFE const &ufe) {
beckerjc@394
    24
  UFE::ClassIt cit;
beckerjc@394
    25
  cout << "printing the classes of the structure:" << endl;
beckerjc@394
    26
  int i = 1;
beckerjc@394
    27
  for (ufe.first(cit); ufe.valid(cit); ufe.next(cit)) {
beckerjc@394
    28
    cout << "  " << i << " (" << cit << "):" << flush;
beckerjc@394
    29
    UFE::ItemIt iit;
beckerjc@394
    30
    for (ufe.first(iit, cit); ufe.valid(iit); ufe.next(iit)) {
beckerjc@394
    31
      cout << " " << iit << flush;
beckerjc@394
    32
    }
beckerjc@394
    33
    cout << endl;
beckerjc@394
    34
    i++;
beckerjc@394
    35
  }
beckerjc@394
    36
  cout << "done" << endl;
beckerjc@394
    37
}
beckerjc@394
    38
beckerjc@394
    39
beckerjc@394
    40
int main() {
beckerjc@394
    41
  UFE::MapType base;
beckerjc@394
    42
  UFE U(base);
beckerjc@394
    43
beckerjc@394
    44
  print(U);
beckerjc@394
    45
beckerjc@394
    46
  cout << "Inserting 1..." << endl;
beckerjc@394
    47
  U.insert(1);
beckerjc@394
    48
  print(U);
beckerjc@394
    49
  
beckerjc@394
    50
  cout << "Inserting 2..." << endl;
beckerjc@394
    51
  U.insert(2);
beckerjc@394
    52
  print(U);
beckerjc@394
    53
  
beckerjc@394
    54
  cout << "Joining 1 and 2..." << endl;
beckerjc@394
    55
  check(U.join(1,2));
beckerjc@394
    56
  print(U);
beckerjc@394
    57
beckerjc@394
    58
  cout << "Inserting 3, 4, 5, 6, 7..." << endl;
beckerjc@394
    59
  U.insert(3);
beckerjc@394
    60
  U.insert(4);
beckerjc@394
    61
  U.insert(5);
beckerjc@394
    62
  U.insert(6);
beckerjc@394
    63
  U.insert(7);
beckerjc@394
    64
  print (U);
beckerjc@394
    65
beckerjc@394
    66
  cout << "Joining 1 - 4, 2 - 4 and 3 - 5 ..." << endl;
beckerjc@394
    67
  check(U.join(1,4));
beckerjc@394
    68
  check(!U.join(2,4));
beckerjc@394
    69
  check(U.join(3,5));
beckerjc@394
    70
  print(U);
beckerjc@394
    71
beckerjc@481
    72
  cout << "Inserting 8 to the component of 5 ..." << endl;
beckerjc@481
    73
  U.insert(8,5);
beckerjc@481
    74
  print(U);
beckerjc@481
    75
beckerjc@394
    76
  cout << "size of the class of 4: " << U.size(4) << endl;
beckerjc@394
    77
  check(U.size(4) == 3);
beckerjc@394
    78
  cout << "size of the class of 5: " << U.size(5) << endl;
beckerjc@481
    79
  check(U.size(5) == 3);
beckerjc@394
    80
  cout << "size of the class of 6: " << U.size(6) << endl;
beckerjc@394
    81
  check(U.size(6) == 1);
beckerjc@462
    82
  cout << "size of the class of 2: " << U.size(2) << endl;
beckerjc@462
    83
  check(U.size(2) == 3);
beckerjc@394
    84
beckerjc@481
    85
  cout << "Inserting 9 ..." << endl;
beckerjc@481
    86
  U.insert(9);
beckerjc@481
    87
  print(U);
beckerjc@481
    88
  cout << "Inserting 10 to the component of 9 ..." << endl;
beckerjc@481
    89
  U.insert(10,9);
beckerjc@481
    90
  print(U);
beckerjc@481
    91
beckerjc@481
    92
  cout << "Joining 8 and 10..." << endl;
beckerjc@481
    93
  check(U.join(8,10));
beckerjc@481
    94
  print(U);
beckerjc@481
    95
beckerjc@481
    96
  cout << "Move 9 to the class of 4 ..." << endl;
beckerjc@481
    97
  check(U.move(9,4));
beckerjc@481
    98
  print(U);
beckerjc@481
    99
beckerjc@481
   100
  cout << "Move 9 to the class of 2 ..." << endl;
beckerjc@481
   101
  check(!U.move(9,2));
beckerjc@481
   102
  print(U);
beckerjc@481
   103
beckerjc@481
   104
  cout << "size of the class of 4: " << U.size(4) << endl;
beckerjc@481
   105
  check(U.size(4) == 4);
beckerjc@481
   106
  cout << "size of the class of 9: " << U.size(9) << endl;
beckerjc@481
   107
  check(U.size(9) == 4);
beckerjc@481
   108
  
beckerjc@481
   109
  cout << "Move 5 to the class of 6 ..." << endl;
beckerjc@481
   110
  check(U.move(5,6));
beckerjc@481
   111
  print(U);
beckerjc@481
   112
beckerjc@481
   113
  cout << "size of the class of 5: " << U.size(5) << endl;
beckerjc@481
   114
  check(U.size(5) == 2);
beckerjc@481
   115
  cout << "size of the class of 8: " << U.size(8) << endl;
beckerjc@481
   116
  check(U.size(8) == 3);
beckerjc@481
   117
beckerjc@481
   118
  cout << "Move 7 to the class of 10 ..." << endl;
beckerjc@481
   119
  check(U.move(7,10));
beckerjc@481
   120
  print(U);
beckerjc@481
   121
beckerjc@481
   122
  cout << "size of the class of 7: " << U.size(7) << endl;
beckerjc@481
   123
  check(U.size(7) == 4);
beckerjc@481
   124
beckerjc@481
   125
  cout <<"erase 9: " << endl;
beckerjc@481
   126
  U.erase(9);
beckerjc@481
   127
  print(U);
beckerjc@481
   128
beckerjc@394
   129
  cout <<"erase 1: " << endl;
beckerjc@394
   130
  U.erase(1);
beckerjc@394
   131
  print(U);
beckerjc@394
   132
beckerjc@462
   133
  cout << "size of the class of 4: " << U.size(4) << endl;
beckerjc@462
   134
  check(U.size(4) == 2);
beckerjc@462
   135
  cout << "size of the class of 2: " << U.size(2) << endl;
beckerjc@462
   136
  check(U.size(2) == 2);
beckerjc@462
   137
beckerjc@462
   138
beckerjc@394
   139
  cout <<"erase 1: " << endl;
beckerjc@394
   140
  U.erase(1);
beckerjc@394
   141
  print(U);
beckerjc@394
   142
beckerjc@394
   143
  cout <<"erase 6: " << endl;
beckerjc@394
   144
  U.erase(6);
beckerjc@394
   145
  print(U);
beckerjc@394
   146
beckerjc@481
   147
  cout << "split the class of 8: " << endl;
beckerjc@481
   148
  U.split(8);
beckerjc@394
   149
  print(U);
beckerjc@394
   150
beckerjc@462
   151
beckerjc@462
   152
  cout << "size of the class of 4: " << U.size(4) << endl;
beckerjc@462
   153
  check(U.size(4) == 2);
beckerjc@462
   154
  cout << "size of the class of 3: " << U.size(3) << endl;
beckerjc@462
   155
  check(U.size(3) == 1);
beckerjc@462
   156
  cout << "size of the class of 2: " << U.size(2) << endl;
beckerjc@462
   157
  check(U.size(2) == 2);
beckerjc@462
   158
beckerjc@462
   159
beckerjc@394
   160
  cout << "Joining 3 - 4 and 2 - 4 ..." << endl;
beckerjc@394
   161
  check(U.join(3,4));
beckerjc@394
   162
  check(!U.join(2,4));
beckerjc@394
   163
  print(U);
beckerjc@394
   164
beckerjc@462
   165
beckerjc@462
   166
  cout << "size of the class of 4: " << U.size(4) << endl;
beckerjc@462
   167
  check(U.size(4) == 3);
beckerjc@462
   168
  cout << "size of the class of 3: " << U.size(3) << endl;
beckerjc@462
   169
  check(U.size(3) == 3);
beckerjc@462
   170
  cout << "size of the class of 2: " << U.size(2) << endl;
beckerjc@462
   171
  check(U.size(2) == 3);
beckerjc@462
   172
beckerjc@462
   173
  cout << "makeRep(4)" << endl;
beckerjc@462
   174
  U.makeRep(4);
beckerjc@462
   175
  print(U);
beckerjc@462
   176
  cout << "makeRep(3)" << endl;
beckerjc@462
   177
  U.makeRep(3);
beckerjc@462
   178
  print(U);
beckerjc@462
   179
  cout << "makeRep(2)" << endl;
beckerjc@462
   180
  U.makeRep(2);
beckerjc@462
   181
  print(U);
beckerjc@462
   182
beckerjc@462
   183
  cout << "size of the class of 4: " << U.size(4) << endl;
beckerjc@462
   184
  check(U.size(4) == 3);
beckerjc@462
   185
  cout << "size of the class of 3: " << U.size(3) << endl;
beckerjc@462
   186
  check(U.size(3) == 3);
beckerjc@462
   187
  cout << "size of the class of 2: " << U.size(2) << endl;
beckerjc@462
   188
  check(U.size(2) == 3);
beckerjc@462
   189
beckerjc@462
   190
beckerjc@394
   191
  cout << "eraseClass 4 ..." << endl;
beckerjc@394
   192
  U.eraseClass(4);
beckerjc@394
   193
  print(U);
beckerjc@394
   194
beckerjc@394
   195
  cout << "eraseClass 7 ..." << endl;
beckerjc@394
   196
  U.eraseClass(7);
beckerjc@394
   197
  print(U);
beckerjc@394
   198
beckerjc@394
   199
  cout << "done" << endl;
beckerjc@394
   200
beckerjc@394
   201
  cout << (passed ? "All tests passed." : "Some of the tests failed!!!")
beckerjc@394
   202
       << endl;
beckerjc@394
   203
beckerjc@394
   204
  return passed ? 0 : 1;
beckerjc@394
   205
}