Searched defs:vLeaves2 (Results 1 – 4 of 4) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
| H A D | nwkAig.c | 223 Vec_Int_t * vPPis, * vNodes, * vLeaves, * vNodes2, * vLeaves2, * vMapInv; in Nwk_ManDeriveMinCut() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
| H A D | mpmAbc.c | 219 Vec_Int_t * vLeaves, * vLeaves2, * vCover; in Mpm_ManFromIfLogic() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaIf.c | 1098 Vec_Int_t * vLeaves2 = Vec_IntAlloc( 4 ); in Gia_ManFromIfLogicNode() local
1650 …New, If_Man_t * pIfMan, If_Cut_t * pCutBest, Vec_Int_t * vLeaves, Vec_Int_t * vLeaves2, Vec_Int_t … in Gia_ManFromIfLogicCofVars()
1726 …New, If_Man_t * pIfMan, If_Cut_t * pCutBest, Vec_Int_t * vLeaves, Vec_Int_t * vLeaves2, Vec_Int_t … in Gia_ManFromIfLogicAndVars()
1789 Vec_Int_t * vLeaves, * vLeaves2, * vCover, * vLits; in Gia_ManFromIfLogic() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcMffc.c | 788 Vec_Ptr_t * vLeaves2, * vRoots2, * vVolume2; in Abc_NktMffcTestIdeaOne() local
|