module.make 1.91 KB
Newer Older
Alan Mishchenko committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61
SRC +=  src/bdd/cudd/cuddAPI.c \
    src/bdd/cudd/cuddAddAbs.c \
    src/bdd/cudd/cuddAddApply.c \
    src/bdd/cudd/cuddAddFind.c \
    src/bdd/cudd/cuddAddInv.c \
    src/bdd/cudd/cuddAddIte.c \
    src/bdd/cudd/cuddAddNeg.c \
    src/bdd/cudd/cuddAddWalsh.c \
    src/bdd/cudd/cuddAndAbs.c \
    src/bdd/cudd/cuddAnneal.c \
    src/bdd/cudd/cuddApa.c \
    src/bdd/cudd/cuddApprox.c \
    src/bdd/cudd/cuddBddAbs.c \
    src/bdd/cudd/cuddBddCorr.c \
    src/bdd/cudd/cuddBddIte.c \
    src/bdd/cudd/cuddBridge.c \
    src/bdd/cudd/cuddCache.c \
    src/bdd/cudd/cuddCheck.c \
    src/bdd/cudd/cuddClip.c \
    src/bdd/cudd/cuddCof.c \
    src/bdd/cudd/cuddCompose.c \
    src/bdd/cudd/cuddDecomp.c \
    src/bdd/cudd/cuddEssent.c \
    src/bdd/cudd/cuddExact.c \
    src/bdd/cudd/cuddExport.c \
    src/bdd/cudd/cuddGenCof.c \
    src/bdd/cudd/cuddGenetic.c \
    src/bdd/cudd/cuddGroup.c \
    src/bdd/cudd/cuddHarwell.c \
    src/bdd/cudd/cuddInit.c \
    src/bdd/cudd/cuddInteract.c \
    src/bdd/cudd/cuddLCache.c \
    src/bdd/cudd/cuddLevelQ.c \
    src/bdd/cudd/cuddLinear.c \
    src/bdd/cudd/cuddLiteral.c \
    src/bdd/cudd/cuddMatMult.c \
    src/bdd/cudd/cuddPriority.c \
    src/bdd/cudd/cuddRead.c \
    src/bdd/cudd/cuddRef.c \
    src/bdd/cudd/cuddReorder.c \
    src/bdd/cudd/cuddSat.c \
    src/bdd/cudd/cuddSign.c \
    src/bdd/cudd/cuddSolve.c \
    src/bdd/cudd/cuddSplit.c \
    src/bdd/cudd/cuddSubsetHB.c \
    src/bdd/cudd/cuddSubsetSP.c \
    src/bdd/cudd/cuddSymmetry.c \
    src/bdd/cudd/cuddTable.c \
    src/bdd/cudd/cuddUtil.c \
    src/bdd/cudd/cuddWindow.c \
    src/bdd/cudd/cuddZddCount.c \
    src/bdd/cudd/cuddZddFuncs.c \
    src/bdd/cudd/cuddZddGroup.c \
    src/bdd/cudd/cuddZddIsop.c \
    src/bdd/cudd/cuddZddLin.c \
    src/bdd/cudd/cuddZddMisc.c \
    src/bdd/cudd/cuddZddPort.c \
    src/bdd/cudd/cuddZddReord.c \
    src/bdd/cudd/cuddZddSetop.c \
    src/bdd/cudd/cuddZddSymm.c \
    src/bdd/cudd/cuddZddUtil.c