Searched defs:fSetReset (Results 1 – 2 of 2) sorted by relevance
130 void Gia_ManDetectSeqSignals( Gia_Man_t * p, int fSetReset, int fVerbose ) in Gia_ManDetectSeqSignals()
31177 int fSetReset = 1; in Abc_CommandAbc9PSig() local