00001 // -*- c++ -*- 00002 //***************************************************************************** 00036 //***************************************************************************** 00037 00038 // include basic definitions 00039 #include "pbori_defs.h" 00040 00041 // include orderings 00042 #include "LexOrder.h" 00043 #include "DegLexOrder.h" 00044 #include "DegRevLexAscOrder.h" 00045 00046 #include <functional> 00047 00048 #ifndef order_traits_h_ 00049 #define order_traits_h_ 00050 00051 BEGIN_NAMESPACE_PBORI 00052 00053 00054 00055 template <class OrderType> 00056 class order_traits { 00057 00058 00059 }; 00060 00061 END_NAMESPACE_PBORI 00062 00063 #endif // order_traits_h_