Searched refs:Vec_IntTwoRemove (Results 1 – 2 of 2) sorted by relevance
1143 Vec_IntTwoRemove( Vec_WecEntry(p->vLits, Abc_Lit2Var(Lit0)), p->vCubesD ); in Fx_ManUpdate()1145 Vec_IntTwoRemove( Vec_WecEntry(p->vLits, Abc_LitNot(Abc_Lit2Var(Lit0))), p->vCubesD ); in Fx_ManUpdate()
1772 static inline int Vec_IntTwoRemove( Vec_Int_t * vArr1, Vec_Int_t * vArr2 ) in Vec_IntTwoRemove() function