#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 |
LiteralFactorizationIterator::LiteralFactorizationIterator | ( | LiteralFactorization * | literal_factorization, | |
LiteralFactorization::map_type::const_iterator | var2const_iter, | |||
LiteralFactorization::var2var_map_type::const_iterator | var2var_iter | |||
) | [inline] |
bool LiteralFactorizationIterator::operator!= | ( | const self & | other | ) | [inline] |
Polynomial LiteralFactorizationIterator::operator* | ( | ) | const |
References LiteralFactorization::factors, var2const_iter, var2var_iter, and LiteralFactorization::var2var_map.
LiteralFactorizationIterator::self & LiteralFactorizationIterator::operator++ | ( | ) |
References LiteralFactorization::factors, var2const_iter, var2var_iter, and LiteralFactorization::var2var_map.
bool LiteralFactorizationIterator::operator== | ( | const self & | other | ) | [inline] |
References var2const_iter, and var2var_iter.
LiteralFactorization::map_type::const_iterator LiteralFactorizationIterator::var2const_iter |
Referenced by operator*(), operator++(), and operator==().
LiteralFactorization::var2var_map_type::const_iterator LiteralFactorizationIterator::var2var_iter |
Referenced by operator*(), operator++(), and operator==().