/home/runner/work/SVF-1/SVF-1/lib/CUDD/CMakeLists.txt File Reference

Functions
	set (SOURCES cuddTable.c cuddInit.c cuddAPI.c cuddRef.c cuddCheck.c cuddUtil.c cuddCof.c cuddSat.c cuddReorder.c cuddAddIte.c cuddBddIte.c cuddBddAbs.c cuddZddReord.c safe_mem.c mtrBasic.c mtrGroup.c cuddCache.c cuddLCache.c cuddInteract.c cuddGroup.c cuddAnneal.c cuddExact.c cuddGenetic.c cuddLinear.c cuddSymmetry.c cuddWindow.c cuddZddFuncs.c cuddZddGroup.c cuddZddIsop.c cuddZddSetop.c cuddZddLin.c cuddZddSymm.c datalimit.c cpu_time.c epd.c st.c) add_llvm_library(Cudd $

Function Documentation

set()

set

(

SOURCES cuddTable.c cuddInit.c cuddAPI.c cuddRef.c cuddCheck.c cuddUtil.c cuddCof.c cuddSat.c cuddReorder.c cuddAddIte.c cuddBddIte.c cuddBddAbs.c cuddZddReord.c safe_mem.c mtrBasic.c mtrGroup.c cuddCache.c cuddLCache.c cuddInteract.c cuddGroup.c cuddAnneal.c cuddExact.c cuddGenetic.c cuddLinear.c cuddSymmetry.c cuddWindow.c cuddZddFuncs.c cuddZddGroup.c cuddZddIsop.c cuddZddSetop.c cuddZddLin.c cuddZddSymm.c datalimit.c cpu_time.c epd.c st.

c

)

Definition at line 1 of file CMakeLists.txt.

                       {SOURCES} LINK_LIBS m)