polybori::SetFactory Class Reference
This base class SetFactory is used for currying set constructors with a BoolePolyRing. More...
#include <SetFactory.h>
Inheritance diagram for polybori::SetFactory:
Public Types | |
| typedef base::parent_type | parent_type |
| Type of parent. | |
| typedef BooleSet | value_type |
| We construct element of this type. | |
Public Member Functions | |
| SetFactory (const parent_type &ring) | |
| Construct from given ring. | |
| SetFactory (const self &rhs) | |
| Copy constructor. | |
| ~SetFactory () | |
| Destructor. | |
| value_type | operator() () const |
| Get empty set 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 &first, const value_type &second) const |
| Construct new node. | |
| value_type | operator() (value_type::idx_type idx, value_type::navigator first, value_type::navigator second) const |
| Construct new node (using navigator nodes). | |
| value_type | operator() (value_type::idx_type idx, value_type::navigator first, value_type::navigator second, value_type::ring_type &ring) const |
| Construct new node (using navigator nodes and explicit ring). | |
| value_type | operator() (value_type::navigator navi, value_type::ring_type &ring) const |
| Construct new node from navigator (using explicit ring). | |
| value_type | operator() (value_type::navigator navi) const |
| Construct new node from navigator. | |
Detailed Description
This base class SetFactory is used for currying set constructors with a BoolePolyRing.Member Typedef Documentation
We construct element of this type.
Constructor & Destructor Documentation
| polybori::SetFactory::SetFactory | ( | const parent_type & | ring | ) | [inline] |
Construct from given ring.
| polybori::SetFactory::SetFactory | ( | const self & | rhs | ) | [inline] |
Copy constructor.
| polybori::SetFactory::~SetFactory | ( | ) | [inline] |
Destructor.
Member Function Documentation
| value_type polybori::SetFactory::operator() | ( | ) | const [inline] |
Get empty set of the ring.
| value_type polybori::SetFactory::operator() | ( | const value_type & | rhs | ) | const [inline] |
Indirect copy constructor.
| value_type polybori::SetFactory::operator() | ( | const value_type::ring_type & | ring | ) | const [inline] |
Get first variable of explicit ring.
| value_type polybori::SetFactory::operator() | ( | value_type::idx_type | idx, | |
| const value_type & | first, | |||
| const value_type & | second | |||
| ) | const [inline] |
Construct new node.
| value_type polybori::SetFactory::operator() | ( | value_type::idx_type | idx, | |
| value_type::navigator | first, | |||
| value_type::navigator | second | |||
| ) | const [inline] |
Construct new node (using navigator nodes).
| value_type polybori::SetFactory::operator() | ( | value_type::idx_type | idx, | |
| value_type::navigator | first, | |||
| value_type::navigator | second, | |||
| value_type::ring_type & | ring | |||
| ) | const [inline] |
Construct new node (using navigator nodes and explicit ring).
| value_type polybori::SetFactory::operator() | ( | value_type::navigator | navi, | |
| value_type::ring_type & | ring | |||
| ) | const [inline] |
Construct new node from navigator (using explicit ring).
| value_type polybori::SetFactory::operator() | ( | value_type::navigator | navi | ) | const [inline] |
Construct new node from navigator.
The documentation for this class was generated from the following file:
