|
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. More... | |
| typedef BooleSet | value_type |
| We construct element of this type. More... | |
Public Types inherited from polybori::CFactoryBase | |
| typedef BoolePolyRing | parent_type |
| Type of parent. More... | |
Public Member Functions | |
| SetFactory (const parent_type &ring) | |
| Construct from given ring. More... | |
| SetFactory (const self &rhs) | |
| Copy constructor. More... | |
| ~SetFactory () | |
| Destructor. More... | |
| value_type | operator() () const |
| Get empty set 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() (value_type::idx_type idx, const value_type &first, const value_type &second) const |
| Construct new node. More... | |
| value_type | operator() (value_type::idx_type idx, value_type::navigator first, value_type::navigator second) const |
| Construct new node (using navigator nodes) More... | |
| 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) More... | |
| value_type | operator() (value_type::navigator navi, value_type::ring_type &ring) const |
| Construct new node from navigator (using explicit ring) More... | |
| value_type | operator() (value_type::navigator navi) const |
| Construct new node from navigator. More... | |
Public Member Functions inherited from polybori::CFactoryBase | |
| 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 SetFactory is used for currying set 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 empty set of the ring.
|
inline |
Indirect copy constructor.
|
inline |
Get first variable of explicit ring.
|
inline |
Construct new node.
|
inline |
Construct new node (using navigator nodes)
|
inline |
Construct new node (using navigator nodes and explicit ring)
|
inline |
Construct new node from navigator (using explicit ring)
|
inline |
Construct new node from navigator.
1.8.9.1