17 #ifndef polybori_orderings_COrderingTags_h_
18 #define polybori_orderings_COrderingTags_h_
34 template <
class OrderTag,
35 class LexProp,
class DegOrderProp,
class BlockOrderProp,
37 class OrderedProp = LexProp,
38 class TotelDegOrderProp = DegOrderProp,
39 class SymmetryProp =
typename invert_tag<BlockOrderProp>::type >
56 template <
class OrderTag,
class DescProp>
59 invalid_tag, valid_tag, invalid_tag, DescProp> {
62 template <
class OrderTag,
class DescProp>
65 invalid_tag, invalid_tag, valid_tag, DescProp> {
68 template <
class OrderTag>
73 public COrderingTagsBase <lex_tag, valid_tag, invalid_tag, invalid_tag, valid_tag> { };
This class shows, whether a property of an order is invalid.
Definition: tags.h:27
#define END_NAMESPACE_PBORI
Finish project's namespace.
Definition: pbori_defs.h:77
#define BEGIN_NAMESPACE_PBORI
Start project's namespace.
Definition: pbori_defs.h:74
Marker for deg-lex ordering.
Definition: order_tags.h:32
Marker for lex ordering.
Definition: order_tags.h:27
Changes valid_tag -> invalid_tag and vice versa.
Definition: tags.h:39
Marker for ascending deg-rev-lex ordering.
Definition: order_tags.h:37
Marker for block orderings.
Definition: order_tags.h:43