This class defines LiteralFactorizationIterator.
More...
#include <LiteralFactorizationIterator.h>
polybori::groebner::LiteralFactorizationIterator::LiteralFactorizationIterator |
( |
LiteralFactorization * |
literal_factorization_, |
|
|
map_type::const_iterator |
var2const_iter_, |
|
|
var2var_map_type::const_iterator |
var2var_iter_ |
|
) |
| |
|
inline |
bool polybori::groebner::LiteralFactorizationIterator::operator!= |
( |
const self & |
other | ) |
|
|
inline |
Polynomial polybori::groebner::LiteralFactorizationIterator::operator* |
( |
| ) |
const |
bool polybori::groebner::LiteralFactorizationIterator::operator== |
( |
const self & |
other | ) |
|
|
inline |
The documentation for this class was generated from the following files: