Searched defs:ProbeId (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSweeper.c | 252 int ProbeId = Vec_IntSize(pSwp->vProbes); in Gia_SweeperProbeCreate() local
258 int Gia_SweeperProbeDelete( Gia_Man_t * p, int ProbeId ) in Gia_SweeperProbeDelete()
267 int Gia_SweeperProbeUpdate( Gia_Man_t * p, int ProbeId, int iLitNew ) in Gia_SweeperProbeUpdate()
276 int Gia_SweeperProbeLit( Gia_Man_t * p, int ProbeId ) in Gia_SweeperProbeLit()
299 int iLit, ProbeId; in Gia_SweeperCollectValidProbeIds() local
319 void Gia_SweeperCondPush( Gia_Man_t * p, int ProbeId ) in Gia_SweeperCondPush()
363 int i, ProbeId; in Gia_SweeperExtractUserLogic() local
467 int i, iLit, ProbeId; in Gia_SweeperCleanup() local
927 int RetValue, ProbeId, iLitAig, i; in Gia_SweeperCondCheckUnsat() local
1068 int ProbeId, i; in Gia_SweeperFraig() local
[all …]
|