PolyBoRi
Public Types | Public Member Functions | Public Attributes | List of all members
polybori::groebner::LiteralFactorization Class Reference

#include <LiteralFactorization.h>

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 &)
 
bool occursAsLeadOfFactor (idx_type v) const
 
bool trivial () const
 
bool is11Factorization () const
 
bool is00Factorization () const
 
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)

Member Function Documentation

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

Member Data Documentation

map_type polybori::groebner::LiteralFactorization::factors
deg_type polybori::groebner::LiteralFactorization::lmDeg
Polynomial polybori::groebner::LiteralFactorization::rest
var2var_map_type polybori::groebner::LiteralFactorization::var2var_map

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