LiteralFactorization Class Reference

#include <literal_factorization.h>

List of all members.

Public Types

typedef
LiteralFactorizationIterator 
const_iterator
typedef std::map< idx_type, int > map_type
typedef std::map< idx_type,
idx_type
var2var_map_type

Public Member Functions

 LiteralFactorization (const Polynomial &)
 LiteralFactorization ()
bool occursAsLeadOfFactor (idx_type v) const
bool trivial () const
bool is11Factorization ()
bool is00Factorization ()
const_iterator begin ()
const_iterator end ()

Public Attributes

map_type factors
Polynomial rest
deg_type lmDeg
var2var_map_type var2var_map

Member Typedef Documentation

typedef std::map<idx_type, int> LiteralFactorization::map_type

Constructor & Destructor Documentation

LiteralFactorization::LiteralFactorization ( const Polynomial p  ) 
LiteralFactorization::LiteralFactorization (  )  [inline]

Member Function Documentation

LiteralFactorization::const_iterator LiteralFactorization::begin (  ) 

References factors, and var2var_map.

Referenced by easy_linear_factors().

LiteralFactorization::const_iterator LiteralFactorization::end (  ) 

References factors, and var2var_map.

Referenced by easy_linear_factors(), and LiteralFactorization().

bool LiteralFactorization::is00Factorization (  ) 

References factors, lmDeg, and maps_to_one().

bool LiteralFactorization::is11Factorization (  ) 

References factors, lmDeg, and maps_to_zero().

bool LiteralFactorization::occursAsLeadOfFactor ( idx_type  v  )  const

References factors, rest, and var2var_map.

bool LiteralFactorization::trivial (  )  const

References factors, rest, and var2var_map.


Member Data Documentation


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