This class defines a VariableBlock. More...

#include <VariableBlock.h>

Inheritance diagram for polybori::VariableBlock:

Public Types
typedef VariableFactory	base

typedef base::value_type	var_type

typedef var_type::ring_type	ring_type

typedef var_type::idx_type	idx_type

Public Member Functions
	VariableBlock (idx_type size, idx_type start_index, idx_type offset, bool reverse, const ring_type &ring)
	Construct block. More...

	VariableBlock (const self &rhs)
	Copy constructor. More...

	~VariableBlock ()
	Destructor. More...

var_type	operator() (idx_type i)
	We may easily. More...

Protected Attributes
const idx_type	m_start_index

const idx_type	m_last

const idx_type	m_offset

const bool	m_reverse

Additional Inherited Members
Protected Types inherited from polybori::VariableFactory
typedef base::parent_type	parent_type
	Type of parent. More...

typedef BooleVariable	value_type
	We construct element of this type. More...

Protected Types inherited from polybori::CFactoryBase
typedef BoolePolyRing	parent_type
	Type of parent. More...

Protected Member Functions inherited from polybori::VariableFactory
	VariableFactory (const parent_type &ring)
	Construct from given ring. More...

	VariableFactory (const self &rhs)
	Copy constructor. More...

	~VariableFactory ()
	Destructor. More...

value_type	operator() () const
	Get first variable 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::ring_type &ring) const
	Construct i-th variable for explit ring. More...

value_type	operator() (value_type::idx_type idx) const
	Construct i-th variable. More...

Protected 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...

Detailed Description

This class defines a VariableBlock.

We break down the two-argumented class BooleVariables(idx, ring) to a one argumented call over a functional object var(idx) which knows about the ring ("currying").