BooleEnv Class Reference

This class is just a wrapper accessing global structures. More...

#include <BooleEnv.h>

Inheritance diagram for BooleEnv:
COrderEnums CCompareEnums CAuxTypes

List of all members.

Public Types

typedef BooleEnv self
 generic access to current type
typedef CTypes::orderenums_type base
 generic access to base type
typedef std::vector< idx_typeblock_idx_type
 Type for block indices.
typedef
block_idx_type::const_iterator 
block_iterator
 Type for block iterators.
typedef BoolePolyRing ring_type
typedef CDynamicOrderBase order_type
enum  ordercodes
 

Explicitely mention ordercodes' enumeration.

More...
adopt global type definitions

typedef CTypes::ordercode_type ordercode_type
 Type for ordering codes.
typedef CTypes::manager_type manager_type
typedef CTypes::manager_reference manager_reference
typedef CTypes::manager_ptr manager_ptr
typedef CTypes::dd_type dd_type
typedef CTypes::vartext_type vartext_type
 Type for setting/getting names of variables.

Static Public Member Functions

static dd_type variable (idx_type idx)
 Access idx-th variable of the active ring.
static dd_type persistentVariable (idx_type idx)
 Access idx-th variable.
static ordercode_type getOrderCode ()
 Get numerical code for current ordering.
static ordercode_type getBaseOrderCode ()
static dd_type zero ()
 Get empty decision diagram.
static dd_type one ()
 Get decision diagram with all variables negated.
static size_type nVariables ()
 Get number of ring variables the of active ring.
static ring_typering ()
static manager_typemanager ()
static order_typeordering ()
static void setVariableName (idx_type idx, vartext_type varname)
 Set name of variable with index idx.
static vartext_type getVariableName (idx_type idx)
 Get name of variable with index idx.
static void changeOrdering (ordercode_type code)
 Change order of current ring.
static void printInfo ()
static void set (ring_type &theRing)
interface for block orderings

static block_iterator blockBegin ()
static block_iterator blockEnd ()
static void appendBlock (idx_type idx)
static void clearBlocks ()
static idx_type lastBlockStart ()

Detailed Description

This class is just a wrapper accessing global structures.


Member Typedef Documentation

generic access to base type

typedef std::vector<idx_type> BooleEnv::block_idx_type

Type for block indices.

typedef block_idx_type::const_iterator BooleEnv::block_iterator

Type for block iterators.

typedef CTypes::manager_ptr BooleEnv::manager_ptr

Type for ordering codes.

Reimplemented from CAuxTypes.

generic access to current type

Type for setting/getting names of variables.

Reimplemented from CAuxTypes.


Member Enumeration Documentation

Explicitely mention ordercodes' enumeration.


Member Function Documentation

void BooleEnv::appendBlock ( idx_type  idx  )  [static]
BooleEnv::block_iterator BooleEnv::blockBegin (  )  [static]
BooleEnv::block_iterator BooleEnv::blockEnd (  )  [static]
void BooleEnv::changeOrdering ( ordercode_type  code  )  [static]

Change order of current ring.

References BoolePolyRing::changeOrdering(), and ring().

void BooleEnv::clearBlocks (  )  [static]
BooleEnv::ordercode_type BooleEnv::getBaseOrderCode (  )  [static]

Get numerical code for current base ordering (the same for non-block orderings)

References CDynamicOrderBase::getBaseOrderCode(), and ordering().

BooleEnv::ordercode_type BooleEnv::getOrderCode (  )  [static]

Get numerical code for current ordering.

References CDynamicOrderBase::getOrderCode(), and ordering().

BooleEnv::vartext_type BooleEnv::getVariableName ( idx_type  idx  )  [static]

Get name of variable with index idx.

References manager().

BooleEnv::idx_type BooleEnv::lastBlockStart (  )  [static]
BooleEnv::manager_type & BooleEnv::manager (  )  [static]
BooleEnv::size_type BooleEnv::nVariables (  )  [static]

Get number of ring variables the of active ring.

References manager().

BooleEnv::dd_type BooleEnv::one (  )  [static]

Get decision diagram with all variables negated.

References BooleRing::one(), and ring().

BooleEnv::order_type & BooleEnv::ordering (  )  [static]
BooleEnv::dd_type BooleEnv::persistentVariable ( idx_type  idx  )  [static]

Access idx-th variable.

References manager().

void BooleEnv::printInfo (  )  [static]

References BooleRing::printInfo(), and ring().

static ring_type& BooleEnv::ring (  )  [inline, static]
void BooleEnv::set ( ring_type theRing  )  [static]
void BooleEnv::setVariableName ( idx_type  idx,
vartext_type  varname 
) [static]

Set name of variable with index idx.

References manager().

BooleEnv::dd_type BooleEnv::variable ( idx_type  idx  )  [static]

Access idx-th variable of the active ring.

References manager().

BooleEnv::dd_type BooleEnv::zero (  )  [static]

Get empty decision diagram.

References ring(), and BooleRing::zero().

Referenced by CTermStackBase< NavigatorType, BaseType >::invalidate().


The documentation for this class was generated from the following files:
Generated on Wed May 5 19:05:53 2010 for PolyBoRi by  doxygen 1.6.3