16 #ifndef polybori_iterators_CStackSelector_h_
17 #define polybori_iterators_CStackSelector_h_
37 template <
class OrderType,
class NaviType,
class BaseType =
internal_tag>
42 typedef BaseType base;
43 typedef NaviType navigator;
46 typedef typename orderings_tags::descending_property descending;
47 typedef typename orderings_tags::degorder_property deg_prop;
48 typedef typename orderings_tags::blockorder_property block_prop;
#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
int deg_type
Definition: groebner_defs.h:42
This class switches betweem two types, depending on equality of types.
Definition: pbori_func.h:589
Definition: CTermStack.h:868
on_same_type< block_prop, valid_tag, block_type, nonblock_type >::type type
The resulting type for iterator's stack.
Definition: CStackSelector.h:67
Definition: CTermStack.h:735
This class defines an iterator for the monomials in a Boolean polynomial.
Definition: CTermStack.h:353
Definition: CStackSelector.h:38
This class shows, whether a property of an order is valid.
Definition: tags.h:32