diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-16 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-16 08:01:00 -0700 |
| commit | 6074fa3a1e76d846b1abd6674891ff7ed5b78175 (patch) | |
| tree | be4be52f53152eddcc4b718b9c9c3446dd142f81 /src/aig/fra/fra.h | |
| parent | 9b059e3085eaa55817684926b3c508ba7fe0075f (diff) | |
| download | abc-6074fa3a1e76d846b1abd6674891ff7ed5b78175.tar.gz abc-6074fa3a1e76d846b1abd6674891ff7ed5b78175.tar.bz2 abc-6074fa3a1e76d846b1abd6674891ff7ed5b78175.zip | |
Version abc80316
Diffstat (limited to 'src/aig/fra/fra.h')
| -rw-r--r-- | src/aig/fra/fra.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/fra/fra.h b/src/aig/fra/fra.h index e7583b4b..ee4e9115 100644 --- a/src/aig/fra/fra.h +++ b/src/aig/fra/fra.h @@ -328,7 +328,7 @@ extern int Fra_NodesAreImp( Fra_Man_t * p, Aig_Obj_t * pOld, Aig extern int Fra_NodesAreClause( Fra_Man_t * p, Aig_Obj_t * pOld, Aig_Obj_t * pNew, int fComplL, int fComplR ); extern int Fra_NodeIsConst( Fra_Man_t * p, Aig_Obj_t * pNew ); /*=== fraSec.c ========================================================*/ -extern int Fra_FraigSec( Aig_Man_t * p, int nFrames, int fRetimeFirst, int fVerbose, int fVeryVerbose ); +extern int Fra_FraigSec( Aig_Man_t * p, int nFrames, int fRetimeFirst, int fFraiging, int fVerbose, int fVeryVerbose ); /*=== fraSim.c ========================================================*/ extern int Fra_SmlNodeHash( Aig_Obj_t * pObj, int nTableSize ); extern int Fra_SmlNodeIsConst( Aig_Obj_t * pObj ); |