PolyBoRi
Public Types | Public Member Functions | Protected Attributes | List of all members
polybori::dd_operations< CCuddNavigator > Class Template Reference

#include <pbori_algo_int.h>

Inheritance diagram for polybori::dd_operations< CCuddNavigator >:
polybori::CAuxTypes

Public Types

typedef DdManagermanager_type
 
typedef CCuddNavigator navigator
 
- Public Types inherited from polybori::CAuxTypes
typedef bool bool_type
 Type for standard true/false statements.
 
typedef std::size_t size_type
 Type for lengths, dimensions, etc.
 
typedef int deg_type
 Type for polynomial degrees (ranges from -1 to maxint)
 
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 short 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.
 
typedef unsigned long large_size_type
 large size_type (necessary?)
 
typedef std::size_t refcount_type
 Type for counting references.
 

Public Member Functions

 dd_operations (manager_type man)
 
void replacingUnite (navigator &newNode, const navigator &first, const navigator &second) const
 
void uniteAssign (navigator &first, const navigator &second) const
 
void diffAssign (navigator &first, const navigator &second) const
 
navigator diff (const navigator &first, const navigator &second) const
 
void replacingNode (navigator &newNode, idx_type idx, navigator &first, navigator &second) const
 
void newNodeAssign (idx_type idx, navigator &thenNode, const navigator &elseNode) const
 
void multiplesAssign (navigator &node, idx_type idx) const
 
void productAssign (navigator &node, idx_type idx) const
 
void assign (navigator &first, const navigator &second) const
 
void replace (navigator &first, const navigator &second) const
 
size_type nSupport (const navigator &node) const
 
size_type length (const navigator &node) const
 
navigatornewNode (navigator &node) const
 
void kill (navigator &node) const
 

Protected Attributes

manager_type mgr
 

Member Typedef Documentation

typedef DdManager* polybori::dd_operations< CCuddNavigator >::manager_type
typedef CCuddNavigator polybori::dd_operations< CCuddNavigator >::navigator

Constructor & Destructor Documentation

polybori::dd_operations< CCuddNavigator >::dd_operations ( manager_type  man)
inline

Member Function Documentation

void polybori::dd_operations< CCuddNavigator >::assign ( navigator first,
const navigator second 
) const
inline
navigator polybori::dd_operations< CCuddNavigator >::diff ( const navigator first,
const navigator second 
) const
inline
void polybori::dd_operations< CCuddNavigator >::diffAssign ( navigator first,
const navigator second 
) const
inline
void polybori::dd_operations< CCuddNavigator >::kill ( navigator node) const
inline
size_type polybori::dd_operations< CCuddNavigator >::length ( const navigator node) const
inline
void polybori::dd_operations< CCuddNavigator >::multiplesAssign ( navigator node,
idx_type  idx 
) const
inline
navigator& polybori::dd_operations< CCuddNavigator >::newNode ( navigator node) const
inline
void polybori::dd_operations< CCuddNavigator >::newNodeAssign ( idx_type  idx,
navigator thenNode,
const navigator elseNode 
) const
inline
size_type polybori::dd_operations< CCuddNavigator >::nSupport ( const navigator node) const
inline
void polybori::dd_operations< CCuddNavigator >::productAssign ( navigator node,
idx_type  idx 
) const
inline

References Cudd_ReadZero, and PBORI_PREFIX.

void polybori::dd_operations< CCuddNavigator >::replace ( navigator first,
const navigator second 
) const
inline
void polybori::dd_operations< CCuddNavigator >::replacingNode ( navigator newNode,
idx_type  idx,
navigator first,
navigator second 
) const
inline
void polybori::dd_operations< CCuddNavigator >::replacingUnite ( navigator newNode,
const navigator first,
const navigator second 
) const
inline
void polybori::dd_operations< CCuddNavigator >::uniteAssign ( navigator first,
const navigator second 
) const
inline

Member Data Documentation

manager_type polybori::dd_operations< CCuddNavigator >::mgr
protected

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