Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/
H A DbdcSpfd.c459 void Bdc_SpfdUnmark1( Bdc_Ent_t * p, Bdc_Ent_t * pEnt ) in Bdc_SpfdUnmark1() function
464 Bdc_SpfdUnmark1( p, p + pEnt->iFan0 ); in Bdc_SpfdUnmark1()
465 Bdc_SpfdUnmark1( p, p + pEnt->iFan1 ); in Bdc_SpfdUnmark1()
487 Bdc_SpfdUnmark1( p, pEnt1 ); in Bdc_SpfdCheckOverlap()