Ignore:
Timestamp:
Sep 23, 2015, 12:54:17 AM (4 years ago)
Author:
nmedfort
Message:

Misc changes + potential SIGBUS fix for issue reported by Hongpu.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/pablo/optimizers/pablo_bddminimization.cpp

    r4775 r4788  
    8383    Cudd_MakeTreeNode(mManager, 0, function.getNumOfParameters(), MTR_DEFAULT);
    8484    // Map the predefined 0/1 entries
    85     mCharacterizationMap[function.getEntryBlock().createZeroes()] = Zero();
    86     mCharacterizationMap[function.getEntryBlock().createOnes()] = One();   
     85    mCharacterizationMap[PabloBlock::createZeroes()] = Zero();
     86    mCharacterizationMap[PabloBlock::createOnes()] = One();
    8787    // Order the variables so the input Vars are pushed to the end; they ought to
    8888    // be the most complex to resolve.   
Note: See TracChangeset for help on using the changeset viewer.