Searched refs:pVarsAll (Results 1 – 1 of 1) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
H A D | utilTruth.h | 2932 int pVarsThis[12], pVarsThat[12], pVarsAll[12]; in Abc_TtVerifyBiDec() local 2939 pVarsAll[i] = i; in Abc_TtVerifyBiDec() 2950 Abc_TtExpand( pThis, nVars, pVarsThis, nThis, pVarsAll, nVars ); in Abc_TtVerifyBiDec() 2951 Abc_TtExpand( pThat, nVars, pVarsThat, nThat, pVarsAll, nVars ); in Abc_TtVerifyBiDec()
|