PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00033 //***************************************************************************** 00034 00035 // include basic definitions 00036 #include "pbori_defs.h" 00037 #include "order_tags.h" 00038 00039 #ifndef pbori_tags_h_ 00040 #define pbori_tags_h_ 00041 00042 BEGIN_NAMESPACE_PBORI 00043 00047 struct invalid_tag {}; 00048 00052 struct valid_tag {}; 00053 00057 struct navigator_tag {}; 00058 00062 template <class ValidityTag> 00063 class equality_property { 00064 public: 00065 00067 typedef ValidityTag easy_equality_property; 00068 }; 00069 00070 00071 END_NAMESPACE_PBORI 00072 00073 #endif // order_tags_h_