PolyBoRi
pbori_tags.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
33 //*****************************************************************************
34 
35 // include basic definitions
36 #include "pbori_defs.h"
37 #include "order_tags.h"
38 
39 #ifndef pbori_tags_h_
40 #define pbori_tags_h_
41 
43 
47 struct invalid_tag {};
48 
52 struct valid_tag {};
53 
57 struct navigator_tag {};
58 
62 template <class ValidityTag>
64 public:
65 
67  typedef ValidityTag easy_equality_property;
68 };
69 
70 
72 
73 #endif // order_tags_h_