Home
last modified time | relevance | path

Searched refs:iHeadOld (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaCSat.c350 static inline void Cbs_QueRestore( Cbs_Que_t * p, int iHeadOld, int iTailOld ) in Cbs_QueRestore() argument
352 p->iHead = iHeadOld; in Cbs_QueRestore()
369 int iHeadOld = p->iHead; in Cbs_QueFinish() local
373 return iHeadOld; in Cbs_QueFinish()
H A DgiaCSatOld.c310 static inline void Cbs0_QueRestore( Cbs0_Que_t * p, int iHeadOld, int iTailOld ) in Cbs0_QueRestore() argument
312 p->iHead = iHeadOld; in Cbs0_QueRestore()
H A DgiaCTas.c401 static inline void Tas_QueRestore( Tas_Que_t * p, int iHeadOld, int iTailOld ) in Tas_QueRestore() argument
403 p->iHead = iHeadOld; in Tas_QueRestore()
420 int iHeadOld = p->iHead; in Tas_QueFinish() local
424 return iHeadOld; in Tas_QueFinish()
H A DgiaCSat2.c439 static inline void Cbs2_QueRestore( Cbs2_Que_t * p, int iHeadOld, int iTailOld ) in Cbs2_QueRestore() argument
441 p->iHead = iHeadOld; in Cbs2_QueRestore()