diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-07 07:27:31 +0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-07 07:27:31 +0800 |
commit | 7ccb25bfe929787dc0a4dafc0dead5951cdf0246 (patch) | |
tree | 2e5b8901f255fc147bcfb907ed95ef8a6692cb4b /src/misc/extra/extra.h | |
parent | eb2764b5251aa23588f5aa6179197a378f15d759 (diff) | |
download | abc-7ccb25bfe929787dc0a4dafc0dead5951cdf0246.tar.gz abc-7ccb25bfe929787dc0a4dafc0dead5951cdf0246.tar.bz2 abc-7ccb25bfe929787dc0a4dafc0dead5951cdf0246.zip |
Modifying 'write_truth' to dump truth table in hex.
Diffstat (limited to 'src/misc/extra/extra.h')
-rw-r--r-- | src/misc/extra/extra.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index e8afebd8..2f38692d 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -125,6 +125,7 @@ extern int Extra_ReadHexadecimal( unsigned Sign[], char * pString, int extern void Extra_PrintHexadecimal( FILE * pFile, unsigned Sign[], int nVars ); extern void Extra_PrintHexadecimalString( char * pString, unsigned Sign[], int nVars ); extern void Extra_PrintHex( FILE * pFile, unsigned * pTruth, int nVars ); +extern void Extra_PrintHex2( FILE * pFile, unsigned * pTruth, int nVars ); extern void Extra_PrintHexReverse( FILE * pFile, unsigned * pTruth, int nVars ); extern void Extra_PrintSymbols( FILE * pFile, char Char, int nTimes, int fPrintNewLine ); |