MYDDAS Support

This commit is contained in:
Vítor Santos Costa 2015-11-05 23:45:07 +00:00
parent f8b5ca8291
commit e9debf4d83
5 changed files with 45 additions and 9 deletions

View File

@ -72,5 +72,8 @@ IF (CUDD_FOUND)
INSTALL(FILES ddnnf.yap DESTINATION ${libpl}) INSTALL(FILES ddnnf.yap DESTINATION ${libpl})
INSTALL(FILES simpbool.yap DESTINATION ${libpl}) INSTALL(FILES simpbool.yap DESTINATION ${libpl})
INSTALL(FILES trie_sp.yap DESTINATION ${libpl}) INSTALL(FILES trie_sp.yap DESTINATION ${libpl})
ENDIF (CUDD_FOUND) ENDIF (CUDD_FOUND)
SET (CUDD_FOUND_EXPORT ${CUDD_FOUND} PARENT_SCOPE)
SET (CUDD_LIBRARIES_EXPORT ${CUDD_LIBRARIES} PARENT_SCOPE)

View File

@ -2,31 +2,31 @@
/* Define to 1 if you have the <cuddInt.h> header file. */ /* Define to 1 if you have the <cuddInt.h> header file. */
#ifndef HAVE_CUDDINT_H #ifndef HAVE_CUDDINT_H
#define HAVE_CUDDINT_H ${HAVE_CUDDINT_H} #cmakedefine HAVE_CUDDINT_H ${HAVE_CUDDINT_H}
#endif #endif
/* Define to 1 if you have the <cudd/cuddInt.h> header file. */ /* Define to 1 if you have the <cudd/cuddInt.h> header file. */
#ifndef HAVE_CUDD_CUDDINT_H #ifndef HAVE_CUDD_CUDDINT_H
#define HAVE_CUDD_CUDDINT_H ${HAVE_CUDD_CUDDINT_H} #cmakedefine HAVE_CUDD_CUDDINT_H ${HAVE_CUDD_CUDDINT_H}
#endif #endif
/* Define to 1 if you have the <cudd/cudd.h> header file. */ /* Define to 1 if you have the <cudd/cudd.h> header file. */
#ifndef HAVE_CUDD_CUDD_H #ifndef HAVE_CUDD_CUDD_H
#define HAVE_CUDD_CUDD_H ${HAVE_CUDD_CUDD_H} #cmakedefine HAVE_CUDD_CUDD_H ${HAVE_CUDD_CUDD_H}
#endif #endif
/* Define to 1 if you have the <cudd.h> header file. */ /*Define to 1 if you have the <cudd.h> header file. */
#ifndef HAVE_CUDD_H #ifndef HAVE_CUDD_H
#define HAVE_CUDD_H ${HAVE_CUDD_H} #cmakedefine HAVE_CUDD_H ${HAVE_CUDD_H}
#endif #endif
/* Define to 1 if you have the <cudd/util.h> header file. */ /* Define to 1 if you have the <cudd/util.h> header file. */
#ifndef HAVE_CUDD_UTIL_H #ifndef HAVE_CUDD_UTIL_H
#define HAVE_CUDD_UTIL_H ${HAVE_CUDD_UTIL_H} #cmakedefine HAVE_CUDD_UTIL_H ${HAVE_CUDD_UTIL_H}
#endif #endif
/* Define to 1 if you have the <util.h> header file. */ /* Define to 1 if you have the <util.h> header file. */
#ifndef HAVE_UTIL_H #ifndef HAVE_UTIL_H
#define HAVE_UTIL_H ${HAVE_UTIL_H} #cmakedefine HAVE_UTIL_H ${HAVE_UTIL_H}
#endif #endif

View File

@ -0,0 +1,31 @@
set (SRC
general.c
general.h
ProblogBDD.c
simplecudd.h
simplecudd.c
)
add_executable (LPADbdd
${SRC})
set_target_properties (LPADbdd PROPERTIES
OUTPUT_NAME LPADBDD
)
target_link_libraries(LPADbdd
${CUDD_LIBRARIES_EXPORT}
libYap
)
INCLUDE_DIRECTORIES(
${CUDD_INCLUDE_DIR_EXPORT}
${CMAKE_CURRENT_BINARY_DIR}
)
install(TARGETS LPADbdd
RUNTIME DESTINATION ${bindir}
LIBRARY DESTINATION ${dlls}
)

View File

@ -197,6 +197,7 @@ variable=value
#include <math.h> #include <math.h>
#include <time.h> #include <time.h>
#include "config.h" #include "config.h"
#include "cudd_config.h"
#if HAVE_UTIL_H #if HAVE_UTIL_H
#include <util.h> #include <util.h>
#endif #endif

View File

@ -14,9 +14,10 @@ for the relative license.
#include <stdio.h> #include <stdio.h>
#include <string.h> #include <string.h>
#include "config.h" #include "config.h"
#include "cudd_config.h"
#if HAVE_CUDD_CUDDINT_H #if HAVE_CUDD_CUDDINT_H
#include "cudd/cuddInt.h" #include "cudd/cuddInt.h"
#else #elif HAVE_CUDDINT_H
#include "cuddInt.h" #include "cuddInt.h"
#endif #endif
#include "YapInterface.h" #include "YapInterface.h"