Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/dec/
H A DdecFactor.c190 Dec_Man_t * pManDec = (Dec_Man_t *)Abc_FrameReadManDec(); in Dec_FactorLF_rec()
235 Dec_Man_t * pManDec = (Dec_Man_t *)Abc_FrameReadManDec(); in Dec_FactorTrivial()
328 Dec_Man_t * pManDec = (Dec_Man_t *)Abc_FrameReadManDec(); in Dec_ConvertSopToMvc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/main/
H A Dmain.h105 extern ABC_DLL void * Abc_FrameReadManDec();
H A DmainFrame.c66 void * Abc_FrameReadManDec() { if ( s_GlobalFrame->pManDec == NULL … in Abc_FrameReadManDec() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/rwr/
H A DrwrMan.c56 pManDec = (Dec_Man_t *)Abc_FrameReadManDec(); in Rwr_ManStart()