polybori::VariableFactory Class Reference
This base class VariableFactory is used for currying variable constructors with a BoolePolyRing. More...
#include <VariableFactory.h>
Inheritance diagram for polybori::VariableFactory:
Public Types | |
| typedef base::parent_type | parent_type |
| Type of parent. | |
| typedef BooleVariable | value_type |
| We construct element of this type. | |
Public Member Functions | |
| VariableFactory (const parent_type &ring) | |
| Construct from given ring. | |
| VariableFactory (const self &rhs) | |
| Copy constructor. | |
| ~VariableFactory () | |
| Destructor. | |
| value_type | operator() () const |
| Get first variable of the ring. | |
| value_type | operator() (const value_type &rhs) const |
| Indirect copy constructor. | |
| value_type | operator() (const value_type::ring_type &ring) const |
| Get first variable of explicit ring. | |
| value_type | operator() (value_type::idx_type idx, const value_type::ring_type &ring) const |
| Construct i-th variable for explit ring. | |
| value_type | operator() (value_type::idx_type idx) const |
| Construct i-th variable. | |
Detailed Description
This base class VariableFactory is used for currying variable constructors with a BoolePolyRing.Member Typedef Documentation
We construct element of this type.
Constructor & Destructor Documentation
| polybori::VariableFactory::VariableFactory | ( | const parent_type & | ring | ) | [inline] |
Construct from given ring.
| polybori::VariableFactory::VariableFactory | ( | const self & | rhs | ) | [inline] |
Copy constructor.
| polybori::VariableFactory::~VariableFactory | ( | ) | [inline] |
Destructor.
Member Function Documentation
| value_type polybori::VariableFactory::operator() | ( | ) | const [inline] |
Get first variable of the ring.
| value_type polybori::VariableFactory::operator() | ( | const value_type & | rhs | ) | const [inline] |
Indirect copy constructor.
| value_type polybori::VariableFactory::operator() | ( | const value_type::ring_type & | ring | ) | const [inline] |
Get first variable of explicit ring.
| value_type polybori::VariableFactory::operator() | ( | value_type::idx_type | idx, | |
| const value_type::ring_type & | ring | |||
| ) | const [inline] |
Construct i-th variable for explit ring.
| value_type polybori::VariableFactory::operator() | ( | value_type::idx_type | idx | ) | const [inline] |
Construct i-th variable.
The documentation for this class was generated from the following file:
