diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-16 14:39:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-16 14:39:37 -0700 |
| commit | 3b1cf0976c73bd2114b49231bdeadc200e48fc9f (patch) | |
| tree | a5374e287af23e6a427f7f1792f1d9c48d273dcd /src/aig/gia/gia.h | |
| parent | e87f0dd6795c5cfc63f966807a5d499d48a4c6ef (diff) | |
| download | abc-3b1cf0976c73bd2114b49231bdeadc200e48fc9f.tar.gz abc-3b1cf0976c73bd2114b49231bdeadc200e48fc9f.tar.bz2 abc-3b1cf0976c73bd2114b49231bdeadc200e48fc9f.zip | |
Added bridge integration for multi-output 'pdr -a'.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 0f282e28..70fda8d4 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -762,6 +762,18 @@ static inline void Gia_AigerWriteUnsigned( Vec_Str_t * vStr, unsigned x ) ch = x; Vec_StrPush( vStr, ch ); } +static inline void Gia_AigerWriteUnsignedFile( FILE * pFile, unsigned x ) +{ + unsigned char ch; + while (x & ~0x7f) + { + ch = (x & 0x7f) | 0x80; + fputc( ch, pFile ); + x >>= 7; + } + ch = x; + fputc( ch, pFile ); +} static inline int Gia_AigerWriteUnsignedBuffer( unsigned char * pBuffer, int Pos, unsigned x ) { unsigned char ch; |