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

#include <BooleRing.h>

Inheritance diagram for polybori::BooleRing:

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
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.

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.
void	clearCache ()
	Clears the function cache.
void	printInfo ()
	Print out statistics and settings for current ring.