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