DSDDecompose.h File Reference

#include "DSD.h"
#include "DSDManager.h"
#include "DSDInterface.h"
#include "DSDOrDecompose.h"
#include "DSDXorDecompose.h"
#include "DSDPrimeDecompose.h"
#include "DSDUtilities.h"
#include "DSDNewDecompose.h"

Go to the source code of this file.

Functions
DSDNode *	__DSD_Create (DSDManager *manager, DdNode *f)
DSDNode *	Decomposition (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *T, DSDNode *E)
DSDNode *	create_var (DSDManager *manager, DdNode *f)

---

Function Documentation

DSDNode* __DSD_Create (  DSDManager *  manager, DdNode *  f )

Internal function called by DSD_Create that computes the DSD from a BDD, f. A pointer to the DSDManager must be provided.

DSDNode* create_var (  DSDManager *  manager, DdNode *  f )

Internal function that produces a DSDNode that represents the variable corresponding to the BDD variable f.

DSDNode* Decomposition (  DSDManager *  manager, DdNode *  f, DdNode *  top_func, DSDNode *  T, DSDNode *  E )

Internal function called by __DSD_Create that tries different algorithms for identifying the DSD from the BDD. The variable top_func refers to the top BDD variable in f and T and E refer to the DSD of the 'then' BDD of f and the 'else' BDD of f respectively.

---