diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-20 00:27:35 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-20 00:27:35 -0700 |
| commit | d5555c51f00436bcf770b7cc9721bbca80aff08e (patch) | |
| tree | 4c2c6e9a501f8c86b7387d8ccc7269543137da82 /src/aig/llb/llb.h | |
| parent | d8647f0b7bafcd5177c060ce85f6c00f89ff253e (diff) | |
| download | abc-d5555c51f00436bcf770b7cc9721bbca80aff08e.tar.gz abc-d5555c51f00436bcf770b7cc9721bbca80aff08e.tar.bz2 abc-d5555c51f00436bcf770b7cc9721bbca80aff08e.zip | |
Fixing c++ portability issues.
Diffstat (limited to 'src/aig/llb/llb.h')
| -rw-r--r-- | src/aig/llb/llb.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/llb/llb.h b/src/aig/llb/llb.h index 3cbd8136..e5fa6956 100644 --- a/src/aig/llb/llb.h +++ b/src/aig/llb/llb.h @@ -79,6 +79,8 @@ struct Gia_ParLlb_t_ /*=== llbCore.c ==========================================================*/ extern void Llb_ManSetDefaultParams( Gia_ParLlb_t * pPars ); +/*=== llb4Nonlin.c ==========================================================*/ +extern int Llb_Nonlin4CoreReach( Aig_Man_t * pAig, Gia_ParLlb_t * pPars ); |