PolyBoRi
Public Types | Public Member Functions
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:
polybori::CFactoryBase

List of all members.

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

Type of parent.

Reimplemented from polybori::CFactoryBase.

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.

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: