Main Page | Struct List | File List | Struct Members | File Members

DSDDecompose.c File Reference

#include "DSDDecompose.h"

Functions

void check_one (DSDNode *node)
DSDNode__DSD_Create (DSDManager *manager, DdNode *f)
DSDNodecreate_var (DSDManager *manager, DdNode *f)
DSDNodeDecomposition (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.


Generated on Thu Jan 27 11:30:33 2005 for STACCATO_PROJECT by  doxygen 1.4.0