PolyBoRi
|
This class defines a VariableBlock. More...
#include <VariableBlock.h>
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 | |
![]() | |
typedef base::parent_type | parent_type |
Type of parent. More... | |
typedef BooleVariable | value_type |
We construct element of this type. More... | |
![]() | |
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... | |
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").
typedef var_type::idx_type polybori::VariableBlock::idx_type |
|
inline |
Construct block.
|
inline |
Copy constructor.
|
inline |
Destructor.
We may easily.
References PBORI_UNLIKELY.
|
protected |
|
protected |
|
protected |
|
protected |