polybori::BooleRing Class Reference

This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings. More...

#include <BooleRing.h>

Inheritance diagram for polybori::BooleRing:
polybori::COrderEnums polybori::CCompareEnums polybori::CAuxTypes polybori::BoolePolyRing

List of all members.

Public Types

typedef BooleRing self
 generic access to current type
typedef CTypes::orderenums_type base
 generic access to base 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.

Public Member Functions

 BooleRing (size_type nvars=100)
 Constructor for nvars variables.
 BooleRing (const manager_type &mgr)
 ~BooleRing ()
 destructor
manager_typemanager ()
 Access to decision diagram manager.
const manager_typemanager () const
 Constant access to decision diagram manager.
dd_type ddVariable (idx_type nvar) const
 Access nvar-th variable of decision diagram manager.
dd_type variable (idx_type nvar) const
 Access nvar-th ring variable.
dd_type persistentVariable (idx_type nvar) const
 Access nvar-th ring variable.
dd_type zero () const
 Get empty decision diagram.
dd_type one () const
 Get decision diagram with all variables negated.
size_type nVariables () const
 Get number of ring variables.
vartext_type getVariableName (idx_type idx)
 Get name of variable with index idx.
void setVariableName (idx_type idx, vartext_type varname)
 Set name of variable with index idx.
void clearCache ()
 Clears the function cache.
void printInfo ()
 Print out statistics and settings for current ring.
self clone () const
 Generate ring based on the same manager.
hash_type hash () const
 Get unique identifier for *this.

Protected Attributes

manager_type m_mgr
 Interprete m_mgr as structure of Boolean polynomial ring.

Detailed Description

This class is just a wrapper for reinterpreting decicion diagram managers as Boolean polynomial rings.


Member Typedef Documentation

generic access to base type

Reimplemented in polybori::BoolePolyRing.

Type for ordering codes.

Reimplemented from polybori::CAuxTypes.

generic access to current type

Reimplemented in polybori::BoolePolyRing.

Type for setting/getting names of variables.

Reimplemented from polybori::CAuxTypes.


Member Enumeration Documentation

Explicitely mention ordercodes' enumeration.


Constructor & Destructor Documentation

polybori::BooleRing::BooleRing ( size_type  nvars = 100  )  [inline]

Constructor for nvars variables.

polybori::BooleRing::BooleRing ( const manager_type mgr  )  [inline]
polybori::BooleRing::~BooleRing (  )  [inline]

destructor


Member Function Documentation

void polybori::BooleRing::clearCache (  )  [inline]

Clears the function cache.

self polybori::BooleRing::clone (  )  const [inline]

Generate ring based on the same manager.

Reimplemented in polybori::BoolePolyRing.

dd_type polybori::BooleRing::ddVariable ( idx_type  nvar  )  const [inline]

Access nvar-th variable of decision diagram manager.

vartext_type polybori::BooleRing::getVariableName ( idx_type  idx  )  [inline]

Get name of variable with index idx.

Referenced by polybori::BooleEnv::getVariableName().

hash_type polybori::BooleRing::hash (  )  const [inline]

Get unique identifier for *this.

const manager_type& polybori::BooleRing::manager (  )  const [inline]

Constant access to decision diagram manager.

manager_type& polybori::BooleRing::manager (  )  [inline]

Access to decision diagram manager.

Referenced by polybori::BooleEnv::manager().

size_type polybori::BooleRing::nVariables (  )  const [inline]

Get number of ring variables.

dd_type polybori::BooleRing::one (  )  const [inline]

Get decision diagram with all variables negated.

Referenced by polybori::BooleEnv::one().

dd_type polybori::BooleRing::persistentVariable ( idx_type  nvar  )  const [inline]

Access nvar-th ring variable.

void polybori::BooleRing::printInfo (  )  [inline]

Print out statistics and settings for current ring.

Referenced by polybori::BooleEnv::printInfo().

void polybori::BooleRing::setVariableName ( idx_type  idx,
vartext_type  varname 
) [inline]

Set name of variable with index idx.

Referenced by polybori::BooleEnv::setVariableName().

dd_type polybori::BooleRing::variable ( idx_type  nvar  )  const [inline]

Access nvar-th ring variable.

dd_type polybori::BooleRing::zero (  )  const [inline]

Get empty decision diagram.

Referenced by polybori::BooleEnv::zero().


Member Data Documentation

Interprete m_mgr as structure of Boolean polynomial ring.


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

Generated by  doxygen 1.6.2