DSDManipulations.c File Reference

#include "DSDManipulations.h"

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

---