Searched defs:iJustTail (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaCSatOld.c | 589 int iPropHead, iJustHead, iJustTail; in Cbs0_ManSolve_rec() local
|
H A D | giaCSat2.c | 1257 int iPropHead, iJustHead, iJustTail; in Cbs2_ManSolve1_rec() local 1311 int iPropHead, iJustHead, iJustTail; in Cbs2_ManSolve2_rec() local
|
H A D | giaCSat.c | 880 int iPropHead, iJustHead, iJustTail; in Cbs_ManSolve_rec() local
|
H A D | giaCTas.c | 1290 int iPropHead, iJustHead, iJustTail; in Tas_ManSolve_rec() local
|