dsdApi.c

Go to the documentation of this file.

 
#include "dsdInt.h"
 
ABC_NAMESPACE_IMPL_START
 
 


Dsd_Type_t    Dsd_NodeReadType( Dsd_Node_t * p )         { return p->Type;     } 
DdNode *      Dsd_NodeReadFunc( Dsd_Node_t * p )         { return p->G;        } 
DdNode *      Dsd_NodeReadSupp( Dsd_Node_t * p )         { return p->S;        } 
Dsd_Node_t ** Dsd_NodeReadDecs( Dsd_Node_t * p )         { return p->pDecs;    } 
Dsd_Node_t *  Dsd_NodeReadDec ( Dsd_Node_t * p, int i )  { return p->pDecs[i]; } 
int           Dsd_NodeReadDecsNum( Dsd_Node_t * p )      { return p->nDecs;    } 
word          Dsd_NodeReadMark( Dsd_Node_t * p )         { return p->Mark;     } 

void          Dsd_NodeSetMark( Dsd_Node_t * p, word 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]; } 
Dsd_Node_t *  Dsd_ManagerReadConst1( Dsd_Manager_t * pMan )       { return pMan->pConst1;    } 
DdManager *   Dsd_ManagerReadDd( Dsd_Manager_t * pMan )           { return pMan->dd;         } 

ABC_NAMESPACE_IMPL_END