Searched refs:Bmc_EsPar_t (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmc.h | 47 typedef struct Bmc_EsPar_t_ Bmc_EsPar_t; typedef
66 static inline void Bmc_EsParSetDefault( Bmc_EsPar_t * pPars ) in Bmc_EsParSetDefault()
68 memset( pPars, 0, sizeof(Bmc_EsPar_t) ); in Bmc_EsParSetDefault()
|
| H A D | bmcMaj2.c | 519 Bmc_EsPar_t * pPars; // parameters
595 static Exa_Man_t * Exa_ManAlloc( Bmc_EsPar_t * pPars, word * pTruth ) in Exa_ManAlloc()
852 void Exa_ManExactSynthesis2( Bmc_EsPar_t * pPars ) in Exa_ManExactSynthesis2()
900 Bmc_EsPar_t * pPars; // parameters
1028 static Exa3_Man_t * Exa3_ManAlloc( Bmc_EsPar_t * pPars, word * pTruth ) in Exa3_ManAlloc()
1313 void Exa3_ManExactSynthesis2( Bmc_EsPar_t * pPars ) in Exa3_ManExactSynthesis2()
|
| H A D | bmcMaj.c | 413 Bmc_EsPar_t * pPars; // parameters
489 Exa_Man_t * Exa_ManAlloc( Bmc_EsPar_t * pPars, word * pTruth ) in Exa_ManAlloc()
801 void Exa_ManExactSynthesis( Bmc_EsPar_t * pPars ) in Exa_ManExactSynthesis()
855 Bmc_EsPar_t * pPars; // parameters
961 static Exa3_Man_t * Exa3_ManAlloc( Bmc_EsPar_t * pPars, word * pTruth ) in Exa3_ManAlloc()
1309 void Exa3_ManExactSynthesis( Bmc_EsPar_t * pPars ) in Exa3_ManExactSynthesis()
|
| H A D | bmcMaj3.c | 554 Bmc_EsPar_t * pPars; // parameters
793 Zyx_Man_t * Zyx_ManAlloc( Bmc_EsPar_t * pPars, word * pTruth ) in Zyx_ManAlloc()
1262 void Zyx_ManExactSynthesis( Bmc_EsPar_t * pPars ) in Zyx_ManExactSynthesis()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 8677 extern void Exa_ManExactSynthesis( Bmc_EsPar_t * pPars ); in Abc_CommandTwoExact()
8678 extern void Exa_ManExactSynthesis2( Bmc_EsPar_t * pPars ); in Abc_CommandTwoExact()
8680 Bmc_EsPar_t Pars, * pPars = &Pars; in Abc_CommandTwoExact()
8801 extern void Exa3_ManExactSynthesis( Bmc_EsPar_t * pPars ); in Abc_CommandLutExact()
8802 extern void Exa3_ManExactSynthesis2( Bmc_EsPar_t * pPars ); in Abc_CommandLutExact()
8804 Bmc_EsPar_t Pars, * pPars = &Pars; in Abc_CommandLutExact()
8939 extern void Zyx_ManExactSynthesis( Bmc_EsPar_t * pPars ); in Abc_CommandAllExact()
8941 Bmc_EsPar_t Pars, * pPars = &Pars; in Abc_CommandAllExact()
|