Home
last modified time | relevance | path

Searched defs:pDsdMan (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/dsd/
H A DdsdTree.c107 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 DdsdProc.c113 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 DlpkInt.h107 Kit_DsdMan_t* pDsdMan; member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c18867 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