Searched refs:pVarsThis (Results 1 – 1 of 1) sorted by relevance
2932 int pVarsThis[12], pVarsThat[12], pVarsAll[12]; in Abc_TtVerifyBiDec() local2942 pVarsThis[k++] = i; in Abc_TtVerifyBiDec()2950 Abc_TtExpand( pThis, nVars, pVarsThis, nThis, pVarsAll, nVars ); in Abc_TtVerifyBiDec()