Searched refs:Fra_FraigSec (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/main/ |
H A D | mainMC.c | 113 RetValue = Fra_FraigSec( pAig, pSecPar, NULL ); in main()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fra.h | 361 extern int Fra_FraigSec( Aig_Man_t * p, Fra_Sec_t * pParSec, Aig_Man_t ** ppResult …
|
H A D | fraSec.c | 95 int Fra_FraigSec( Aig_Man_t * p, Fra_Sec_t * pParSec, Aig_Man_t ** ppResult ) in Fra_FraigSec() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaTim.c | 1044 Status = Fra_FraigSec( pMan, pSecPar, NULL ); in Gia_ManVerifyWithBoxes()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDar.c | 2919 RetValue = Fra_FraigSec( pMan, pSecPar, NULL ); in Abc_NtkDarProve() 3018 RetValue = Fra_FraigSec( pMan, pSecPar, NULL ); in Abc_NtkDarSec()
|