|
PolyBoRi
|
#include <pbori_routines_order.h>
Public Types | |
Get template parameters | |
| typedef DegRevLexAscOrder | order_type |
| typedef Iterator | iterator |
| typedef order_type::poly_type | poly_type |
| typedef poly_type | data_type |
| typedef order_type::size_type | size_type |
Public Member Functions | |
| iterator | leadIterator (const poly_type &poly) const |
| Define initial iterator generation for this ordering. | |
| iterator & | incrementIterator (iterator &iter, const data_type &poly) const |
| Define iterator incrementation for this ordering. | |
| typedef poly_type polybori::generic_iteration< DegRevLexAscOrder, Iterator >::data_type |
| typedef Iterator polybori::generic_iteration< DegRevLexAscOrder, Iterator >::iterator |
| typedef DegRevLexAscOrder polybori::generic_iteration< DegRevLexAscOrder, Iterator >::order_type |
| typedef order_type::poly_type polybori::generic_iteration< DegRevLexAscOrder, Iterator >::poly_type |
| typedef order_type::size_type polybori::generic_iteration< DegRevLexAscOrder, Iterator >::size_type |
|
inline |
Define iterator incrementation for this ordering.
|
inline |
Define initial iterator generation for this ordering.
1.8.1.2