diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-07 01:36:06 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-07 01:36:06 +0200 |
| commit | 1485e63ae3cc36d2840b5c2d1d7da38a88ee8928 (patch) | |
| tree | 9ba48d1d144f77a486fd9929ade266af8f650e1b /src/opt/sfm/sfmLib.c | |
| parent | e1997b038a2d22abffa1215fbfb2209d6bf70c5c (diff) | |
| download | abc-1485e63ae3cc36d2840b5c2d1d7da38a88ee8928.tar.gz abc-1485e63ae3cc36d2840b5c2d1d7da38a88ee8928.tar.bz2 abc-1485e63ae3cc36d2840b5c2d1d7da38a88ee8928.zip | |
Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs.
Diffstat (limited to 'src/opt/sfm/sfmLib.c')
| -rw-r--r-- | src/opt/sfm/sfmLib.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmLib.c b/src/opt/sfm/sfmLib.c index afb4a48d..18ba0971 100644 --- a/src/opt/sfm/sfmLib.c +++ b/src/opt/sfm/sfmLib.c @@ -107,7 +107,7 @@ void Sfm_DecCreateCnf( Vec_Int_t * vGateSizes, Vec_Wrd_t * vGateFuncs, Vec_Wec_t vCover = Vec_IntAlloc( 100 ); Vec_WrdForEachEntry( vGateFuncs, uTruth, i ) { - nCubes = Sfm_TruthToCnf( uTruth, Vec_IntEntry(vGateSizes, i), vCover, vCnf ); + nCubes = Sfm_TruthToCnf( uTruth, NULL, Vec_IntEntry(vGateSizes, i), vCover, vCnf ); vCnfBase = (Vec_Str_t *)Vec_WecEntry( vGateCnfs, i ); Vec_StrGrow( vCnfBase, Vec_StrSize(vCnf) ); memcpy( Vec_StrArray(vCnfBase), Vec_StrArray(vCnf), (size_t)Vec_StrSize(vCnf) ); |