|
PolyBoRi
|
This base class SetFactory is used for currying set constructors with a BoolePolyRing. More...
#include <SetFactory.h>
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. | |
This base class SetFactory is used for currying set constructors with a BoolePolyRing.
Type of parent.
Reimplemented from polybori::CFactoryBase.
We construct element of this type.
| 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.
| 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.
1.8.0