PolyBoRi
|
This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing. More...
#include <PolynomialFactory.h>
Public Types | |
typedef base::parent_type | parent_type |
Type of parent. More... | |
typedef BoolePolynomial | value_type |
We construct element of this type. More... | |
![]() | |
typedef BoolePolyRing | parent_type |
Type of parent. More... | |
Public Member Functions | |
PolynomialFactory (const parent_type &ring) | |
Construct from given ring. More... | |
PolynomialFactory (const self &rhs) | |
Copy constructor. More... | |
~PolynomialFactory () | |
Destructor. More... | |
value_type | operator() () const |
Get zero polynomial of the ring. More... | |
value_type | operator() (const value_type &rhs) const |
Indirect copy constructor. More... | |
value_type | operator() (const value_type::ring_type &ring) const |
Get first variable of explicit ring. More... | |
value_type | operator() (const value_type::var_type &var) const |
Construct from Boolean variable (does not need ring) More... | |
value_type | operator() (const value_type::monom_type &monom) const |
Construct from Boolean monomial (does not need ring) More... | |
value_type | operator() (const value_type::exp_type &rhs) const |
Construct from exponent vector. More... | |
value_type | operator() (const value_type::exp_type &rhs, const value_type::ring_type &ring) const |
Construct from exponent vector and explicit ring. More... | |
value_type | operator() (value_type::constant_type isOne, const value_type::ring_type &ring) const |
Construct polynomial from a constant value 0 or 1 and explicit ring. More... | |
value_type | operator() (value_type::constant_type isOne) const |
Construct polynomial from a constant value 0 or 1. More... | |
value_type | operator() (const value_type::dd_type &rhs) const |
Construct polynomial from decision diagram. More... | |
value_type | operator() (const value_type::navigator &rhs, const value_type::ring_type &ring) const |
Construct polynomial from navigator and explicit ring. More... | |
value_type | operator() (const value_type::navigator &rhs) const |
Construct polynomial from navigator. More... | |
![]() | |
CFactoryBase (const parent_type &parent) | |
Default constructor. More... | |
CFactoryBase (const self &rhs) | |
Copy constructor. More... | |
~CFactoryBase () | |
Destructor. More... | |
const parent_type & | parent () const |
Access delayed data. More... | |
This base class PolynomialFactory is used for currying polynomial constructors with a BoolePolyRing.
Type of parent.
We construct element of this type.
|
inline |
Construct from given ring.
|
inline |
Copy constructor.
|
inline |
Destructor.
|
inline |
Get zero polynomial of the ring.
|
inline |
Indirect copy constructor.
|
inline |
Get first variable of explicit ring.
|
inline |
Construct from Boolean variable (does not need ring)
|
inline |
Construct from Boolean monomial (does not need ring)
|
inline |
Construct from exponent vector.
|
inline |
Construct from exponent vector and explicit ring.
|
inline |
Construct polynomial from a constant value 0 or 1 and explicit ring.
|
inline |
Construct polynomial from a constant value 0 or 1.
|
inline |
Construct polynomial from decision diagram.
|
inline |
Construct polynomial from navigator and explicit ring.
|
inline |
Construct polynomial from navigator.