- Generated on Tue Apr 12 2016 15:51:17 for dlvhex by
1.7.6.1
|
dlvhex
2.5.0
|
Go to the source code of this file.
| #define DLVHEX_ABI_VERSION 7.5.0 |
| #define DLVHEX_ABI_VERSION_MAJOR 7 |
| #define DLVHEX_ABI_VERSION_MICRO 0 |
| #define DLVHEX_ABI_VERSION_MINOR 5 |
| #define DLVHEX_VERSION 2.5.0 |
| #define DLVHEX_VERSION_MAJOR 2 |
| #define DLVHEX_VERSION_MICRO 0 |
| #define DLVHEX_VERSION_MINOR 5 |
| #define DLVPATH "dlv" |
Definition at line 38 of file config.h.
Referenced by SimpleEvaluator::solve().
| #define HAVE_ARGZ_ADD 1 |
| #define HAVE_ARGZ_APPEND 1 |
| #define HAVE_ARGZ_COUNT 1 |
| #define HAVE_ARGZ_CREATE_SEP 1 |
| #define HAVE_ARGZ_H 1 |
| #define HAVE_ARGZ_INSERT 1 |
| #define HAVE_ARGZ_NEXT 1 |
| #define HAVE_ARGZ_STRINGIFY 1 |
| #define HAVE_BOOST 1 |
| #define HAVE_BOOST_ALGORITHM_STRING_HPP 1 |
| #define HAVE_BOOST_FILESYSTEM_PATH_HPP 1 |
| #define HAVE_BOOST_GRAPH_ADJACENCY_LIST_HPP 1 |
| #define HAVE_BOOST_PROGRAM_OPTIONS_HPP 1 |
| #define HAVE_BOOST_PYTHON_HPP 1 |
| #define HAVE_BOOST_SCOPED_PTR_HPP 1 |
| #define HAVE_BOOST_SHARED_PTR_HPP 1 |
| #define HAVE_BOOST_SYSTEM_ERROR_CODE_HPP 1 |
| #define HAVE_BOOST_TEST_UNIT_TEST_HPP 1 |
| #define HAVE_BOOST_THREAD_HPP 1 |
| #define HAVE_BOOST_TOKENIZER_HPP 1 |
| #define HAVE_CLOSEDIR 1 |
| #define HAVE_DIRENT_H 1 |
| #define HAVE_DLERROR 1 |
| #define HAVE_DLFCN_H 1 |
| #define HAVE_ERROR_T 1 |
| #define HAVE_INTTYPES_H 1 |
| #define HAVE_LIBCLASP 1 |
| #define HAVE_LIBCURL 1 |
| #define HAVE_LIBDL 1 |
| #define HAVE_LIBDLLOADER 1 |
| #define HAVE_LIBGRINGO 1 |
| #define HAVE_MEMORY_H 1 |
| #define HAVE_OPENDIR 1 |
| #define HAVE_PRELOADED_SYMBOLS 1 |
| #define HAVE_PYTHON 1 |
| #define HAVE_READDIR 1 |
| #define HAVE_STDINT_H 1 |
| #define HAVE_STDLIB_H 1 |
| #define HAVE_STRING_H 1 |
| #define HAVE_STRINGS_H 1 |
| #define HAVE_SYS_PARAM_H 1 |
| #define HAVE_SYS_STAT_H 1 |
| #define HAVE_SYS_TYPES_H 1 |
| #define HAVE_UNISTD_H 1 |
| #define HAVE_WORKING_ARGZ 1 |
| #define LIBCURL_FEATURE_IDN 1 |
| #define LIBCURL_FEATURE_IPV6 1 |
| #define LIBCURL_FEATURE_LIBZ 1 |
| #define LIBCURL_FEATURE_NTLM 1 |
| #define LIBCURL_FEATURE_SSL 1 |
| #define LIBCURL_PROTOCOL_DICT 1 |
| #define LIBCURL_PROTOCOL_FILE 1 |
| #define LIBCURL_PROTOCOL_FTP 1 |
| #define LIBCURL_PROTOCOL_FTPS 1 |
| #define LIBCURL_PROTOCOL_HTTP 1 |
| #define LIBCURL_PROTOCOL_HTTPS 1 |
| #define LIBCURL_PROTOCOL_IMAP 1 |
| #define LIBCURL_PROTOCOL_LDAP 1 |
| #define LIBCURL_PROTOCOL_POP3 1 |
| #define LIBCURL_PROTOCOL_RTSP 1 |
| #define LIBCURL_PROTOCOL_SMTP 1 |
| #define LIBCURL_PROTOCOL_TELNET 1 |
| #define LIBCURL_PROTOCOL_TFTP 1 |
| #define LT_DLSEARCH_PATH "/lib:/usr/lib:/usr/local/lib:/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnu/mesa:/lib32:/usr/lib32" |
| #define LT_LIBPREFIX "lib" |
| #define LT_MODULE_EXT ".so" |
| #define LT_MODULE_PATH_VAR "LD_LIBRARY_PATH" |
| #define PACKAGE_BUGREPORT "dlvhex-devel@lists.sourceforge.net" |
Definition at line 343 of file config.h.
Referenced by InternalError().
| #define PACKAGE_NAME "dlvhex2" |
| #define PACKAGE_STRING "dlvhex2 2.5.0" |
| #define PACKAGE_TARNAME "dlvhex2" |
Definition at line 352 of file config.h.
Referenced by printVersion().
| #define PACKAGE_URL "" |
| #define PACKAGE_VERSION "2.5.0" |
| #define STDC_HEADERS 1 |
| #define VERSION "2.5.0" |
Definition at line 367 of file config.h.
Referenced by printLogo(), and printVersion().
| #define YYTEXT_POINTER 1 |
1.7.6.1