Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A Dsaig.h132 extern Abc_Cex_t * Saig_ManExtendCex( Aig_Man_t * pAig, Abc_Cex_t * p );
H A DsaigDup.c384 Abc_Cex_t * Saig_ManExtendCex( Aig_Man_t * pAig, Abc_Cex_t * p ) in Saig_ManExtendCex() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A Dio.c2378 Abc_Cex_t * pCexFull = Saig_ManExtendCex( pAig, pCex ); in Abc_NtkDumpOneCex()