polybori::groebner::LiteralFactorizationIterator Class Reference
#include <literal_factorization.h>
List of all members.
Member Typedef Documentation
Constructor & Destructor Documentation
polybori::groebner::LiteralFactorizationIterator::LiteralFactorizationIterator |
( |
LiteralFactorization * |
literal_factorization, |
|
|
LiteralFactorization::map_type::const_iterator |
var2const_iter, |
|
|
LiteralFactorization::var2var_map_type::const_iterator |
var2var_iter | |
|
) |
| | [inline] |
Member Function Documentation
bool polybori::groebner::LiteralFactorizationIterator::operator!= |
( |
const self & |
other |
) |
[inline] |
Polynomial polybori::groebner::LiteralFactorizationIterator::operator* |
( |
|
) |
const |
bool polybori::groebner::LiteralFactorizationIterator::operator== |
( |
const self & |
other |
) |
[inline] |
Member Data Documentation
The documentation for this class was generated from the following files: