polybori::groebner::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

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

Member Data Documentation

LiteralFactorization::map_type::const_iterator polybori::groebner::LiteralFactorizationIterator::var2const_iter

Referenced by operator*(), and operator++().

LiteralFactorization::var2var_map_type::const_iterator polybori::groebner::LiteralFactorizationIterator::var2var_iter

Referenced by operator*(), and operator++().


The documentation for this class was generated from the following files:

Generated by  doxygen 1.6.2