diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-06 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-06 08:01:00 -0700 |
| commit | 39bc4842e9a3e0c443df5e585bfdece76320870a (patch) | |
| tree | e1e261ba21b71205c0ec3f17573bb03c5dc86f08 /src/opt/kit/kitGraph.c | |
| parent | 0c1e87bc9ae5c25278fe5715059404f3fb404809 (diff) | |
| download | abc-39bc4842e9a3e0c443df5e585bfdece76320870a.tar.gz abc-39bc4842e9a3e0c443df5e585bfdece76320870a.tar.bz2 abc-39bc4842e9a3e0c443df5e585bfdece76320870a.zip | |
Version abc70706
Diffstat (limited to 'src/opt/kit/kitGraph.c')
| -rw-r--r-- | src/opt/kit/kitGraph.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/kit/kitGraph.c b/src/opt/kit/kitGraph.c index 1123b90e..e2deb4ef 100644 --- a/src/opt/kit/kitGraph.c +++ b/src/opt/kit/kitGraph.c @@ -354,9 +354,10 @@ Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemor Kit_Graph_t * pGraph; int RetValue; // derive SOP - RetValue = Kit_TruthIsop( pTruth, nVars, vMemory, 0 ); // tried 1 and found not useful in "renode" + RetValue = Kit_TruthIsop( pTruth, nVars, vMemory, 1 ); // tried 1 and found not useful in "renode" if ( RetValue == -1 ) return NULL; +// printf( "Isop size = %d.\n", Vec_IntSize(vMemory) ); assert( RetValue == 0 || RetValue == 1 ); // derive factored form pGraph = Kit_SopFactor( vMemory, RetValue, nVars, vMemory ); |