PolyBoRi
Public Types | Public Member Functions | Public Attributes
polybori::groebner::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


Constructor & Destructor Documentation

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

Member Function Documentation

LiteralFactorization::const_iterator polybori::groebner::LiteralFactorization::begin ( )
LiteralFactorization::const_iterator polybori::groebner::LiteralFactorization::end ( )
bool polybori::groebner::LiteralFactorization::is00Factorization ( )
bool polybori::groebner::LiteralFactorization::is11Factorization ( )
bool polybori::groebner::LiteralFactorization::occursAsLeadOfFactor ( idx_type  v) const
bool polybori::groebner::LiteralFactorization::trivial ( ) const

Member Data Documentation


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