File indexing completed on 2026-04-09 07:49:18
0001
0002
0003 #include "sidxname.h"
0004 #include <iostream>
0005 #include <set>
0006 #include <vector>
0007
0008 int main(int argc, char** argv)
0009 {
0010 sidxname a(0, "Red") ;
0011 sidxname b(1, "Green") ;
0012 sidxname c0(2, "Blue") ;
0013 sidxname c1(2, "Blue") ;
0014
0015
0016
0017 sidxname d(-1, "0123456789abcdef0123456789abcde") ;
0018 sidxname e(-2, "0123456789abcdef0123456789abcde") ;
0019
0020 std::set<sidxname,sidxname_ordering> mm ;
0021 mm.insert(a);
0022 mm.insert(b);
0023 mm.insert(c0);
0024 mm.insert(c1);
0025 mm.insert(d);
0026 mm.insert(e);
0027
0028 std::vector<sidxname> vmm(mm.begin(), mm.end()) ;
0029 for(int i=0 ; i < vmm.size() ; i++) std::cout << vmm[i].desc() << std::endl ;
0030
0031 return 0 ;
0032 }