DSDDecompose.c File Reference

#include "DSDDecompose.h"

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

---

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.

void check_one (  DSDNode *  node  )

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.

---