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 | |
| parent | cb5be5118b1b06e3ffe418eb3dc53f840fdf8743 (diff) | |
| download | abc-6a939b63828da5204387f681a451829aa35171f1.tar.gz abc-6a939b63828da5204387f681a451829aa35171f1.tar.bz2 abc-6a939b63828da5204387f681a451829aa35171f1.zip | |
Experiments with variable permutation.
Diffstat (limited to 'src')
| -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 } |