diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 14:18:31 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 14:18:31 -0400 |
| commit | 6582e10a82b705981344f41953e39dc85612b530 (patch) | |
| tree | dbbcaa04a155bfbb7bf563c3719d1f4236cca3cd /src/sat/bmc/bmcBmcAnd.c | |
| parent | f620a857d36343b2e475e3b60537fa56fee4d65c (diff) | |
| download | abc-6582e10a82b705981344f41953e39dc85612b530.tar.gz abc-6582e10a82b705981344f41953e39dc85612b530.tar.bz2 abc-6582e10a82b705981344f41953e39dc85612b530.zip | |
Specialized induction check.
Diffstat (limited to 'src/sat/bmc/bmcBmcAnd.c')
| -rw-r--r-- | src/sat/bmc/bmcBmcAnd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcBmcAnd.c b/src/sat/bmc/bmcBmcAnd.c index c23c3f50..1b2e3240 100644 --- a/src/sat/bmc/bmcBmcAnd.c +++ b/src/sat/bmc/bmcBmcAnd.c @@ -934,7 +934,7 @@ void Gia_ManBmcAddCnfNew( Bmc_Mna_t * p, int iStart, int iStop ) SeeAlso [] ***********************************************************************/ -Cnf_Dat_t * Cnf_DeriveGia( Gia_Man_t * p ) +static inline Cnf_Dat_t * Cnf_DeriveGia( Gia_Man_t * p ) { Aig_Man_t * pAig = Gia_ManToAigSimple( p ); Cnf_Dat_t * pCnf = Cnf_DeriveOther( pAig, 1 ); |