LiteralFactorizationIterator Class Reference

#include <literal_factorization.h>

List of all members.

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)
selfoperator++ ()
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

Member Typedef Documentation


Constructor & Destructor Documentation

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 LiteralFactorizationIterator::operator!= ( const self other  )  [inline]
Polynomial LiteralFactorizationIterator::operator* (  )  const
LiteralFactorizationIterator::self & LiteralFactorizationIterator::operator++ (  ) 
bool LiteralFactorizationIterator::operator== ( const self other  )  [inline]

References var2const_iter, and var2var_iter.


Member Data Documentation

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==().


The documentation for this class was generated from the following files:
Generated on Thu Aug 5 13:34:47 2010 for PolyBoRi by  doxygen 1.6.3