/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchCnf.c | 217 void Dch_CollectSuper_rec( Aig_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Dch_CollectSuper_rec() 243 void Dch_CollectSuper( Aig_Obj_t * pObj, int fUseMuxes, Vec_Ptr_t * vSuper ) in Dch_CollectSuper() 291 int i, k, fUseMuxes = 1; in Dch_CnfNodeAddToSolver() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraCnf.c | 167 void Fra_CollectSuper_rec( Aig_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Fra_CollectSuper_rec() 192 Vec_Ptr_t * Fra_CollectSuper( Aig_Obj_t * pObj, int fUseMuxes ) in Fra_CollectSuper() 242 int i, k, fUseMuxes = 1; in Fra_CnfNodeAddToSolver() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswCnf.c | 276 void Ssw_CollectSuper_rec( Aig_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Ssw_CollectSuper_rec() 303 void Ssw_CollectSuper( Aig_Obj_t * pObj, int fUseMuxes, Vec_Ptr_t * vSuper ) in Ssw_CollectSuper() 355 int i, k, fUseMuxes = 1; in Ssw_CnfNodeAddToSolver() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
H A D | amap.h | 50 int fUseMuxes; // enables the use of MUXes member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSolve.c | 236 void Cec_CollectSuper_rec( Gia_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Cec_CollectSuper_rec() 262 void Cec_CollectSuper( Gia_Obj_t * pObj, int fUseMuxes, Vec_Ptr_t * vSuper ) in Cec_CollectSuper() 310 int i, k, fUseMuxes = 1; in Cec_CnfNodeAddToSolver() local
|
H A D | cecSat.c | 281 …_CollectSuper_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Cec2_CollectSuper_rec() 295 void Cec2_CollectSuper( Gia_Man_t * p, Gia_Obj_t * pObj, int fUseMuxes, Vec_Ptr_t * vSuper ) in Cec2_CollectSuper() 324 int i, k, fUseMuxes = 1; in Gia_ObjGetCnfVar() local
|
H A D | cecSatG.c | 284 void Cec3_CollectSuper_rec( Gia_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Cec3_CollectSuper_rec() 298 void Cec3_CollectSuper( Gia_Obj_t * pObj, int fUseMuxes, Vec_Ptr_t * vSuper ) in Cec3_CollectSuper() 320 int i, k, fUseMuxes = 1; in Cec3_ObjGetCnfVar() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauGia.c | 443 int fUseMuxes = 0; in Dsm_ManTruthToGia() local 503 void * Dsm_ManDeriveGia( void * pGia, int fUseMuxes ) in Dsm_ManDeriveGia()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSupp.c | 584 void Gia_Min2CollectSuper_rec( Gia_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Gia_Min2CollectSuper_rec() 598 void Gia_Min2CollectSuper( Gia_Obj_t * pObj, int fUseMuxes, Vec_Ptr_t * vSuper ) in Gia_Min2CollectSuper() 621 int i, k, fUseMuxes = 1; in Gia_Min2ObjGetCnfVar() local
|
H A D | giaStr.c | 1287 Gia_Man_t * Str_NtkBalance( Gia_Man_t * pGia, Str_Ntk_t * p, int nLutSize, int fUseMuxes, int fRecu… in Str_NtkBalance() 1378 Gia_Man_t * Gia_ManLutBalance( Gia_Man_t * p, int nLutSize, int fUseMuxes, int fRecursive, int fOpt… in Gia_ManLutBalance()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/ |
H A D | fraigSat.c | 797 int fUseMuxes = 1, i; in Fraig_PrepareCones_rec() local 878 int i, k, Number, fUseMuxes = 1; in Fraig_OrderVariables() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcSat.c | 474 int i, k, fUseMuxes = 1; in Abc_NtkMiterSatCreateInt() local
|
H A D | abc.c | 34485 int fUseMuxes = 1; in Abc_CommandAbc9BalanceLut() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyFraig.c | 2473 void Ivy_FraigCollectSuper_rec( Ivy_Obj_t * pObj, Vec_Ptr_t * vSuper, int fFirst, int fUseMuxes ) in Ivy_FraigCollectSuper_rec() 2498 Vec_Ptr_t * Ivy_FraigCollectSuper( Ivy_Obj_t * pObj, int fUseMuxes ) in Ivy_FraigCollectSuper() 2549 int i, k, fUseMuxes = 1; in Ivy_FraigNodeAddToSolver() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcFault.c | 377 Gia_Man_t * Gia_ManFaultUnfold( Gia_Man_t * p, int fUseMuxes, int fFfOnly ) in Gia_ManFaultUnfold()
|