00001 // -*- c++ -*- 00002 //***************************************************************************** 00030 //***************************************************************************** 00031 00032 // include basic definitions 00033 #include "pbori_defs.h" 00034 #include "order_tags.h" 00035 00036 #ifndef pbori_tags_h_ 00037 #define pbori_tags_h_ 00038 00039 BEGIN_NAMESPACE_PBORI 00040 00044 struct invalid_tag {}; 00045 00049 struct valid_tag {}; 00050 00054 struct navigator_tag {}; 00055 00059 template <class ValidityTag> 00060 class equality_property { 00061 public: 00062 00064 typedef ValidityTag easy_equality_property; 00065 }; 00066 00067 00068 END_NAMESPACE_PBORI 00069 00070 #endif // order_tags_h_