diff options
Diffstat (limited to 'src/base/exor/exorUtil.c')
-rw-r--r-- | src/base/exor/exorUtil.c | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/base/exor/exorUtil.c b/src/base/exor/exorUtil.c index 45c9542b..105a6490 100644 --- a/src/base/exor/exorUtil.c +++ b/src/base/exor/exorUtil.c @@ -75,7 +75,15 @@ extern varvalue GetVar( Cube* pC, int Var ); /////////////////////////////////////////////////////////////////// int CountLiterals() -// nCubesAlloc is the number of allocated cubes +{ + Cube* p; + int LitCounter = 0; + for ( p = IterCubeSetStart( ); p; p = IterCubeSetNext() ) + LitCounter += p->a; + return LitCounter; +} + +int CountLiteralsCheck() { Cube* p; int Value, v; @@ -109,9 +117,7 @@ int CountLiterals() } int CountQCost() -// nCubesAlloc is the number of allocated cubes { - extern int ComputeQCostBits( Cube * p ); Cube* p; int QCost = 0; int QCostControl = 0; @@ -191,7 +197,7 @@ int WriteResultIntoFile( char * pFileName ) time( <ime ); TimeStr = asctime( localtime( <ime ) ); // get the number of literals - g_CoverInfo.nLiteralsAfter = CountLiterals(); + g_CoverInfo.nLiteralsAfter = CountLiteralsCheck(); g_CoverInfo.QCostAfter = CountQCost(); fprintf( pFile, "# EXORCISM-4 output for command line arguments: " ); fprintf( pFile, "\"-Q %d -V %d\"\n", g_CoverInfo.Quality, g_CoverInfo.Verbosity ); |