#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) |
|
Internal function to print the decomposition type with actuals list of a particular DSD node |
|
Internal function returns the BDD rooted at a particular DSD node |
|
Internal function returns symbolic kernel for a particular DSD node |
|
Internal function to print the full decomposition tree rooted at that particular DSD node |