polybori::COrderProperties< OrderType > Class Template 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
isDegreeReverseLexicograpical
 Define test whether ordering is deg-rev-lex ordering.


Detailed Description

template<class OrderType>
class polybori::COrderProperties< OrderType >

This class determins ordering dependent properties.

Member Typedef Documentation

template<class OrderType >
typedef order_type::ascending_property polybori::COrderProperties< OrderType >::ascending_property

template<class OrderType >
typedef order_type::blockorder_property polybori::COrderProperties< OrderType >::blockorder_property

template<class OrderType >
typedef order_type::bool_type polybori::COrderProperties< OrderType >::bool_type

template<class OrderType >
typedef order_type::degorder_property polybori::COrderProperties< OrderType >::degorder_property

template<class OrderType >
typedef order_type::degrevlexorder_property polybori::COrderProperties< OrderType >::degrevlexorder_property

template<class OrderType >
typedef order_type::descending_property polybori::COrderProperties< OrderType >::descending_property

template<class OrderType >
typedef order_type::hash_type polybori::COrderProperties< OrderType >::hash_type

template<class OrderType >
typedef order_type::idx_comparer_type polybori::COrderProperties< OrderType >::idx_comparer_type

Get binary predicate for index comparision.

template<class OrderType >
typedef order_type::idx_type polybori::COrderProperties< OrderType >::idx_type

template<class OrderType >
typedef order_type::lex_property polybori::COrderProperties< OrderType >::lex_property

template<class OrderType >
typedef OrderType polybori::COrderProperties< OrderType >::order_type

Get type of ordering.

template<class OrderType >
typedef order_type::ordered_property polybori::COrderProperties< OrderType >::ordered_property

template<class OrderType >
typedef order_type::ostream_type polybori::COrderProperties< OrderType >::ostream_type

template<class OrderType >
typedef order_type::size_type polybori::COrderProperties< OrderType >::size_type

template<class OrderType >
typedef order_type::symmetry_property polybori::COrderProperties< OrderType >::symmetry_property

template<class OrderType >
typedef order_type::totaldegorder_property polybori::COrderProperties< OrderType >::totaldegorder_property


Member Enumeration Documentation

template<class OrderType >
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:

Generated on Mon Jul 13 21:10:53 2009 for PolyBoRi by  doxygen 1.5.9