PolyBoRi
Public Types | Public Attributes
polybori::COrderProperties Class Reference

This class determins ordering dependent properties. More...

#include <COrderProperties.h>

List of all members.

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
isDegreeReverseLexicographical
 Define test whether ordering is deg-rev-lex ordering.

Detailed Description

This class determins ordering dependent properties.


Member Typedef Documentation

typedef order_type::ascending_property polybori::COrderProperties::ascending_property
typedef order_type::blockorder_property polybori::COrderProperties::blockorder_property
typedef order_type::bool_type polybori::COrderProperties::bool_type
typedef order_type::degorder_property polybori::COrderProperties::degorder_property
typedef order_type::degrevlexorder_property polybori::COrderProperties::degrevlexorder_property
typedef order_type::descending_property polybori::COrderProperties::descending_property
typedef order_type::hash_type polybori::COrderProperties::hash_type
typedef order_type::idx_comparer_type polybori::COrderProperties::idx_comparer_type

Get binary predicate for index comparision.

typedef order_type::idx_type polybori::COrderProperties::idx_type
typedef order_type::lex_property polybori::COrderProperties::lex_property

Get type of ordering.

typedef order_type::ordered_property polybori::COrderProperties::ordered_property
typedef order_type::ostream_type polybori::COrderProperties::ostream_type
typedef order_type::size_type polybori::COrderProperties::size_type
typedef order_type::symmetry_property polybori::COrderProperties::symmetry_property
typedef order_type::totaldegorder_property polybori::COrderProperties::totaldegorder_property

Member Enumeration Documentation

anonymous enum

Get order code.

Enumerator:
order_code 

Member Data Documentation

Define test whether ordering is symmetric.

Define test whether ordering is symmetric.

Define test whether ordering is a block-ordering.

Define test whether ordering is a degree-ordering.

Define test whether ordering is deg-rev-lex ordering.

Define test whether ordering is lexicographical.

Define test whether ordering is symmetric.

Define test whether ordering is a total degree-ordering.

Define test whether iterators respect the ordering.


The documentation for this class was generated from the following file: