PolyBoRi
pbori_tags.h
Go to the documentation of this file.
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_