PolyBoRi
|
This class determins ordering dependent properties. More...
#include <COrderProperties.h>
Public Types | |
enum | { order_code = order_type::order_code } |
Get order code. More... | |
typedef OrderType | order_type |
Get type of ordering. | |
typedef order_type::idx_comparer_type | idx_comparer_type |
Get binary predicate for index comparision. | |
define generic property markers | |
typedef order_type::lex_property | lex_property |
typedef order_type::ordered_property | ordered_property |
typedef order_type::symmetry_property | symmetry_property |
typedef order_type::degorder_property | degorder_property |
typedef order_type::blockorder_property | blockorder_property |
typedef order_type::totaldegorder_property | totaldegorder_property |
typedef order_type::ascending_property | ascending_property |
typedef order_type::descending_property | descending_property |
typedef order_type::degrevlexorder_property | degrevlexorder_property |
Adopt auxiliary type definitions | |
typedef order_type::size_type | size_type |
typedef order_type::idx_type | idx_type |
typedef order_type::bool_type | bool_type |
typedef order_type::ostream_type | ostream_type |
typedef order_type::hash_type | hash_type |
Public Attributes | |
is_same_type< ordered_property, valid_tag > | orderedStandardIteration |
Define test whether iterators respect the ordering. | |
is_same_type< lex_property, valid_tag > | isLexicographical |
Define test whether ordering is lexicographical. | |
is_same_type < symmetry_property, valid_tag > | isSymmetric |
Define test whether ordering is symmetric. | |
is_same_type < degorder_property, valid_tag > | isDegreeOrder |
Define test whether ordering is a degree-ordering. | |
is_same_type < blockorder_property, valid_tag > | isBlockOrder |
Define test whether ordering is a block-ordering. | |
is_same_type < totaldegorder_property, valid_tag > | isTotalDegreeOrder |
Define test whether ordering is a total degree-ordering. | |
is_same_type < ascending_property, valid_tag > | ascendingVariables |
Define test whether ordering is symmetric. | |
is_same_type < descending_property, valid_tag > | descendingVariables |
Define test whether ordering is symmetric. | |
is_same_type < degrevlexorder_property, valid_tag > | isDegreeReverseLexicograpical |
Define test whether ordering is deg-rev-lex ordering. |
This class determins ordering dependent properties.
typedef order_type::ascending_property polybori::COrderProperties< OrderType >::ascending_property |
typedef order_type::blockorder_property polybori::COrderProperties< OrderType >::blockorder_property |
typedef order_type::bool_type polybori::COrderProperties< OrderType >::bool_type |
typedef order_type::degorder_property polybori::COrderProperties< OrderType >::degorder_property |
typedef order_type::degrevlexorder_property polybori::COrderProperties< OrderType >::degrevlexorder_property |
typedef order_type::descending_property polybori::COrderProperties< OrderType >::descending_property |
typedef order_type::hash_type polybori::COrderProperties< OrderType >::hash_type |
typedef order_type::idx_comparer_type polybori::COrderProperties< OrderType >::idx_comparer_type |
Get binary predicate for index comparision.
typedef order_type::idx_type polybori::COrderProperties< OrderType >::idx_type |
typedef order_type::lex_property polybori::COrderProperties< OrderType >::lex_property |
typedef OrderType polybori::COrderProperties< OrderType >::order_type |
Get type of ordering.
typedef order_type::ordered_property polybori::COrderProperties< OrderType >::ordered_property |
typedef order_type::ostream_type polybori::COrderProperties< OrderType >::ostream_type |
typedef order_type::size_type polybori::COrderProperties< OrderType >::size_type |
typedef order_type::symmetry_property polybori::COrderProperties< OrderType >::symmetry_property |
typedef order_type::totaldegorder_property polybori::COrderProperties< OrderType >::totaldegorder_property |
is_same_type<ascending_property, valid_tag> polybori::COrderProperties< OrderType >::ascendingVariables |
Define test whether ordering is symmetric.
is_same_type<descending_property, valid_tag> polybori::COrderProperties< OrderType >::descendingVariables |
Define test whether ordering is symmetric.
is_same_type<blockorder_property, valid_tag> polybori::COrderProperties< OrderType >::isBlockOrder |
Define test whether ordering is a block-ordering.
is_same_type<degorder_property, valid_tag> polybori::COrderProperties< OrderType >::isDegreeOrder |
Define test whether ordering is a degree-ordering.
is_same_type<degrevlexorder_property, valid_tag> polybori::COrderProperties< OrderType >::isDegreeReverseLexicograpical |
Define test whether ordering is deg-rev-lex ordering.
is_same_type<lex_property, valid_tag> polybori::COrderProperties< OrderType >::isLexicographical |
Define test whether ordering is lexicographical.
is_same_type<symmetry_property, valid_tag> polybori::COrderProperties< OrderType >::isSymmetric |
Define test whether ordering is symmetric.
is_same_type<totaldegorder_property, valid_tag> polybori::COrderProperties< OrderType >::isTotalDegreeOrder |
Define test whether ordering is a total degree-ordering.
is_same_type<ordered_property, valid_tag> polybori::COrderProperties< OrderType >::orderedStandardIteration |
Define test whether iterators respect the ordering.