PolyBoRi
|
#include <literal_factorization.h>
Public Types | |
typedef LiteralFactorizationIterator | self |
Public Member Functions | |
LiteralFactorizationIterator (LiteralFactorization *literal_factorization, LiteralFactorization::map_type::const_iterator var2const_iter, LiteralFactorization::var2var_map_type::const_iterator var2var_iter) | |
self & | operator++ () |
Polynomial | operator* () const |
bool | operator== (const self &other) |
bool | operator!= (const self &other) |
Public Attributes | |
LiteralFactorization::var2var_map_type::const_iterator | var2var_iter |
LiteralFactorization::map_type::const_iterator | var2const_iter |
polybori::groebner::LiteralFactorizationIterator::LiteralFactorizationIterator | ( | LiteralFactorization * | literal_factorization, |
LiteralFactorization::map_type::const_iterator | var2const_iter, | ||
LiteralFactorization::var2var_map_type::const_iterator | var2var_iter | ||
) | [inline] |
bool polybori::groebner::LiteralFactorizationIterator::operator!= | ( | const self & | other | ) | [inline] |
Polynomial polybori::groebner::LiteralFactorizationIterator::operator* | ( | ) | const |
LiteralFactorizationIterator::self & polybori::groebner::LiteralFactorizationIterator::operator++ | ( | ) |
bool polybori::groebner::LiteralFactorizationIterator::operator== | ( | const self & | other | ) | [inline] |
LiteralFactorization::map_type::const_iterator polybori::groebner::LiteralFactorizationIterator::var2const_iter |
LiteralFactorization::var2var_map_type::const_iterator polybori::groebner::LiteralFactorizationIterator::var2var_iter |