Searched refs:fCnf (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcMulti.c | 64 Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMulti, int f… in Abc_NtkMulti() argument 77 if ( fCnf ) in Abc_NtkMulti() 100 if ( fCnf ) in Abc_NtkMulti() 650 Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMulti, int f…
|
H A D | abcVerify.c | 58 …extern Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMult… in Abc_NtkCecSat() 492 …extern Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMult… in Abc_NtkSecSat()
|
H A D | abcMap.c | 598 …extern Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMult… in Abc_NtkFromMapSuperChoice()
|
H A D | abcBm.c | 969 …extern Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMult… in Abc_NtkBmSat()
|
H A D | abcSaucy.c | 3179 …extern Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMult… in Abc_NtkCecSat_saucy()
|
H A D | abc.c | 3852 int fCnf; in Abc_CommandMulti() local 3856 …extern Abc_Ntk_t * Abc_NtkMulti( Abc_Ntk_t * pNtk, int nThresh, int nFaninMax, int fCnf, int fMult… in Abc_CommandMulti() 3863 fCnf = 0; in Abc_CommandMulti() 3895 fCnf ^= 1; in Abc_CommandMulti() 3925 pNtkRes = Abc_NtkMulti( pNtk, nThresh, nFaninMax, fCnf, fMulti, fSimple, fFactor ); in Abc_CommandMulti() 3946 …Abc_Print( -2, "\t-c : performs renoding to derive the CNF [default = %s]\n", fCnf? "yes": "n… in Abc_CommandMulti()
|