PolyBoRi
Public Types | Public Member Functions | Protected Attributes | List of all members
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

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

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

generic access to current type

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.

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

Access nvar-th variable of decision diagram manager.

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

Access to decision diagram manager.

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

Constant access to decision diagram manager.

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

Get number of ring variables.

Referenced by polybori::groebner::minimal_elements_internal3().

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

Get decision diagram with all variables negated.

Referenced by polybori::groebner::do_is_rewriteable().

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.

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

Access nvar-th ring variable.

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

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: