Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraCore.c445 Fra_ParamsDefault( pPars ); in Fra_FraigChoice()
472 Fra_ParamsDefault( pPars ); in Fra_FraigEquivence()
H A DfraMan.c45 void Fra_ParamsDefault( Fra_Par_t * pPars ) in Fra_ParamsDefault() function
H A DfraCec.c367 Fra_ParamsDefault( pParams ); in Fra_FraigCec()
H A Dfra.h346 extern void Fra_ParamsDefault( Fra_Par_t * pParams );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDar.c1432 Fra_ParamsDefault( pPars ); in Abc_NtkDarFraig()