Searched refs:Dau_DsdPerform_rec (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauDsd.c | 673 int Dau_DsdPerform_rec( word t, char * pBuffer, int Pos, int * pVars, int nVars ) in Dau_DsdPerform_rec() function
713 Pos = Dau_DsdPerform_rec( Cof1[v], pBuffer, Pos, pVarsNew, nVarsNew ); in Dau_DsdPerform_rec()
722 Pos = Dau_DsdPerform_rec( ~Cof1[v], pBuffer, Pos, pVarsNew, nVarsNew ); in Dau_DsdPerform_rec()
731 Pos = Dau_DsdPerform_rec( Cof0[v], pBuffer, Pos, pVarsNew, nVarsNew ); in Dau_DsdPerform_rec()
741 Pos = Dau_DsdPerform_rec( ~Cof0[v], pBuffer, Pos, pVarsNew, nVarsNew ); in Dau_DsdPerform_rec()
749 Pos = Dau_DsdPerform_rec( Cof0[v], pBuffer, Pos, pVarsNew, nVarsNew ); in Dau_DsdPerform_rec()
766 …Pos = Dau_DsdPerform_rec( (s_Truths6[pVarsNew[u]] & Cof[3]) | (~s_Truths6[pVarsNew[u]] & Cof[0]), … in Dau_DsdPerform_rec()
774 …Pos = Dau_DsdPerform_rec( (s_Truths6[pVarsNew[u]] & Cof[2]) | (~s_Truths6[pVarsNew[u]] & Cof[0]), … in Dau_DsdPerform_rec()
823 Pos = Dau_DsdPerform_rec( Cof1[vBest], pBuffer, Pos, pVarsNew, nVarsNew ); in Dau_DsdPerform_rec()
824 Pos = Dau_DsdPerform_rec( Cof0[vBest], pBuffer, Pos, pVarsNew, nVarsNew ); in Dau_DsdPerform_rec()
[all …]
|