Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/
H A DbdcInt.h124 abctime timeSupps; member
H A DbdcDec.c73 p->timeSupps += Abc_Clock() - clk; in Bdc_SuppMinimize2()
109 p->timeSupps += Abc_Clock() - clk; in Bdc_SuppMinimize()
H A DbdcCore.c124 ABC_PRT( "Supps", p->timeSupps ); in Bdc_ManFree()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkInt.h127 abctime timeSupps; member
H A DlpkCore.c504 p->timeSupps += Abc_Clock() - clk; in Lpk_ResynthesizeNodeNew()
745 ABC_PRTP( "CSupps", p->timeSupps, p->timeTotal ); in Lpk_Resynthesize()