This template class defines a facade for decision diagrams. More...

#include <CCuddDDFacade.h>

Inheritance diagram for polybori::CCuddDDFacade< RingType, DiagramType >:

Public Types
typedef CTypes::ostream_type	ostream_type
	Type for output streams. More...

typedef RingType	ring_type
	Type for diagrams. More...

typedef DiagramType	diagram_type
	Type for diagrams. More...

typedef DdNode	node_type
	Type for C-style struct. More...

typedef node_type *	node_ptr
	Pointer type for nodes. More...

typedef CApplyNodeFacade< diagram_type, node_ptr >	base
	Type this is inherited from the following. More...

typedef CCuddFirstIter	first_iterator
	Iterator type for retrieving first term from Cudd's ZDDs. More...

typedef CCuddLastIter	last_iterator
	Iterator type for retrieving last term from Cudd's ZDDs. More...

typedef CCuddNavigator	navigator
	Iterator type for navigation throught Cudd's ZDDs structure. More...

typedef valid_tag	easy_equality_property
	This type has an easy equality check. More...

typedef ring_type::mgr_type	mgr_type
	Raw context. More...

typedef int	cudd_idx_type
	Cudd's index type. More...

typedef CCheckedIdx	checked_idx_type
	Cudd's index type. More...

Public Types inherited from polybori::CApplyNodeFacade< DiagramType, DdNode * >
typedef DiagramType	diagram_type

typedef DdNode *	node_ptr

Public Types inherited from polybori::CAuxTypes
typedef bool	bool_type
	Type for standard true/false statements. More...

typedef std::size_t	size_type
	Type for lengths, dimensions, etc. More...

typedef int	deg_type
	Type for polynomial degrees (ranges from -1 to maxint) More...

typedef int	integer_type
	Type for integer numbers. More...

typedef int	idx_type
	Type for indices. More...

typedef std::size_t	hash_type
	Type for hashing. More...

typedef unsigned int	errornum_type
	Type used to store error codes. More...

typedef short int	comp_type
	Type for comparisons. More...

typedef int	ordercode_type
	Type for ordering codes. More...

typedef const char *	errortext_type
	Type used to verbose error information. More...

typedef std::ostream	ostream_type
	Type for out-stream. More...

typedef const char *	vartext_type
	Type for setting/getting names of variables. More...

typedef unsigned long	large_size_type
	large size_type (necessary?) More...

typedef std::size_t	refcount_type
	Type for counting references. More...

Public Member Functions
	CCuddDDFacade (const ring_type &ring, node_ptr node)
	Construct diagram from ring and node. More...

	CCuddDDFacade (const ring_type &ring, const navigator &navi)
	Construct from Manager and navigator. More...

	CCuddDDFacade (const ring_type &ring, idx_type idx, navigator thenNavi, navigator elseNavi)
	Construct new node from manager, index, and navigators. More...

	CCuddDDFacade (const ring_type &ring, idx_type idx, navigator navi)

	CCuddDDFacade (idx_type idx, const self &thenDD, const self &elseDD)
	Construct new node. More...

	CCuddDDFacade (const self &from)
	Copy constructor. More...

	~CCuddDDFacade ()
	Destructor. More...

diagram_type &	operator= (const diagram_type &rhs)
	Assignment operator. More...

*bool	implies (const self &rhs) const
	Performs the inclusion test for ZDDs. More...

size_type	count () const
	Determine the number of terms. More...

double	countDouble () const
	Appriximate the number of terms. More...

size_type	rootIndex () const
	Get index of curent node. More...

size_type	nNodes () const
	Number of nodes in the current decision diagram. More...

size_type	refCount () const
	Number of references pointing here. More...

bool	isZero () const
	Test whether diagram represents the empty set. More...

bool	isOne () const
	Test whether diagram represents the empty set. More...

const ring_type &	ring () const
	Get reference to ring. More...

node_ptr	getNode () const
	Get raw node structure. More...

mgr_type *	getManager () const
	Get raw decision diagram manager. More...

diagram_type	Xor (const diagram_type &rhs) const
	Union Xor. More...

diagram_type	divideFirst (const diagram_type &rhs) const
	Division with first term of right-hand side. More...

ostream_type &	print (ostream_type &os) const
	Get number of nodes in decision diagram. More...

first_iterator	firstBegin () const
	Get numbers of used variables. More...

first_iterator	firstEnd () const
	Finish of first term. More...

last_iterator	lastBegin () const
	Start of first term. More...

last_iterator	lastEnd () const
	Finish of first term. More...

diagram_type	firstMultiples (const std::vector< idx_type > &input_multipliers) const
	Get decison diagram representing the multiples of the first term. More...

diagram_type	firstDivisors () const
	Get decison diagram representing the divisors of the first term. More...

navigator	navigation () const
	Navigate through ZDD by incrementThen(), incrementElse(), and terminated() More...

bool_type	isConstant () const
	Checks whether the the diagram corresponds to {} or {{}} (polynomial 0 or 1) More...

Functions for print useful information
std::ostream &	printIntern (std::ostream &os) const

void	PrintMinterm () const

Public Member Functions inherited from polybori::CApplyNodeFacade< DiagramType, DdNode * >
bool	operator== (const diagram_type &rhs) const
	Equality. More...

bool	operator!= (const diagram_type &rhs) const
	Nonequality. More...

Protected Member Functions
template<class ResultType >
ResultType	memApply (ResultType(func)(mgr_type , node_ptr)) const

void	checkAssumption (bool isValid) const
	Check whether previous decision diagram operation for validity. More...

template<class ManagerType , class ReverseIterator , class MultReverseIterator >
diagram_type	cudd_generate_multiples (const ManagerType &mgr, ReverseIterator start, ReverseIterator finish, MultReverseIterator multStart, MultReverseIterator multFinish) const
	temporarily (needs to be more generic) (similar fct in pbori_algo.h) More...

template<class ManagerType , class ReverseIterator >
diagram_type	cudd_generate_divisors (const ManagerType &mgr, ReverseIterator start, ReverseIterator finish) const
	temporarily (needs to be more generic) (similar fct in pbori_algo.h) More...

Protected Member Functions inherited from polybori::CApplyNodeFacade< DiagramType, DdNode * >
void	checkSameManager (const diagram_type &other) const
	Test, whether both operands. More...

diagram_type	diagram (node_ptr node) const
	Get diagram of the same context. More...

diagram_type	apply (node_ptr(*func)(MgrType, node_ptr)) const
	Unary function. More...

diagram_type	apply (node_ptr(*func)(MgrType, node_ptr, node_ptr), const diagram_type &rhs) const
	Binary function (two diagrams) More...

diagram_type	apply (node_ptr(*func)(MgrType, node_ptr, node_ptr, node_ptr), const diagram_type &first, const diagram_type &second) const
	Ternary function (three diagrams) More...

diagram_type	apply (node_ptr(*func)(MgrType, node_ptr, Type), Type value) const
	Binary functions with non-diagram right-hand side. More...

ResultType	apply (ResultType(*func)(MgrType, node_ptr)) const
	Unary functions with non-diagram result value. More...