Experiments with variable permutation.

6a939b63 · Alan Mishchenko · cb5be511 · 6a939b63
Commit 6a939b63 authored Nov 06, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/aig/kit/kitPerm.c
+2 -2

No files found.
--- 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
     }