diff options
author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 18:33:53 +0200 |
---|---|---|
committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 18:33:53 +0200 |
commit | 2f149364eb80e162c85d79d461885482d17dd1ba (patch) | |
tree | ca1cc7db6b092e618736bbebb82c60fa188b6bcd /src/base/exor | |
parent | 0d1786d82952aa6381bac1b5d8aa3d0c6acc7f5a (diff) | |
download | abc-2f149364eb80e162c85d79d461885482d17dd1ba.tar.gz abc-2f149364eb80e162c85d79d461885482d17dd1ba.tar.bz2 abc-2f149364eb80e162c85d79d461885482d17dd1ba.zip |
Provide number of max cubes as parameter.
Diffstat (limited to 'src/base/exor')
-rw-r--r-- | src/base/exor/exor.c | 7 | ||||
-rw-r--r-- | src/base/exor/exor.h | 1 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c index e800744c..9aec90d7 100644 --- a/src/base/exor/exor.c +++ b/src/base/exor/exor.c @@ -742,9 +742,9 @@ int Exorcism( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut ) printf( "The number of cubes in the starting cover is %d\n", g_CoverInfo.nCubesBefore ); } - if ( g_CoverInfo.nCubesBefore > 20000 ) + if ( g_CoverInfo.nCubesBefore > g_CoverInfo.nCubesMax ) { - printf( "\nThe size of the starting cover is more than 20000 cubes. Quitting...\n" ); + printf( "\nThe size of the starting cover is more than %d cubes. Quitting...\n", g_CoverInfo.nCubesMax ); return 0; } @@ -852,11 +852,12 @@ int Exorcism( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut ) SeeAlso [] ***********************************************************************/ -int Abc_ExorcismMain( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut, int Quality, int Verbosity, int fUseQCost ) +int Abc_ExorcismMain( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut, int Quality, int Verbosity, int nCubesMax, int fUseQCost ) { memset( &g_CoverInfo, 0, sizeof(cinfo) ); g_CoverInfo.Quality = Quality; g_CoverInfo.Verbosity = Verbosity; + g_CoverInfo.nCubesMax = nCubesMax; g_CoverInfo.fUseQCost = fUseQCost; if ( g_CoverInfo.Verbosity ) { diff --git a/src/base/exor/exor.h b/src/base/exor/exor.h index 15a62bbe..afd9cc08 100644 --- a/src/base/exor/exor.h +++ b/src/base/exor/exor.h @@ -112,6 +112,7 @@ typedef struct cinfo_tag int Verbosity; // verbosity level int Quality; // quality + int nCubesMax; // maximum number of cubes in starting cover int fUseQCost; // use q-cost instead of literal count abctime TimeRead; // reading time |