PolyBoRi
order_traits.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
36 //*****************************************************************************
37 
38 // include basic definitions
39 #include "pbori_defs.h"
40 
41 // include orderings
42 #include "LexOrder.h"
43 #include "DegLexOrder.h"
44 #include "DegRevLexAscOrder.h"
45 
46 #include <functional>
47 
48 #ifndef order_traits_h_
49 #define order_traits_h_
50 
52 
53 
54 
55 template <class OrderType>
56 class order_traits {
57 
58 
59 };
60 
62 
63 #endif // order_traits_h_