From bd640142e0fe2260e3d28e187f21a36d3cc8e08f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 7 Aug 2005 08:01:00 -0700 Subject: Version abc50807 --- src/bdd/dsd/dsdApi.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/bdd/dsd/dsdApi.c') 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 /// -- cgit v1.2.3