diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 21:59:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-03 21:59:33 -0700 |
| commit | 234b5d771be8173ad8677fb397a381b06ff621de (patch) | |
| tree | a47c7b4bc3ef339c2607be459fa63c1324674376 /src/aig | |
| parent | f543d39ec89dc0513784e189b537e6d45fd3db31 (diff) | |
| download | abc-234b5d771be8173ad8677fb397a381b06ff621de.tar.gz abc-234b5d771be8173ad8677fb397a381b06ff621de.tar.bz2 abc-234b5d771be8173ad8677fb397a381b06ff621de.zip | |
Experiment with permutations.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/gia.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.c b/src/aig/gia/gia.c index d57a4a74..cf7c0ddd 100644 --- a/src/aig/gia/gia.c +++ b/src/aig/gia/gia.c @@ -381,7 +381,7 @@ void Gia_EnumPerms( int nVars ) nLogVars = Abc_Base2Log( Count ); printf( "Need %d variables to encode %d sets.\n", nLogVars, Count ); Count = 0; - fprintf( pFile, ".i %d\n", 10 ); + fprintf( pFile, ".i %d\n", nLogVars ); fprintf( pFile, ".o %d\n", nVars*nVars ); Gia_EnumPerms_rec( pUsed, nVars, pPerm, 0, &Count, pFile, nLogVars ); fprintf( pFile, ".e\n" ); |