PolyBoRi
|
#include <COrderingTags.h>
Public Types | |
typedef OrderTag | order_tag |
typedef LexProp | lex_property |
typedef OrderedProp | ordered_property |
typedef SymmetryProp | symmetry_property |
typedef DegOrderProp | degorder_property |
typedef BlockOrderProp | blockorder_property |
typedef TotelDegOrderProp | totaldegorder_property |
typedef invert_tag < DescendingProp >::type | ascending_property |
typedef and_tag< DegOrderProp, ascending_property >::type | degrevlexorder_property |
typedef DescendingProp | descending_property |
typedef invert_tag<DescendingProp>::type polybori::COrderingTagsBase::ascending_property |
typedef BlockOrderProp polybori::COrderingTagsBase::blockorder_property |
typedef DegOrderProp polybori::COrderingTagsBase::degorder_property |
typedef and_tag<DegOrderProp, ascending_property>::type polybori::COrderingTagsBase::degrevlexorder_property |
typedef DescendingProp polybori::COrderingTagsBase::descending_property |
typedef LexProp polybori::COrderingTagsBase::lex_property |
typedef OrderTag polybori::COrderingTagsBase::order_tag |
typedef OrderedProp polybori::COrderingTagsBase::ordered_property |
typedef SymmetryProp polybori::COrderingTagsBase::symmetry_property |
typedef TotelDegOrderProp polybori::COrderingTagsBase::totaldegorder_property |