DSDManipulations.h File Reference

#include "DSD.h"
#include "DSDManager.h"

Go to the source code of this file.

Functions
void	__Decomposition_Print (DSDNode *dsd_node)
void	__Recursive_Decomposition_Print (DSDNode *dsd_node)
DdNode *	__Get_Symbolic_Decomposition (DSDNode *dsd_node)
DdNode *	__Get_BDD (DSDNode *dsd_node)

---

Function Documentation

void __Decomposition_Print (  DSDNode *  dsd_node  )

Internal function to print the decomposition type with actuals list of a particular DSD node

DdNode* __Get_BDD (  DSDNode *  dsd_node  )

Internal function returns the BDD rooted at a particular DSD node

DdNode* __Get_Symbolic_Decomposition (  DSDNode *  dsd_node  )

Internal function returns symbolic kernel for a particular DSD node

void __Recursive_Decomposition_Print (  DSDNode *  dsd_node  )

Internal function to print the full decomposition tree rooted at that particular DSD node

---