622                 Lit1 = Abc_Lit2Var( pArray[1] );  in Fx_ManDivFindCubeFree()  local
624             if ( Lit0 > Lit1 )  in Fx_ManDivFindCubeFree()
625                 ABC_SWAP( int, Lit0, Lit1 );  in Fx_ManDivFindCubeFree()
628             Vec_IntWriteEntry( vCubeFree, 1, Abc_Var2Lit( Lit1, 1 ) );  in Fx_ManDivFindCubeFree()
969     int i, k, Lit0, Lit1, iVarNew = 0, RetValue, Level;  in Fx_ManUpdate()  local
977     Fx_ManDivFindPivots( vDiv, &Lit0, &Lit1 );  in Fx_ManUpdate()
978     assert( Lit0 >= 0 && Lit1 >= 0 );  in Fx_ManUpdate()
986         Fx_ManCompressCubes( p->vCubes, Vec_WecEntry(p->vLits, Abc_LitNot(Lit1)) );  in Fx_ManUpdate()
987 …( Vec_WecEntry(p->vLits, Abc_LitNot(Lit0)), Vec_WecEntry(p->vLits, Abc_LitNot(Lit1)), p->vCubesS );  in Fx_ManUpdate()
992     Fx_ManCompressCubes( p->vCubes, Vec_WecEntry(p->vLits, Lit1) );  in Fx_ManUpdate()
993 …Fx_ManFindCommonPairs( p->vCubes, Vec_WecEntry(p->vLits, Lit0), Vec_WecEntry(p->vLits, Lit1), p->v…  in Fx_ManUpdate()
1015 …if ( Abc_Lit2Var(Lit0) == Abc_Lit2Var(Lit1) && Vec_IntSize(Hsh_VecReadEntry(p->pHash, iDiv)) == 2 )  in Fx_ManUpdate()
1027         Vec_IntPush( vCube, Abc_LitNot(Lit1) );  in Fx_ManUpdate()
1050         RetValue += Vec_IntRemove1( vCube, Abc_LitNot(Lit1) );  in Fx_ManUpdate()