YAP 7.1.0
cudd_config.h
1// get them from include/cudd
2
3 /* Define to 1 if you have the <cudd/cuddInt.h> header file. */
4#define HAVE_CUDD_CUDD_H 1
5
6/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
7#define HAVE_CUDD_CUDDINT_H 1
8
9/* Define to 1 if you have the <cudd/cuddObj.hh> header file. */
10#define HAVE_CUDD_CUDDOBJ_HH 1
11
12/* Define to 1 if you have the <cudd/mtr.h> header file. */
13#define HAVE_CUDD_MTR_H 1
14
15/* Define to 1 if you have the <cudd/util.h> header file. */
16#define HAVE_CUDD_UTIL_H 1
17
18/* Define to 1 if you have the <cudd/config.h> header file. */
19#define HAVE_CUDD_CONFIG_H 1
20
21