Searched refs:pVarsF (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauNonDsd.c | 583 int V2P[16], P2V[16], pVarsU[16], pVarsS[16], pVarsF[16]; in Dau_DecDecomposeSet() local
596 pVarsF[nVarsF++] = v; in Dau_DecDecomposeSet()
617 Abc_TtMoveVar( p, nVars, V2P, P2V, pVarsF[v], c++ ); in Dau_DecDecomposeSet()
654 pPermC[v] = pVarsF[v]; in Dau_DecDecomposeSet()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaIf.c | 1443 int nVarsF = 0, pVarsF[IF_MAX_FUNC_LUTSIZE]; in Gia_ManFromIfLogicFindLut() local
1487 pVarsF[nVarsF++] = k; in Gia_ManFromIfLogicFindLut()
1507 Vec_IntPush( vLits, Vec_IntEntry(vLeaves, pVarsF[k]) ); in Gia_ManFromIfLogicFindLut()
|