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:

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_type &	manager ()
	Access to decision diagram manager.
const manager_type &	manager () 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

typedef CTypes::orderenums_type polybori::BooleRing::base

generic access to base type

Reimplemented in polybori::BoolePolyRing.

typedef CTypes::dd_type polybori::BooleRing::dd_type

typedef CTypes::manager_ptr polybori::BooleRing::manager_ptr

typedef CTypes::manager_reference polybori::BooleRing::manager_reference

typedef CTypes::manager_type polybori::BooleRing::manager_type

typedef CTypes::ordercode_type polybori::BooleRing::ordercode_type

Type for ordering codes.

Reimplemented from polybori::CAuxTypes.

typedef BooleRing polybori::BooleRing::self

generic access to current type

Reimplemented in polybori::BoolePolyRing.

typedef CTypes::vartext_type polybori::BooleRing::vartext_type

Type for setting/getting names of variables.

Reimplemented from polybori::CAuxTypes.

---

Member Enumeration Documentation

enum polybori::COrderEnums::ordercodes

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

manager_type polybori::BooleRing::m_mgr [protected]

Interprete m_mgr as structure of Boolean polynomial ring.

---

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

• BooleRing.h