diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-21 20:41:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-21 20:41:22 -0700 |
| commit | 78af793b92dd87497f81a735a288457fa76d33ad (patch) | |
| tree | 87172d147fcc17b7e7e3b287c149fe0762897679 /src | |
| parent | caa120c85554ad863b578cfaa58005a215a69359 (diff) | |
| download | abc-78af793b92dd87497f81a735a288457fa76d33ad.tar.gz abc-78af793b92dd87497f81a735a288457fa76d33ad.tar.bz2 abc-78af793b92dd87497f81a735a288457fa76d33ad.zip | |
Changes to the interface of &cfs.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abc.c | 8 | ||||
| -rw-r--r-- | src/misc/extra/extraUtilCfs.c | 2 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 6c053e9d..21b89cee 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -45756,7 +45756,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Cfs( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fReplaceRare, int fConstSim, int fDagNodes, int FlipProb, int fVerbose ); + extern void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fReplaceRare, int fConstSim, int fDagNodes, float FlipProb, int fVerbose ); int Limit = 0; int Reps = 1; int UnseenUse = 2; @@ -45764,7 +45764,7 @@ int Abc_CommandAbc9Cfs( Abc_Frame_t * pAbc, int argc, char ** argv ) int fReplaceRare= 0; int fConstSim = 0; int fDagNodes = 0; - int FlipProb = 0; + float FlipProb = 0; int c, fVerbose = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "LNURPrcdvh" ) ) != EOF ) @@ -45821,7 +45821,7 @@ int Abc_CommandAbc9Cfs( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Command line switch \"-P\" should be followed by an integer.\n" ); goto usage; } - FlipProb = atoi(argv[globalUtilOptind]); + FlipProb = atof(argv[globalUtilOptind]); globalUtilOptind++; if ( FlipProb < 0 ) goto usage; @@ -45859,7 +45859,7 @@ usage: Abc_Print( -2, "\t-N num : the number of repetions of each pattern [default = %d]\n", Reps ); Abc_Print( -2, "\t-U num : what to do with unseen patterns [default = %d]\n", UnseenUse ); Abc_Print( -2, "\t-R num : what to do with rare patterns [default = %d]\n", RareUse ); - Abc_Print( -2, "\t-P num : ramdom flip probability [default = %d]\n", FlipProb ); + Abc_Print( -2, "\t-P num : base2-log of ramdom flip probability [default = %f]\n", FlipProb ); Abc_Print( -2, "\t-r : toggle replacing rare patterns [default = %s]\n", fReplaceRare? "yes": "no" ); Abc_Print( -2, "\t-c : toggle inserting constants [default = %s]\n", fConstSim? "yes": "no" ); Abc_Print( -2, "\t-d : toggle using only DAG nodes [default = %s]\n", fDagNodes? "yes": "no" ); diff --git a/src/misc/extra/extraUtilCfs.c b/src/misc/extra/extraUtilCfs.c index 5a2b84f6..fbaea9df 100644 --- a/src/misc/extra/extraUtilCfs.c +++ b/src/misc/extra/extraUtilCfs.c @@ -48,7 +48,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fReplaceRare, int fConstSim, int fDagNodes, int FlipProb, int fVerbose ) +void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fReplaceRare, int fConstSim, int fDagNodes, float FlipProb, int fVerbose ) { } |