PolyBoRi
Public Types | Public Member Functions
polybori::MonomialFactory Class Reference

This base class MonomialFactory is used for currying monomial constructors with a BoolePolyRing. More...

#include <MonomialFactory.h>

Inheritance diagram for polybori::MonomialFactory:
polybori::CFactoryBase

List of all members.

Public Types

typedef base::parent_type parent_type
 Type of parent.
typedef BooleMonomial value_type
 We construct element of this type.

Public Member Functions

 MonomialFactory (const parent_type &ring)
 Construct from given ring.
 MonomialFactory (const self &rhs)
 Copy constructor.
 ~MonomialFactory ()
 Destructor.
value_type operator() () const
 Get first variable of the ring.
value_type operator() (const value_type::ring_type &ring) const
 Get first variable of explicit ring.
value_type operator() (const value_type &rhs) const
 Indirect copy constructor.
value_type operator() (value_type::var_type var) const
 Construct from Boolean variable (does not need ring)
value_type operator() (const value_type::exp_type &rhs) const
 Construct from exponent vector.
value_type operator() (const value_type::exp_type &rhs, const value_type::ring_type &ring) const
 Construct from exponent vector and explicit ring.

Detailed Description

This base class MonomialFactory is used for currying monomial constructors with a BoolePolyRing.


Member Typedef Documentation

Type of parent.

Reimplemented from polybori::CFactoryBase.

We construct element of this type.


Constructor & Destructor Documentation

Construct from given ring.

Copy constructor.

Destructor.


Member Function Documentation

value_type polybori::MonomialFactory::operator() ( ) const [inline]

Get first variable of the ring.

value_type polybori::MonomialFactory::operator() ( const value_type::ring_type ring) const [inline]

Get first variable of explicit ring.

value_type polybori::MonomialFactory::operator() ( const value_type rhs) const [inline]

Indirect copy constructor.

value_type polybori::MonomialFactory::operator() ( value_type::var_type  var) const [inline]

Construct from Boolean variable (does not need ring)

value_type polybori::MonomialFactory::operator() ( const value_type::exp_type rhs) const [inline]

Construct from exponent vector.

value_type polybori::MonomialFactory::operator() ( const value_type::exp_type rhs,
const value_type::ring_type ring 
) const [inline]

Construct from exponent vector and explicit ring.


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