diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-06 08:26:30 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-06 08:26:30 -0800 |
commit | 6a939b63828da5204387f681a451829aa35171f1 (patch) | |
tree | aaf52f1eb3cd3638ed821725e2ca30f7eeacb607 /src/aig/kit | |
parent | cb5be5118b1b06e3ffe418eb3dc53f840fdf8743 (diff) | |
download | abc-6a939b63828da5204387f681a451829aa35171f1.tar.gz abc-6a939b63828da5204387f681a451829aa35171f1.tar.bz2 abc-6a939b63828da5204387f681a451829aa35171f1.zip |
Experiments with variable permutation.
Diffstat (limited to 'src/aig/kit')
-rw-r--r-- | src/aig/kit/kitPerm.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/kit/kitPerm.c b/src/aig/kit/kitPerm.c index e02cb9be..d3e9ff5a 100644 --- a/src/aig/kit/kitPerm.c +++ b/src/aig/kit/kitPerm.c @@ -252,8 +252,8 @@ word Tf ( word f, int n) return f; else { - int x = (int)pow(2,n-1); -// int x; +// int x = (int)pow(2,n-1); + int x; x = (1 << (n-1)); return ( M (Tf( (f << x) >> x, n-1), Tf( (f >> x), n-1), x) ); //def. of M just below the function } |