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.