From 67e84b719d02fe65bf9fee61f27fbd7c12da4003 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 25 Jul 2011 20:33:55 +0700 Subject: Enhancing printing of counter-examples. --- src/misc/util/utilCex.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/misc/util/utilCex.h') diff --git a/src/misc/util/utilCex.h b/src/misc/util/utilCex.h index dfe5050a..c52806fc 100644 --- a/src/misc/util/utilCex.h +++ b/src/misc/util/utilCex.h @@ -61,6 +61,7 @@ extern Abc_Cex_t * Abc_CexMakeTriv( int nRegs, int nTruePis, int nTruePos, int extern Abc_Cex_t * Abc_CexCreate( int nRegs, int nTruePis, int * pArray, int iFrame, int iPo, int fSkipRegs ); extern Abc_Cex_t * Abc_CexDup( Abc_Cex_t * p, int nRegsNew ); extern Abc_Cex_t * Abc_CexDeriveFromCombModel( int * pModel, int nPis, int nRegs, int iPo ); +extern void Abc_CexPrintStats( Abc_Cex_t * p ); extern void Abc_CexPrint( Abc_Cex_t * p ); extern void Abc_CexFree( Abc_Cex_t * p ); -- cgit v1.2.3