PolyBoRi
|
#include <pbori_routines_order.h>
Public Types | |
Get template parameters | |
typedef LexOrder | order_type |
typedef Iterator | iterator |
typedef order_type::poly_type | poly_type |
typedef dummy_data_type < poly_type > | data_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 &) const |
Define iterator incrementation for this ordering. |
typedef dummy_data_type<poly_type> polybori::generic_iteration< LexOrder, Iterator >::data_type |
typedef Iterator polybori::generic_iteration< LexOrder, Iterator >::iterator |
typedef LexOrder polybori::generic_iteration< LexOrder, Iterator >::order_type |
typedef order_type::poly_type polybori::generic_iteration< LexOrder, Iterator >::poly_type |
iterator polybori::generic_iteration< LexOrder, Iterator >::incrementIterator | ( | iterator & | iter, |
const data_type & | |||
) | const [inline] |
Define iterator incrementation for this ordering.
iterator polybori::generic_iteration< LexOrder, Iterator >::leadIterator | ( | const poly_type & | poly | ) | const [inline] |
Define initial iterator generation for this ordering.
References polybori::BoolePolynomial::navigation().