00001 00019 #include "dsdInt.h" 00020 00024 00028 00050 Dsd_Type_t Dsd_NodeReadType( Dsd_Node_t * p ) { return p->Type; } 00051 DdNode * Dsd_NodeReadFunc( Dsd_Node_t * p ) { return p->G; } 00052 DdNode * Dsd_NodeReadSupp( Dsd_Node_t * p ) { return p->S; } 00053 Dsd_Node_t ** Dsd_NodeReadDecs( Dsd_Node_t * p ) { return p->pDecs; } 00054 Dsd_Node_t * Dsd_NodeReadDec ( Dsd_Node_t * p, int i ) { return p->pDecs[i]; } 00055 int Dsd_NodeReadDecsNum( Dsd_Node_t * p ) { return p->nDecs; } 00056 int Dsd_NodeReadMark( Dsd_Node_t * p ) { return p->Mark; } 00057 00074 void Dsd_NodeSetMark( Dsd_Node_t * p, int Mark ){ p->Mark = Mark; } 00075 00090 Dsd_Node_t * Dsd_ManagerReadRoot( Dsd_Manager_t * pMan, int i ) { return pMan->pRoots[i]; } 00091 Dsd_Node_t * Dsd_ManagerReadInput( Dsd_Manager_t * pMan, int i ) { return pMan->pInputs[i]; } 00092 Dsd_Node_t * Dsd_ManagerReadConst1( Dsd_Manager_t * pMan ) { return pMan->pConst1; } 00093 DdManager * Dsd_ManagerReadDd( Dsd_Manager_t * pMan ) { return pMan->dd; } 00094
1.6.1