diff options
Diffstat (limited to 'src/bdd/dsd/dsdApi.c')
-rw-r--r-- | src/bdd/dsd/dsdApi.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bdd/dsd/dsdApi.c b/src/bdd/dsd/dsdApi.c index f2269092..daf3080f 100644 --- a/src/bdd/dsd/dsdApi.c +++ b/src/bdd/dsd/dsdApi.c @@ -89,6 +89,7 @@ void Dsd_NodeSetMark( Dsd_Node_t * p, int Mark ){ p->Mark = Mark; } ***********************************************************************/ Dsd_Node_t * Dsd_ManagerReadRoot( Dsd_Manager_t * pMan, int i ) { return pMan->pRoots[i]; } Dsd_Node_t * Dsd_ManagerReadInput( Dsd_Manager_t * pMan, int i ) { return pMan->pInputs[i]; } +DdManager * Dsd_ManagerReadDd( Dsd_Manager_t * pMan ) { return pMan->dd; } //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |