381     Vec_Int_t * vMap = Vec_IntStartFull( Gia_ManObjNum(p) );  in Acec_TreeCarryMap()  local
386             Vec_IntWriteEntry( vMap, Vec_IntEntry(vAdds, 6*Box+4), Box );  in Acec_TreeCarryMap()
387     return vMap;  in Acec_TreeCarryMap()
389 void Acec_TreePhases_rec( Gia_Man_t * p, Vec_Int_t * vAdds, Vec_Int_t * vMap, int Node, int fPhase,…  in Acec_TreePhases_rec()  argument
393     iBox = Vec_IntEntry( vMap, Node );  in Acec_TreePhases_rec()
418         Acec_TreePhases_rec( p, vAdds, vMap, iObj, fPhaseThis, vVisit );  in Acec_TreePhases_rec()
436 void Acec_TreeAddInOutPoint( Vec_Int_t * vMap, int iObj, int iAdd, int fOut )  in Acec_TreeAddInOutPoint()  argument
438     int * pPlace = Vec_IntEntryP( vMap, Abc_Var2Lit(iObj, fOut) );  in Acec_TreeAddInOutPoint()
446     Vec_Int_t * vMap = Vec_IntStartFull( 2*Gia_ManObjNum(p) );  in Acec_TreeFindPoints()  local
452         Acec_TreeAddInOutPoint( vMap, Vec_IntEntry(vAdds, 6*i+0), i, 0 );  in Acec_TreeFindPoints()
453         Acec_TreeAddInOutPoint( vMap, Vec_IntEntry(vAdds, 6*i+1), i, 0 );  in Acec_TreeFindPoints()
454         Acec_TreeAddInOutPoint( vMap, Vec_IntEntry(vAdds, 6*i+2), i, 0 );  in Acec_TreeFindPoints()
455         Acec_TreeAddInOutPoint( vMap, Vec_IntEntry(vAdds, 6*i+3), i, 1 );  in Acec_TreeFindPoints()
456         Acec_TreeAddInOutPoint( vMap, Vec_IntEntry(vAdds, 6*i+4), i, 1 );  in Acec_TreeFindPoints()
458     return vMap;  in Acec_TreeFindPoints()
481 void Acec_TreeFindTrees2_rec( Vec_Int_t * vAdds, Vec_Int_t * vMap, int iAdd, int Rank, Vec_Int_t * …  in Acec_TreeFindTrees2_rec()  argument
483 …extern void Acec_TreeFindTrees_rec( Vec_Int_t * vAdds, Vec_Int_t * vMap, int iObj, int Rank, Vec_I…  in Acec_TreeFindTrees2_rec()
492 …Acec_TreeFindTrees_rec( vAdds, vMap, Vec_IntEntry(vAdds, 6*iAdd+k), k == 4 ? Rank + 1 : Rank, vTre…  in Acec_TreeFindTrees2_rec()
494 void Acec_TreeFindTrees_rec( Vec_Int_t * vAdds, Vec_Int_t * vMap, int iObj, int Rank, Vec_Int_t * v…  in Acec_TreeFindTrees_rec()  argument
496     int In  = Vec_IntEntry( vMap, Abc_Var2Lit(iObj, 1) );  in Acec_TreeFindTrees_rec()
497     int Out = Vec_IntEntry( vMap, Abc_Var2Lit(iObj, 0) );  in Acec_TreeFindTrees_rec()
500 …Acec_TreeFindTrees2_rec( vAdds, vMap, In,  Acec_TreeWhichPoint(vAdds, In, iObj) == 4 ? Rank-1 : Ra…  in Acec_TreeFindTrees_rec()
501     Acec_TreeFindTrees2_rec( vAdds, vMap, Out, Rank, vTree, vFound );  in Acec_TreeFindTrees_rec()
506     Vec_Int_t * vMap   = Acec_TreeFindPoints( p, vAdds, vIgnore );  in Acec_TreeFindTrees()  local
511     Vec_IntForEachEntryDouble( vMap, In, Out, i )  in Acec_TreeFindTrees()
519         Acec_TreeFindTrees_rec( vAdds, vMap, i/2, 0, vTree, vFound );  in Acec_TreeFindTrees()
528     Vec_IntFree( vMap );  in Acec_TreeFindTrees()
613     Vec_Int_t * vLevel, * vMap;  in Acec_CreateBox()  local
642     vMap = Acec_TreeCarryMap( p, vAdds, pBox->vAdds );  in Acec_CreateBox()
648 …Acec_TreePhases_rec( p, vAdds, vMap, Vec_IntEntry(vAdds, 6*Box+4), Vec_IntEntry(vAdds, 6*Box+2) !=…  in Acec_CreateBox()
653     Vec_IntFree( vMap );  in Acec_CreateBox()