From 78af793b92dd87497f81a735a288457fa76d33ad Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 21 May 2019 20:41:22 -0700 Subject: Changes to the interface of &cfs. --- src/base/abci/abc.c | 8 ++++---- src/misc/extra/extraUtilCfs.c | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) (limited to 'src') 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 ) { } -- cgit v1.2.3