PolyBoRi
Public Types | Static Public Member Functions | List of all members
polybori::BooleEnv Class Reference

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

#include <BooleEnv.h>

Inheritance diagram for polybori::BooleEnv:
polybori::COrderEnums polybori::CCompareEnums polybori::CAuxTypes

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
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
- Public Types inherited from polybori::COrderEnums
enum  ordercodes {
  lp, dlex, dp_asc, block_dlex,
  block_dp_asc
}
 Codes For orderings. More...
- Public Types inherited from polybori::CCompareEnums
enum  comparecodes {
  less_than = -1, equality = 0, greater_than = +1, less_or_equal_max = 0,
  greater_or_equal_min = 0
}
 Comparision codes enumeration. More...
enum  { max_idx = CUDD_MAXINDEX }
- Public Types inherited from polybori::CAuxTypes
typedef bool bool_type
 Type for standard true/false statements.
typedef unsigned int size_type
 Type for lengths, dimensions, etc.
typedef int integer_type
 Type for integer numbers.
typedef int idx_type
 Type for indices.
typedef std::size_t hash_type
 Type for hashing.
typedef unsigned int errornum_type
 Type used to store error codes.
typedef int comp_type
 Type for comparisons.
typedef int ordercode_type
 Type for ordering codes.
typedef const char * errortext_type
 Type used to verbose error information.
typedef std::ostream ostream_type
 Type for out-stream.
typedef const char * 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

Type for block indices.

typedef block_idx_type::const_iterator polybori::BooleEnv::block_iterator

Type for block iterators.

typedef CDynamicOrderBase polybori::BooleEnv::order_type

generic access to current type

Member Enumeration Documentation

Explicitely mention ordercodes' enumeration.

Member Function Documentation

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

Change order of current ring.

void polybori::BooleEnv::clearBlocks ( )
static
BooleEnv::ordercode_type polybori::BooleEnv::getBaseOrderCode ( )
static

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

BooleEnv::ordercode_type polybori::BooleEnv::getOrderCode ( )
static

Get numerical code for current ordering.

BooleEnv::vartext_type polybori::BooleEnv::getVariableName ( idx_type  idx)
static

Get name of variable with index idx.

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

Get number of ring variables the of active ring.

References polybori::CDDInterface< CuddLikeZDD >::nVariables().

BooleEnv::dd_type polybori::BooleEnv::one ( )
static

Get decision diagram with all variables negated.

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

Access idx-th variable.

void polybori::BooleEnv::printInfo ( )
static
static ring_type& polybori::BooleEnv::ring ( )
inlinestatic
void polybori::BooleEnv::set ( ring_type theRing)
static
void polybori::BooleEnv::setVariableName ( idx_type  idx,
vartext_type  varname 
)
static

Set name of variable with index idx.

BooleEnv::dd_type polybori::BooleEnv::variable ( idx_type  idx)
static

Access idx-th variable of the active ring.

BooleEnv::dd_type polybori::BooleEnv::zero ( )
static

Get empty decision diagram.


The documentation for this class was generated from the following files: