diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix atom_to_term and increase sharing on CUDD stuff

Browse Source
This commit is contained in:
Vitor Santos Costa
2016-11-23 17:23:59 -06:00
parent 0be43c6525
commit f44ef18fed
32 changed files with 190 additions and 1579 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
packages/bdd/CMakeLists.txt
View File

@@ -32,10 +32,6 @@ IF (CUDD_FOUND)
${CMAKE_CURRENT_BINARY_DIR}
)
configure_file ("${PROJECT_SOURCE_DIR}/cudd_config.h.cmake"
"${CMAKE_CURRENT_BINARY_DIR}/cudd_config.h" )
if(DEFINED YAP_MAJOR_VERSION)
TARGET_LINK_LIBRARIES(cudd
${CUDD_LIBRARIES}
@@ -66,4 +62,3 @@ IF (CUDD_FOUND)
INSTALL(FILES trie_sp.yap DESTINATION ${libpl})
ENDIF (CUDD_FOUND)

43
packages/bdd/cudd_config.h.cmake
View File

@@ -1,43 +0,0 @@
// cmake template file
/* Define to 1 if you have the <cuddInt.h> header file. */
#ifndef HAVE_CUDD_H
#cmakedefine HAVE_CUDD_H ${HAVE_CUDD_H}
#endif
/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
#ifndef HAVE_CUDD_CUDD_H
#cmakedefine HAVE_CUDD_CUDD_H ${HAVE_CUDD_CUDD_H}
#endif
/* Define to 1 if you have the <cuddInt.h> header file. */
#ifndef HAVE_CUDDINT_H
#cmakedefine HAVE_CUDDINT_H ${HAVE_CUDDINT_H}
#endif
/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
#ifndef HAVE_CUDD_CUDDINT_H
#cmakedefine HAVE_CUDD_CUDDINT_H ${HAVE_CUDD_CUDDINT_H}
#endif
/* Define to 1 if you have the <cuddObj.hh> header file. */
#ifndef HAVE_CUDDOBJ_HH
#cmakedefine HAVE_CUDDOBJ_HH ${HAVE_CUDDOBJ_HH}
#endif
/* Define to 1 if you have the <cudd/cuddObj.hh> header file. */
#ifndef HAVE_CUDD_CUDDOBJ_HH
#cmakedefine HAVE_CUDD_CUDDOBJ_HH ${HAVE_CUDD_CUDDOBJ_HH}
#endif
/* Define to 1 if you have the <dddmpInt.h> header file. */
#ifndef HAVE_DDDMPINT_H
#cmakedefine HAVE_DDDMPINT_H ${HAVE_DDDMPINT_H}
#endif
/* Define to 1 if you have the <cudd/dddmpInt.h> header file. */
#ifndef HAVE_CUDD_CUDDINT_H
#cmakedefine HAVE_CUDD_DDDMPINT_H ${HAVE_CUDD_DDDMPINT_H}
#endif

222
packages/bdd/simplecudd/simplecudd.c
View File

@@ -1,224 +1,4 @@
/****************************************************************************** \
/*********************************************************************vii
* *
* SimpleCUDD library (www.cs.kuleuven.be/~theo/tools/simplecudd.html) *
* SimpleCUDD was developed at Katholieke Universiteit Leuven(www.kuleuven.be) *

3
packages/bdd/simplecudd/simplecudd.h
View File

@@ -193,7 +193,7 @@
#include <math.h>
#include <time.h>
#include "config.h"
#include "../cudd_config.h"
#include "cudd_config.h"
#if HAVE_CUDD_UTIL_H
#include <cudd/util.h>
@@ -352,4 +352,3 @@ void ExpandNodes(hisqueue *Nodes, int index, int nodenum);
int simpleBDDtoDot(DdManager *manager, DdNode *bdd, char *filename);
int simpleNamedBDDtoDot(DdManager *manager, namedvars varmap, DdNode *bdd, char *filename);

3
packages/bdd/simplecudd_lfi/simplecudd.h
View File

@@ -192,7 +192,7 @@
#include <time.h>
#include "pqueue.h"
#include "config.h"
#include "../cudd_config.h"
#include "cudd_config.h"
#if HAVE_CUDD_UTIL_H
#include <cudd/util.h>
#elif HAVE_UTIL_H
@@ -353,4 +353,3 @@ void ExpandNodes(hisqueue *Nodes, int index, int nodenum);
int simpleBDDtoDot(DdManager *manager, DdNode *bdd, const char *filename);
int simpleNamedBDDtoDot(DdManager *manager, namedvars varmap, DdNode *bdd, const char *filename);