abc/src/base/abci/abcDec.c
// write one truth table in hexadecimal (do not add end-of-line!)
write one truth table in hexadecimal (do not add end-of-line!)
write one truth table in hexadecimal ( do not add end - of - line! )
void Abc_TruthWriteHex( FILE * pFile, word * pTruth, int nVars )
{
    int nDigits, Digit, k;
    nDigits = (1 << (nVars-2));
    for ( k = 0; k < nDigits; k++ )
    {
        Digit = Abc_TruthGetHex( pTruth, k );
        assert( Digit >= 0 && Digit < 16 );
        Abc_TruthWriteHexDigit( pFile, Digit );
    }
}
void Abc_TruthWriteHex ( FILE * pFile , word * pTruth , int nVars ) { int nDigits , Digit , k ; nDigits = ( 1 << ( nVars - 2 ) ) ; for ( k = 0 ; k < nDigits ; k ++ ) { Digit = Abc_TruthGetHex ( pTruth , k ) ; assert ( Digit >= 0 && Digit < 16 ) ; Abc_TruthWriteHexDigit ( pFile , Digit ) ; } }
write one truth table in hexadecimal (do not add end-of-line!)
write one truth table in hexadecimal ( do not add end - of - line! )