Searched defs:pDsdMan (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/dsd/ |
H A D | dsdTree.c | 107 void Dsd_TreeUnmark( Dsd_Manager_t * pDsdMan ) in Dsd_TreeUnmark() 156 void Dsd_TreeNodeGetInfo( Dsd_Manager_t * pDsdMan, int * DepthMax, int * GateSizeMax ) in Dsd_TreeNodeGetInfo() 310 int Dsd_TreeCountNonTerminalNodes( Dsd_Manager_t * pDsdMan ) in Dsd_TreeCountNonTerminalNodes() 389 int Dsd_TreeCountPrimeNodes( Dsd_Manager_t * pDsdMan ) in Dsd_TreeCountPrimeNodes() 470 int Dsd_TreeCollectDecomposableVars( Dsd_Manager_t * pDsdMan, int * pVars ) in Dsd_TreeCollectDecomposableVars() 555 Dsd_Node_t ** Dsd_TreeCollectNodesDfs( Dsd_Manager_t * pDsdMan, int * pnNodes ) in Dsd_TreeCollectNodesDfs() 585 Dsd_Node_t ** Dsd_TreeCollectNodesDfsOne( Dsd_Manager_t * pDsdMan, Dsd_Node_t * pNode, int * pnNode… in Dsd_TreeCollectNodesDfsOne() 641 void Dsd_TreePrint( FILE * pFile, Dsd_Manager_t * pDsdMan, char * pInputNames[], char * pOutputName… in Dsd_TreePrint() 917 void Dsd_TreePrint2( FILE * pFile, Dsd_Manager_t * pDsdMan, char * pInputNames[], char * pOutputNam… in Dsd_TreePrint2()
|
H A D | dsdProc.c | 113 void Dsd_Decompose( Dsd_Manager_t * pDsdMan, DdNode ** pbFuncs, int nFuncs ) in Dsd_Decompose() 230 Dsd_Node_t * Dsd_DecomposeOne( Dsd_Manager_t * pDsdMan, DdNode * bFunc ) in Dsd_DecomposeOne() 246 Dsd_Node_t * dsdKernelDecompose_rec( Dsd_Manager_t * pDsdMan, DdNode * bFunc0 ) in dsdKernelDecompose_rec() 1300 Dsd_Node_t * dsdKernelFindContainingComponent( Dsd_Manager_t * pDsdMan, Dsd_Node_t * pWhere, DdNode… in dsdKernelFindContainingComponent() 1340 int dsdKernelFindCommonComponents( Dsd_Manager_t * pDsdMan, Dsd_Node_t * pL, Dsd_Node_t * pH, Dsd_N… in dsdKernelFindCommonComponents() 1425 void dsdKernelComputeSumOfComponents( Dsd_Manager_t * pDsdMan, Dsd_Node_t ** pCommon, int nCommon, … in dsdKernelComputeSumOfComponents() 1483 int dsdKernelCheckContainment( Dsd_Manager_t * pDsdMan, Dsd_Node_t * pL, Dsd_Node_t * pH, Dsd_Node_… in dsdKernelCheckContainment() 1559 int dsdKernelVerifyDecomposition( Dsd_Manager_t * pDsdMan, Dsd_Node_t * pDE ) in dsdKernelVerifyDecomposition()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
H A D | lpkInt.h | 107 Kit_DsdMan_t* pDsdMan; member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abc.c | 18867 If_DsdMan_t * pDsdMan = (If_DsdMan_t *)Abc_FrameReadManDsd(); in Abc_CommandIf() local 19318 If_DsdMan_t * pDsdMan; in Abc_CommandDsdLoad() local 19545 If_DsdMan_t * pDsdMan = (If_DsdMan_t *)Abc_FrameReadManDsd(); in Abc_CommandDsdMatch() local 19658 If_DsdMan_t * pDsdMan; in Abc_CommandDsdMerge() local 37943 If_DsdMan_t * pDsdMan = (If_DsdMan_t *)Abc_FrameReadManDsd(); in Abc_CommandAbc9If() local
|