00001
00031 #ifndef _adevs_set_h
00032 #define _adevs_set_h
00033 #include <set>
00034 #include <algorithm>
00035
00036 namespace adevs
00037 {
00038
00042 template <class T> class Set: public std::set<T>
00043 {
00044 };
00045
00047 template <class T>
00048 void set_assign_diff(Bag<T>& result, const Set<T>& A, const Set<T>& B)
00049 {
00050 typename Set<T>::const_iterator iter = A.begin();
00051 for (; iter != A.end(); iter++)
00052 {
00053 if (B.find(*iter) == B.end()) result.insert(*iter);
00054 }
00055 }
00056
00057 }
00058
00059 #endif