Hello community,
here is the log from the commit of package brial for openSUSE:Factory checked
in at 2020-10-02 17:42:44
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/brial (Old)
and /work/SRC/openSUSE:Factory/.brial.new.4249 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "brial"
Fri Oct 2 17:42:44 2020 rev:3 rq:839144 version:1.2.10
Changes:
--------
--- /work/SRC/openSUSE:Factory/brial/brial.changes 2020-09-25
16:35:30.396101913 +0200
+++ /work/SRC/openSUSE:Factory/.brial.new.4249/brial.changes 2020-10-02
17:43:47.550970801 +0200
@@ -1,0 +2,6 @@
+Fri Oct 2 11:16:48 UTC 2020 - Jan Engelhardt <jeng...@inai.de>
+
+- Update to release 1.2.10
+ * No user-visible changes (build system only)
+
+-------------------------------------------------------------------
Old:
----
brial-1.2.9.tar.bz2
New:
----
brial-1.2.10.tar.bz2
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ brial.spec ++++++
--- /var/tmp/diff_new_pack.imZzUr/_old 2020-10-02 17:43:49.062971702 +0200
+++ /var/tmp/diff_new_pack.imZzUr/_new 2020-10-02 17:43:49.066971705 +0200
@@ -18,7 +18,7 @@
%define lname libbrial3
Name: brial
-Version: 1.2.9
+Version: 1.2.10
Release: 0
Summary: The Polynomials over Boolean Rings Computer Algebra System
License: GPL-2.0-or-later
++++++ brial-1.2.9.tar.bz2 -> brial-1.2.10.tar.bz2 ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/Makefile.am new/brial-1.2.10/Makefile.am
--- old/brial-1.2.9/Makefile.am 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/Makefile.am 2020-10-01 11:43:40.000000000 +0200
@@ -1,15 +1,13 @@
ACLOCAL_AMFLAGS = -I m4
-SUBDIRS =
-if !EXTERNAL_CUDD
-SUBDIRS += cudd
-endif
-SUBDIRS += libbrial . groebner tests
+SUBDIRS = cudd libbrial . groebner tests
lib_LTLIBRARIES = libbrial.la
libbrial_la_SOURCES =
-libbrial_la_LIBADD = libbrial/src/libbrial_base.la ${CUDD_LIBS}
+libbrial_la_LIBADD = \
+ cudd/libcudd.la \
+ libbrial/src/libbrial_base.la
libbrial_la_LDFLAGS = -no-undefined $(AM_LDFLAGS) -version-info
@LT_CURRENT@:@LT_REVISION@:@LT_AGE@
EXTRA_DIST = \
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/Makefile.in new/brial-1.2.10/Makefile.in
--- old/brial-1.2.9/Makefile.in 2020-09-24 23:52:10.000000000 +0200
+++ new/brial-1.2.10/Makefile.in 2020-10-01 11:47:02.000000000 +0200
@@ -88,7 +88,6 @@
POST_UNINSTALL = :
build_triplet = @build@
host_triplet = @host@
-@EXTERNAL_CUDD_FALSE@am__append_1 = cudd
subdir = .
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/m4/ax_boost_base.m4 \
@@ -138,9 +137,8 @@
}
am__installdirs = "$(DESTDIR)$(libdir)"
LTLIBRARIES = $(lib_LTLIBRARIES)
-am__DEPENDENCIES_1 =
-libbrial_la_DEPENDENCIES = libbrial/src/libbrial_base.la \
- $(am__DEPENDENCIES_1)
+libbrial_la_DEPENDENCIES = cudd/libcudd.la \
+ libbrial/src/libbrial_base.la
am_libbrial_la_OBJECTS =
libbrial_la_OBJECTS = $(am_libbrial_la_OBJECTS)
AM_V_lt = $(am__v_lt_@AM_V@)
@@ -228,7 +226,7 @@
ETAGS = etags
CTAGS = ctags
CSCOPE = cscope
-DIST_SUBDIRS = cudd libbrial . groebner tests
+DIST_SUBDIRS = $(SUBDIRS)
am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config_dummy.h.in \
$(top_srcdir)/libbrial/include/polybori/config.h.in README \
ar-lib compile config.guess config.sub depcomp install-sh \
@@ -291,8 +289,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
@@ -417,10 +413,13 @@
top_builddir = @top_builddir@
top_srcdir = @top_srcdir@
ACLOCAL_AMFLAGS = -I m4
-SUBDIRS = $(am__append_1) libbrial . groebner tests
+SUBDIRS = cudd libbrial . groebner tests
lib_LTLIBRARIES = libbrial.la
libbrial_la_SOURCES =
-libbrial_la_LIBADD = libbrial/src/libbrial_base.la ${CUDD_LIBS}
+libbrial_la_LIBADD = \
+ cudd/libcudd.la \
+ libbrial/src/libbrial_base.la
+
libbrial_la_LDFLAGS = -no-undefined $(AM_LDFLAGS) -version-info
@LT_CURRENT@:@LT_REVISION@:@LT_AGE@
EXTRA_DIST = \
cudd/LICENSE \
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/common.mk new/brial-1.2.10/common.mk
--- old/brial-1.2.9/common.mk 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/common.mk 2020-10-01 11:43:40.000000000 +0200
@@ -1,8 +1,7 @@
AM_CPPFLAGS = \
-I$(top_srcdir)/groebner/include \
-I$(top_builddir)/libbrial/include \
- -I$(top_srcdir)/libbrial/include \
- ${CUDD_CPPFLAGS}
+ -I$(top_srcdir)/libbrial/include
AM_CXXFLAGS = -ftemplate-depth-100
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/config_dummy.h.in
new/brial-1.2.10/config_dummy.h.in
--- old/brial-1.2.9/config_dummy.h.in 2020-09-24 23:52:14.000000000 +0200
+++ new/brial-1.2.10/config_dummy.h.in 2020-10-01 11:47:01.000000000 +0200
@@ -6,9 +6,6 @@
/* define if the Boost::Unit_Test_Framework library is available */
#undef HAVE_BOOST_UNIT_TEST_FRAMEWORK
-/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
-#undef HAVE_CUDD_CUDDINT_H
-
/* define if the compiler supports basic C++11 syntax */
#undef HAVE_CXX11
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/configure new/brial-1.2.10/configure
--- old/brial-1.2.9/configure 2020-09-24 23:52:10.000000000 +0200
+++ new/brial-1.2.10/configure 2020-10-01 11:47:01.000000000 +0200
@@ -1,6 +1,6 @@
#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.69 for BRiAl 1.2.9.
+# Generated by GNU Autoconf 2.69 for BRiAl 1.2.10.
#
#
# Copyright (C) 1992-1996, 1998-2012 Free Software Foundation, Inc.
@@ -587,8 +587,8 @@
# Identity of this package.
PACKAGE_NAME='BRiAl'
PACKAGE_TARNAME='brial'
-PACKAGE_VERSION='1.2.9'
-PACKAGE_STRING='BRiAl 1.2.9'
+PACKAGE_VERSION='1.2.10'
+PACKAGE_STRING='BRiAl 1.2.10'
PACKAGE_BUGREPORT=''
PACKAGE_URL=''
@@ -632,10 +632,6 @@
am__EXEEXT_TRUE
LTLIBOBJS
LIBOBJS
-CUDD_LIBS
-CUDD_CPPFLAGS
-EXTERNAL_CUDD_FALSE
-EXTERNAL_CUDD_TRUE
GD_LIBS
GD_CFLAGS
LIBPNG_LIBADD
@@ -791,7 +787,6 @@
with_boost
with_boost_libdir
with_boost_unit_test_framework
-with_external_cudd
'
ac_precious_vars='build_alias
host_alias
@@ -1366,7 +1361,7 @@
# Omit some internal or obsolete options to make the list less imposing.
# This message is too long to be a string in the A/UX 3.1 sh.
cat <<_ACEOF
-\`configure' configures BRiAl 1.2.9 to adapt to many kinds of systems.
+\`configure' configures BRiAl 1.2.10 to adapt to many kinds of systems.
Usage: $0 [OPTION]... [VAR=VALUE]...
@@ -1437,7 +1432,7 @@
if test -n "$ac_init_help"; then
case $ac_init_help in
- short | recursive ) echo "Configuration of BRiAl 1.2.9:";;
+ short | recursive ) echo "Configuration of BRiAl 1.2.10:";;
esac
cat <<\_ACEOF
@@ -1482,7 +1477,6 @@
is possible to specify a certain library for the
linker e.g.
--with-boost-unit-test-framework=boost_unit_test_framework-gcc
- --with-external-cudd Utilize a system-installed CUDD library
Some influential environment variables:
CC C compiler command
@@ -1576,7 +1570,7 @@
test -n "$ac_init_help" && exit $ac_status
if $ac_init_version; then
cat <<\_ACEOF
-BRiAl configure 1.2.9
+BRiAl configure 1.2.10
generated by GNU Autoconf 2.69
Copyright (C) 2012 Free Software Foundation, Inc.
@@ -2250,98 +2244,11 @@
as_fn_set_status $ac_retval
} # ac_fn_cxx_compute_int
-
-# ac_fn_cxx_check_header_mongrel LINENO HEADER VAR INCLUDES
-# ---------------------------------------------------------
-# Tests whether HEADER exists, giving a warning if it cannot be compiled using
-# the include files in INCLUDES and setting the cache variable VAR
-# accordingly.
-ac_fn_cxx_check_header_mongrel ()
-{
- as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
- if eval \${$3+:} false; then :
- { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2" >&5
-$as_echo_n "checking for $2... " >&6; }
-if eval \${$3+:} false; then :
- $as_echo_n "(cached) " >&6
-fi
-eval ac_res=\$$3
- { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
-$as_echo "$ac_res" >&6; }
-else
- # Is the header compilable?
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking $2 usability" >&5
-$as_echo_n "checking $2 usability... " >&6; }
-cat confdefs.h - <<_ACEOF >conftest.$ac_ext
-/* end confdefs.h. */
-$4
-#include <$2>
-_ACEOF
-if ac_fn_cxx_try_compile "$LINENO"; then :
- ac_header_compiler=yes
-else
- ac_header_compiler=no
-fi
-rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_header_compiler" >&5
-$as_echo "$ac_header_compiler" >&6; }
-
-# Is the header present?
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking $2 presence" >&5
-$as_echo_n "checking $2 presence... " >&6; }
-cat confdefs.h - <<_ACEOF >conftest.$ac_ext
-/* end confdefs.h. */
-#include <$2>
-_ACEOF
-if ac_fn_cxx_try_cpp "$LINENO"; then :
- ac_header_preproc=yes
-else
- ac_header_preproc=no
-fi
-rm -f conftest.err conftest.i conftest.$ac_ext
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_header_preproc" >&5
-$as_echo "$ac_header_preproc" >&6; }
-
-# So? What about this header?
-case $ac_header_compiler:$ac_header_preproc:$ac_cxx_preproc_warn_flag in #((
- yes:no: )
- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: accepted by the
compiler, rejected by the preprocessor!" >&5
-$as_echo "$as_me: WARNING: $2: accepted by the compiler, rejected by the
preprocessor!" >&2;}
- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: proceeding with the
compiler's result" >&5
-$as_echo "$as_me: WARNING: $2: proceeding with the compiler's result" >&2;}
- ;;
- no:yes:* )
- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: present but cannot
be compiled" >&5
-$as_echo "$as_me: WARNING: $2: present but cannot be compiled" >&2;}
- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: check for
missing prerequisite headers?" >&5
-$as_echo "$as_me: WARNING: $2: check for missing prerequisite headers?"
>&2;}
- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: see the Autoconf
documentation" >&5
-$as_echo "$as_me: WARNING: $2: see the Autoconf documentation" >&2;}
- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: section
\"Present But Cannot Be Compiled\"" >&5
-$as_echo "$as_me: WARNING: $2: section \"Present But Cannot Be Compiled\""
>&2;}
- { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $2: proceeding with the
compiler's result" >&5
-$as_echo "$as_me: WARNING: $2: proceeding with the compiler's result" >&2;}
- ;;
-esac
- { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $2" >&5
-$as_echo_n "checking for $2... " >&6; }
-if eval \${$3+:} false; then :
- $as_echo_n "(cached) " >&6
-else
- eval "$3=\$ac_header_compiler"
-fi
-eval ac_res=\$$3
- { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
-$as_echo "$ac_res" >&6; }
-fi
- eval $as_lineno_stack; ${as_lineno_stack:+:} unset as_lineno
-
-} # ac_fn_cxx_check_header_mongrel
cat >config.log <<_ACEOF
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
-It was created by BRiAl $as_me 1.2.9, which was
+It was created by BRiAl $as_me 1.2.10, which was
generated by GNU Autoconf 2.69. Invocation command line was
$ $0 $@
@@ -3206,7 +3113,7 @@
# Define the identity of the package.
PACKAGE='brial'
- VERSION='1.2.9'
+ VERSION='1.2.10'
cat >>confdefs.h <<_ACEOF
@@ -12709,7 +12616,7 @@
LT_CURRENT=3
-LT_REVISION=5
+LT_REVISION=6
LT_AGE=0
@@ -18744,48 +18651,6 @@
fi
fi
-EXTERNAL_CUDD=""
-
-# Check whether --with-external-cudd was given.
-if test "${with_external_cudd+set}" = set; then :
- withval=$with_external_cudd;
- CUDD_CPPFLAGS="-DPBORI_USE_ORIGINAL_CUDD"
- for ac_header in cudd/cuddInt.h
-do :
- ac_fn_cxx_check_header_mongrel "$LINENO" "cudd/cuddInt.h"
"ac_cv_header_cudd_cuddInt_h" "$ac_includes_default"
-if test "x$ac_cv_header_cudd_cuddInt_h" = xyes; then :
- cat >>confdefs.h <<_ACEOF
-#define HAVE_CUDD_CUDDINT_H 1
-_ACEOF
-
-else
- as_fn_error $? "Requested system CUDD but cannot resolve <cudd/cuddInt.h>"
"$LINENO" 5
-fi
-
-done
-
- CUDD_LIBS="-lcudd"
- EXTERNAL_CUDD=1
-
-else
-
- CUDD_CPPFLAGS='-I${top_srcdir}/libbrial/include/polybori'
- CUDD_LIBS='${top_builddir}/cudd/libcudd.la'
-
-
-fi
-
- if test -n "$EXTERNAL_CUDD"; then
- EXTERNAL_CUDD_TRUE=
- EXTERNAL_CUDD_FALSE='#'
-else
- EXTERNAL_CUDD_TRUE='#'
- EXTERNAL_CUDD_FALSE=
-fi
-
-
-
-
ac_config_headers="$ac_config_headers config_dummy.h
libbrial/include/polybori/config.h"
ac_config_files="$ac_config_files Makefile cudd/Makefile groebner/Makefile
groebner/include/Makefile groebner/src/Makefile libbrial/Makefile
libbrial/include/Makefile libbrial/src/Makefile tests/Makefile"
@@ -18927,10 +18792,6 @@
as_fn_error $? "conditional \"am__fastdepCXX\" was never defined.
Usually this means the macro was only invoked conditionally." "$LINENO" 5
fi
-if test -z "${EXTERNAL_CUDD_TRUE}" && test -z "${EXTERNAL_CUDD_FALSE}"; then
- as_fn_error $? "conditional \"EXTERNAL_CUDD\" was never defined.
-Usually this means the macro was only invoked conditionally." "$LINENO" 5
-fi
: "${CONFIG_STATUS=./config.status}"
ac_write_fail=0
@@ -19328,7 +19189,7 @@
# report actual input values of CONFIG_FILES etc. instead of their
# values after options handling.
ac_log="
-This file was extended by BRiAl $as_me 1.2.9, which was
+This file was extended by BRiAl $as_me 1.2.10, which was
generated by GNU Autoconf 2.69. Invocation command line was
CONFIG_FILES = $CONFIG_FILES
@@ -19394,7 +19255,7 @@
cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //;
s/[\\""\`\$]/\\\\&/g'`"
ac_cs_version="\\
-BRiAl config.status 1.2.9
+BRiAl config.status 1.2.10
configured by $0, generated by GNU Autoconf 2.69,
with options \\"\$ac_cs_config\\"
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/configure.ac
new/brial-1.2.10/configure.ac
--- old/brial-1.2.9/configure.ac 2020-09-24 23:48:19.000000000 +0200
+++ new/brial-1.2.10/configure.ac 2020-10-01 11:45:04.000000000 +0200
@@ -1,4 +1,4 @@
-AC_INIT([BRiAl], [1.2.9])
+AC_INIT([BRiAl], [1.2.10])
AC_CONFIG_MACRO_DIRS([m4])
AM_INIT_AUTOMAKE([foreign -Wall -Werror tar-ustar])
@@ -6,7 +6,7 @@
LT_INIT
LT_CURRENT=3
-LT_REVISION=5
+LT_REVISION=6
LT_AGE=0
AC_SUBST(LT_CURRENT)
AC_SUBST(LT_REVISION)
@@ -95,24 +95,6 @@
fi
fi
-EXTERNAL_CUDD=""
-AC_ARG_WITH([external-cudd],
- [AS_HELP_STRING([--with-external-cudd], [Utilize a system-installed
CUDD library])],
- [
- CUDD_CPPFLAGS="-DPBORI_USE_ORIGINAL_CUDD"
- AC_CHECK_HEADERS([cudd/cuddInt.h], [], [AC_MSG_ERROR([Requested
system CUDD but cannot resolve <cudd/cuddInt.h>])])
- CUDD_LIBS="-lcudd"
- EXTERNAL_CUDD=1
- ],
- [
- CUDD_CPPFLAGS='-I${top_srcdir}/libbrial/include/polybori'
- CUDD_LIBS='${top_builddir}/cudd/libcudd.la'
- ]
-)
-AM_CONDITIONAL([EXTERNAL_CUDD], [test -n "$EXTERNAL_CUDD"])
-AC_SUBST([CUDD_CPPFLAGS])
-AC_SUBST([CUDD_LIBS])
-
AC_CONFIG_HEADERS([config_dummy.h libbrial/include/polybori/config.h])
AC_CONFIG_FILES([
Makefile
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/Makefile.in
new/brial-1.2.10/cudd/Makefile.in
--- old/brial-1.2.9/cudd/Makefile.in 2020-09-24 23:52:10.000000000 +0200
+++ new/brial-1.2.10/cudd/Makefile.in 2020-10-01 11:47:02.000000000 +0200
@@ -225,8 +225,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
@@ -353,8 +351,7 @@
AM_CPPFLAGS = \
-I$(top_srcdir)/groebner/include \
-I$(top_builddir)/libbrial/include \
- -I$(top_srcdir)/libbrial/include \
- ${CUDD_CPPFLAGS}
+ -I$(top_srcdir)/libbrial/include
AM_CXXFLAGS = -ftemplate-depth-100
AM_DEFAULT_SOURCE_EXT = .cc
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cudd.h new/brial-1.2.10/cudd/cudd.h
--- old/brial-1.2.9/cudd/cudd.h 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cudd.h 2020-10-01 11:43:40.000000000 +0200
@@ -72,7 +72,7 @@
#else
#include <polybori/config.h>
-#include <polybori/cuddaux/prefix.h>
+#include <polybori/cudd/prefix.h>
#ifndef CUDD_ASSERT
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddAPI.c
new/brial-1.2.10/cudd/cuddAPI.c
--- old/brial-1.2.9/cudd/cuddAPI.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddAPI.c 2020-10-01 11:43:40.000000000 +0200
@@ -213,7 +213,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddCache.c
new/brial-1.2.10/cudd/cuddCache.c
--- old/brial-1.2.9/cudd/cuddCache.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddCache.c 2020-10-01 11:43:40.000000000 +0200
@@ -67,7 +67,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddInit.c
new/brial-1.2.10/cudd/cuddInit.c
--- old/brial-1.2.9/cudd/cuddInit.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddInit.c 2020-10-01 11:43:40.000000000 +0200
@@ -60,7 +60,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddInt.h
new/brial-1.2.10/cudd/cuddInt.h
--- old/brial-1.2.9/cudd/cuddInt.h 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddInt.h 2020-10-01 11:43:40.000000000 +0200
@@ -92,7 +92,7 @@
#include "st.h"
#else
-#include <polybori/cuddaux/prefix.h>
+#include <polybori/cudd/prefix.h>
#endif
#ifdef __cplusplus
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddLCache.c
new/brial-1.2.10/cudd/cuddLCache.c
--- old/brial-1.2.9/cudd/cuddLCache.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddLCache.c 2020-10-01 11:43:40.000000000 +0200
@@ -79,7 +79,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddRef.c
new/brial-1.2.10/cudd/cuddRef.c
--- old/brial-1.2.9/cudd/cuddRef.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddRef.c 2020-10-01 11:43:40.000000000 +0200
@@ -69,7 +69,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddTable.c
new/brial-1.2.10/cudd/cuddTable.c
--- old/brial-1.2.9/cudd/cuddTable.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddTable.c 2020-10-01 11:43:40.000000000 +0200
@@ -85,7 +85,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddZddFuncs.c
new/brial-1.2.10/cudd/cuddZddFuncs.c
--- old/brial-1.2.9/cudd/cuddZddFuncs.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddZddFuncs.c 2020-10-01 11:43:40.000000000
+0200
@@ -79,7 +79,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/cuddZddSetop.c
new/brial-1.2.10/cudd/cuddZddSetop.c
--- old/brial-1.2.9/cudd/cuddZddSetop.c 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/cuddZddSetop.c 2020-10-01 11:43:40.000000000
+0200
@@ -77,7 +77,7 @@
#include "cuddInt.h"
#ifndef PBORI_FORCE_ORIGINAL_CUDD
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/prefix_internal.h>
#endif
/*---------------------------------------------------------------------------*/
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/cudd/util.h new/brial-1.2.10/cudd/util.h
--- old/brial-1.2.9/cudd/util.h 2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/cudd/util.h 2020-10-01 11:43:40.000000000 +0200
@@ -8,7 +8,7 @@
#ifndef polybori_cuddy_util_h_
#define polybori_cuddy_util_h_
-#include <polybori/cuddaux/prefix.h>
+#include <polybori/cudd/prefix.h>
#ifdef __cplusplus
#include <ctime>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/groebner/Makefile.in
new/brial-1.2.10/groebner/Makefile.in
--- old/brial-1.2.9/groebner/Makefile.in 2020-09-24 23:52:10.000000000
+0200
+++ new/brial-1.2.10/groebner/Makefile.in 2020-10-01 11:47:02.000000000
+0200
@@ -202,8 +202,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/groebner/include/Makefile.in
new/brial-1.2.10/groebner/include/Makefile.in
--- old/brial-1.2.9/groebner/include/Makefile.in 2020-09-24
23:52:10.000000000 +0200
+++ new/brial-1.2.10/groebner/include/Makefile.in 2020-10-01
11:47:02.000000000 +0200
@@ -191,8 +191,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/groebner/src/Makefile.in
new/brial-1.2.10/groebner/src/Makefile.in
--- old/brial-1.2.9/groebner/src/Makefile.in 2020-09-24 23:52:10.000000000
+0200
+++ new/brial-1.2.10/groebner/src/Makefile.in 2020-10-01 11:47:02.000000000
+0200
@@ -244,8 +244,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
@@ -372,8 +370,7 @@
AM_CPPFLAGS = \
-I$(top_srcdir)/groebner/include \
-I$(top_builddir)/libbrial/include \
- -I$(top_srcdir)/libbrial/include \
- ${CUDD_CPPFLAGS}
+ -I$(top_srcdir)/libbrial/include
AM_CXXFLAGS = -ftemplate-depth-100
AM_DEFAULT_SOURCE_EXT = .cc
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/Makefile.in
new/brial-1.2.10/libbrial/Makefile.in
--- old/brial-1.2.9/libbrial/Makefile.in 2020-09-24 23:52:10.000000000
+0200
+++ new/brial-1.2.10/libbrial/Makefile.in 2020-10-01 11:47:02.000000000
+0200
@@ -202,8 +202,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/include/Makefile.am
new/brial-1.2.10/libbrial/include/Makefile.am
--- old/brial-1.2.9/libbrial/include/Makefile.am 2020-09-23
11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/Makefile.am 2020-10-01
11:43:40.000000000 +0200
@@ -21,8 +21,8 @@
polybori/common/traits.h \
polybori/common/TransformedSequence.h \
polybori/config.h \
- polybori/cuddaux/prefix.h \
- polybori/cuddaux/prefix_internal.h \
+ polybori/cudd/prefix.h \
+ polybori/cudd/prefix_internal.h \
polybori/DegLexOrder.h \
polybori/DegRevLexAscOrder.h \
polybori/diagram/CApplyNodeFacade.h \
@@ -81,3 +81,7 @@
polybori/routines/pbori_routines_misc.h \
polybori/routines/pbori_routines_order.h \
polybori.h
+
+noinst_HEADERS = \
+ polybori/cudd/cudd.h \
+ polybori/cudd/cuddInt.h
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/include/Makefile.in
new/brial-1.2.10/libbrial/include/Makefile.in
--- old/brial-1.2.9/libbrial/include/Makefile.in 2020-09-24
23:52:10.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/Makefile.in 2020-10-01
11:47:02.000000000 +0200
@@ -100,7 +100,7 @@
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
$(ACLOCAL_M4)
DIST_COMMON = $(srcdir)/Makefile.am $(nobase_include_HEADERS) \
- $(am__DIST_COMMON)
+ $(noinst_HEADERS) $(am__DIST_COMMON)
mkinstalldirs = $(install_sh) -d
CONFIG_HEADER = $(top_builddir)/config_dummy.h \
$(top_builddir)/libbrial/include/polybori/config.h
@@ -153,7 +153,7 @@
$(am__cd) "$$dir" && rm -f $$files; }; \
}
am__installdirs = "$(DESTDIR)$(includedir)"
-HEADERS = $(nobase_include_HEADERS)
+HEADERS = $(nobase_include_HEADERS) $(noinst_HEADERS)
am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
# Read a list of newline-separated strings from the standard input,
# and print each of them once, without duplicates. Input order is
@@ -191,8 +191,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
@@ -339,8 +337,8 @@
polybori/common/traits.h \
polybori/common/TransformedSequence.h \
polybori/config.h \
- polybori/cuddaux/prefix.h \
- polybori/cuddaux/prefix_internal.h \
+ polybori/cudd/prefix.h \
+ polybori/cudd/prefix_internal.h \
polybori/DegLexOrder.h \
polybori/DegRevLexAscOrder.h \
polybori/diagram/CApplyNodeFacade.h \
@@ -400,6 +398,10 @@
polybori/routines/pbori_routines_order.h \
polybori.h
+noinst_HEADERS = \
+ polybori/cudd/cudd.h \
+ polybori/cudd/cuddInt.h
+
all: all-am
.SUFFIXES:
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/common/traits.h
new/brial-1.2.10/libbrial/include/polybori/common/traits.h
--- old/brial-1.2.9/libbrial/include/polybori/common/traits.h 2020-09-23
11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/common/traits.h 2020-10-01
11:43:40.000000000 +0200
@@ -22,7 +22,6 @@
// include basic definitions
#include <polybori/pbori_defs.h>
#include <polybori/common/tags.h>
-#include <polybori/cuddaux/prefix.h>
#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/include/polybori/config.h
new/brial-1.2.10/libbrial/include/polybori/config.h
--- old/brial-1.2.9/libbrial/include/polybori/config.h 2020-09-24
23:52:14.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/config.h 2020-10-01
11:47:11.000000000 +0200
@@ -24,10 +24,10 @@
#define PACKAGE_NAME "BRiAl"
/* Define to the full name and version of this package. */
-#define PACKAGE_STRING "BRiAl 1.2.9"
+#define PACKAGE_STRING "BRiAl 1.2.10"
/* Define to the one symbol short name of this package. */
#define PACKAGE_TARNAME "brial"
/* Define to the version of this package. */
-#define PACKAGE_VERSION "1.2.9"
+#define PACKAGE_VERSION "1.2.10"
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/include/polybori/cudd/cudd.h
new/brial-1.2.10/libbrial/include/polybori/cudd/cudd.h
--- old/brial-1.2.9/libbrial/include/polybori/cudd/cudd.h 1970-01-01
01:00:00.000000000 +0100
+++ new/brial-1.2.10/libbrial/include/polybori/cudd/cudd.h 2020-10-01
11:43:40.000000000 +0200
@@ -0,0 +1,22 @@
+// -*- c++ -*-
+//*****************************************************************************
+/** @file cudd.h
+ *
+ * @author Alexander Dreyer
+ * @date 2001-07-13
+ *
+ * Forwarding header for cudd.h
+ * (PolyBoRi needs a specific version of Cudd.)
+ *
+ * @par Copyright:
+ * (c) 2011 by The PolyBoRi Team
+ *
+**/
+//*****************************************************************************
+
+#ifndef polybori_cudd_cudd_h_
+#define polybori_cudd_cudd_h_
+
+#include "../../../../cudd/cudd.h"
+
+#endif
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/include/polybori/cudd/cuddInt.h
new/brial-1.2.10/libbrial/include/polybori/cudd/cuddInt.h
--- old/brial-1.2.9/libbrial/include/polybori/cudd/cuddInt.h 1970-01-01
01:00:00.000000000 +0100
+++ new/brial-1.2.10/libbrial/include/polybori/cudd/cuddInt.h 2020-10-01
11:43:40.000000000 +0200
@@ -0,0 +1,22 @@
+// -*- c++ -*-
+//*****************************************************************************
+/** @file cudd.h
+ *
+ * @author Alexander Dreyer
+ * @date 2001-07-13
+ *
+ * Forwarding header for cuddInt.h
+ * (PolyBoRi needs a specific version of Cudd.)
+ *
+ * @par Copyright:
+ * (c) 2011 by The PolyBoRi Team
+ *
+**/
+//*****************************************************************************
+
+#ifndef polybori_cudd_cuddInt_h_
+#define polybori_cudd_cuddInt_h_
+
+#include "../../../../cudd/cuddInt.h"
+
+#endif
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/include/polybori/cudd/prefix.h
new/brial-1.2.10/libbrial/include/polybori/cudd/prefix.h
--- old/brial-1.2.9/libbrial/include/polybori/cudd/prefix.h 1970-01-01
01:00:00.000000000 +0100
+++ new/brial-1.2.10/libbrial/include/polybori/cudd/prefix.h 2020-10-01
11:43:40.000000000 +0200
@@ -0,0 +1,30 @@
+// -*- c++ -*-
+//*****************************************************************************
+/** @file prefix.h
+ *
+ * @author Alexander Dreyer
+ * @date 2012-02-15
+ *
+ * This file includes some macro definitions
+ *
+ * @note It is intended to be included by the header files of the CUDD fork
+ * coming with PolyBoRi. It defines macros, which can be used to CUDD's symbols
+ * with @c pbori_ to avoid name clashing and errorous linking of third party
+ * code to @c libpolybori (instead of @c libcudd).
+ *
+ * @par Copyright:
+ * (c) 2012 by The PolyBoRi Team
+ *
+**/
+//*****************************************************************************
+
+#ifndef polybori_cudd_prefix_h_
+#define polybori_cudd_prefix_h_
+
+#ifdef PBORI_USE_ORIGINAL_CUDD
+#define PBORI_PREFIX(name) name
+#else
+#define PBORI_PREFIX(name) pbori_ ## name
+#endif
+
+#endif
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/cudd/prefix_internal.h
new/brial-1.2.10/libbrial/include/polybori/cudd/prefix_internal.h
--- old/brial-1.2.9/libbrial/include/polybori/cudd/prefix_internal.h
1970-01-01 01:00:00.000000000 +0100
+++ new/brial-1.2.10/libbrial/include/polybori/cudd/prefix_internal.h
2020-10-01 11:43:40.000000000 +0200
@@ -0,0 +1,265 @@
+// -*- c++ -*-
+//*****************************************************************************
+/** @file prefix_internal.h
+ *
+ * @author Alexander Dreyer
+ * @date 2012-02-15
+ *
+ * This file includes some macro definitions
+ *
+ * @note It is intended to be included by the @c .c files of the CUDD fork
+ * coming with PolyBoRi only. It prefixes CUDD's symbols with @c pbori_ to
avoid
+ * name clashing and errorous linking of third party code to @c libpolybori
+ * (instead of @c libcudd).
+ *
+ * @par Copyright:
+ * (c) 2012 by The PolyBoRi Team
+ *
+**/
+//*****************************************************************************
+
+#ifndef polybori_cudd_prefix_internal_h_
+#define polybori_cudd_prefix_internal_h_
+
+#ifndef PBORI_USE_ORIGINAL_CUDD
+#define Cudd_IsNonConstant pbori_Cudd_IsNonConstant
+#define Cudd_ReadStartTime pbori_Cudd_ReadStartTime
+#define Cudd_SetStartTime pbori_Cudd_SetStartTime
+#define Cudd_ReadTimeLimit pbori_Cudd_ReadTimeLimit
+#define Cudd_SetTimeLimit pbori_Cudd_SetTimeLimit
+#define Cudd_IncreaseTimeLimit pbori_Cudd_IncreaseTimeLimit
+#define Cudd_UnsetTimeLimit pbori_Cudd_UnsetTimeLimit
+#define Cudd_TimeLimited pbori_Cudd_TimeLimited
+#define Cudd_AutodynDisable pbori_Cudd_AutodynDisable
+#define Cudd_ReorderingStatus pbori_Cudd_ReorderingStatus
+#define Cudd_AutodynEnableZdd pbori_Cudd_AutodynEnableZdd
+#define Cudd_AutodynDisableZdd pbori_Cudd_AutodynDisableZdd
+#define Cudd_ReorderingStatusZdd pbori_Cudd_ReorderingStatusZdd
+#define Cudd_zddRealignmentEnabled pbori_Cudd_zddRealignmentEnabled
+#define Cudd_zddRealignEnable pbori_Cudd_zddRealignEnable
+#define Cudd_zddRealignDisable pbori_Cudd_zddRealignDisable
+#define Cudd_bddRealignmentEnabled pbori_Cudd_bddRealignmentEnabled
+#define Cudd_bddRealignEnable pbori_Cudd_bddRealignEnable
+#define Cudd_bddRealignDisable pbori_Cudd_bddRealignDisable
+#define Cudd_ReadOne pbori_Cudd_ReadOne
+#define Cudd_ReadZddOne pbori_Cudd_ReadZddOne
+#define Cudd_ReadZero pbori_Cudd_ReadZero
+#define Cudd_ReadLogicZero pbori_Cudd_ReadLogicZero
+#define Cudd_ReadPlusInfinity pbori_Cudd_ReadPlusInfinity
+#define Cudd_ReadMinusInfinity pbori_Cudd_ReadMinusInfinity
+#define Cudd_ReadBackground pbori_Cudd_ReadBackground
+#define Cudd_SetBackground pbori_Cudd_SetBackground
+#define Cudd_ReadCacheSlots pbori_Cudd_ReadCacheSlots
+#define Cudd_ReadCacheUsedSlots pbori_Cudd_ReadCacheUsedSlots
+#define Cudd_ReadCacheLookUps pbori_Cudd_ReadCacheLookUps
+#define Cudd_ReadCacheHits pbori_Cudd_ReadCacheHits
+#define Cudd_ReadRecursiveCalls pbori_Cudd_ReadRecursiveCalls
+#define Cudd_ReadMinHit pbori_Cudd_ReadMinHit
+#define Cudd_SetMinHit pbori_Cudd_SetMinHit
+#define Cudd_ReadLooseUpTo pbori_Cudd_ReadLooseUpTo
+#define Cudd_SetLooseUpTo pbori_Cudd_SetLooseUpTo
+#define Cudd_ReadMaxCache pbori_Cudd_ReadMaxCache
+#define Cudd_ReadMaxCacheHard pbori_Cudd_ReadMaxCacheHard
+#define Cudd_SetMaxCacheHard pbori_Cudd_SetMaxCacheHard
+#define Cudd_ReadSize pbori_Cudd_ReadSize
+#define Cudd_ReadZddSize pbori_Cudd_ReadZddSize
+#define Cudd_ReadSlots pbori_Cudd_ReadSlots
+#define Cudd_ReadUsedSlots pbori_Cudd_ReadUsedSlots
+#define Cudd_ReadKeys pbori_Cudd_ReadKeys
+#define Cudd_ReadDead pbori_Cudd_ReadDead
+#define Cudd_ReadMinDead pbori_Cudd_ReadMinDead
+#define Cudd_ReadReorderings pbori_Cudd_ReadReorderings
+#define Cudd_ReadMaxReorderings pbori_Cudd_ReadMaxReorderings
+#define Cudd_SetMaxReorderings pbori_Cudd_SetMaxReorderings
+#define Cudd_ReadReorderingTime pbori_Cudd_ReadReorderingTime
+#define Cudd_ReadGarbageCollections pbori_Cudd_ReadGarbageCollections
+#define Cudd_ReadGarbageCollectionTime pbori_Cudd_ReadGarbageCollectionTime
+#define Cudd_ReadNodesFreed pbori_Cudd_ReadNodesFreed
+#define Cudd_ReadNodesDropped pbori_Cudd_ReadNodesDropped
+#define Cudd_ReadUniqueLookUps pbori_Cudd_ReadUniqueLookUps
+#define Cudd_ReadUniqueLinks pbori_Cudd_ReadUniqueLinks
+#define Cudd_ReadSiftMaxVar pbori_Cudd_ReadSiftMaxVar
+#define Cudd_SetSiftMaxVar pbori_Cudd_SetSiftMaxVar
+#define Cudd_ReadSiftMaxSwap pbori_Cudd_ReadSiftMaxSwap
+#define Cudd_SetSiftMaxSwap pbori_Cudd_SetSiftMaxSwap
+#define Cudd_ReadMaxGrowth pbori_Cudd_ReadMaxGrowth
+#define Cudd_SetMaxGrowth pbori_Cudd_SetMaxGrowth
+#define Cudd_ReadMaxGrowthAlternate pbori_Cudd_ReadMaxGrowthAlternate
+#define Cudd_SetMaxGrowthAlternate pbori_Cudd_SetMaxGrowthAlternate
+#define Cudd_ReadReorderingCycle pbori_Cudd_ReadReorderingCycle
+#define Cudd_SetReorderingCycle pbori_Cudd_SetReorderingCycle
+#define Cudd_NodeReadIndex pbori_Cudd_NodeReadIndex
+#define Cudd_ReadPerm pbori_Cudd_ReadPerm
+#define Cudd_ReadPermZdd pbori_Cudd_ReadPermZdd
+#define Cudd_ReadInvPerm pbori_Cudd_ReadInvPerm
+#define Cudd_ReadInvPermZdd pbori_Cudd_ReadInvPermZdd
+#define Cudd_ReadVars pbori_Cudd_ReadVars
+#define Cudd_ReadEpsilon pbori_Cudd_ReadEpsilon
+#define Cudd_SetEpsilon pbori_Cudd_SetEpsilon
+#define Cudd_ReadGroupcheck pbori_Cudd_ReadGroupcheck
+#define Cudd_SetGroupcheck pbori_Cudd_SetGroupcheck
+#define Cudd_GarbageCollectionEnabled pbori_Cudd_GarbageCollectionEnabled
+#define Cudd_EnableGarbageCollection pbori_Cudd_EnableGarbageCollection
+#define Cudd_DisableGarbageCollection pbori_Cudd_DisableGarbageCollection
+#define Cudd_DeadAreCounted pbori_Cudd_DeadAreCounted
+#define Cudd_TurnOnCountDead pbori_Cudd_TurnOnCountDead
+#define Cudd_TurnOffCountDead pbori_Cudd_TurnOffCountDead
+#define Cudd_ReadRecomb pbori_Cudd_ReadRecomb
+#define Cudd_SetRecomb pbori_Cudd_SetRecomb
+#define Cudd_ReadSymmviolation pbori_Cudd_ReadSymmviolation
+#define Cudd_SetSymmviolation pbori_Cudd_SetSymmviolation
+#define Cudd_ReadArcviolation pbori_Cudd_ReadArcviolation
+#define Cudd_SetArcviolation pbori_Cudd_SetArcviolation
+#define Cudd_ReadPopulationSize pbori_Cudd_ReadPopulationSize
+#define Cudd_SetPopulationSize pbori_Cudd_SetPopulationSize
+#define Cudd_ReadNumberXovers pbori_Cudd_ReadNumberXovers
+#define Cudd_SetNumberXovers pbori_Cudd_SetNumberXovers
+#define Cudd_ReadOrderRandomization pbori_Cudd_ReadOrderRandomization
+#define Cudd_SetOrderRandomization pbori_Cudd_SetOrderRandomization
+#define Cudd_ReadMemoryInUse pbori_Cudd_ReadMemoryInUse
+#define Cudd_ReadPeakNodeCount pbori_Cudd_ReadPeakNodeCount
+#define Cudd_ReadPeakLiveNodeCount pbori_Cudd_ReadPeakLiveNodeCount
+#define Cudd_zddReadNodeCount pbori_Cudd_zddReadNodeCount
+#define Cudd_IsInHook pbori_Cudd_IsInHook
+#define Cudd_ReorderingReporting pbori_Cudd_ReorderingReporting
+#define Cudd_StdPreReordHook pbori_Cudd_StdPreReordHook
+#define Cudd_ReadErrorCode pbori_Cudd_ReadErrorCode
+#define Cudd_ClearErrorCode pbori_Cudd_ClearErrorCode
+#define Cudd_ReadStdout pbori_Cudd_ReadStdout
+#define Cudd_SetStdout pbori_Cudd_SetStdout
+#define Cudd_ReadStderr pbori_Cudd_ReadStderr
+#define Cudd_SetStderr pbori_Cudd_SetStderr
+#define Cudd_ReadNextReordering pbori_Cudd_ReadNextReordering
+#define Cudd_SetNextReordering pbori_Cudd_SetNextReordering
+#define Cudd_ReadSwapSteps pbori_Cudd_ReadSwapSteps
+#define Cudd_ReadMaxLive pbori_Cudd_ReadMaxLive
+#define Cudd_SetMaxLive pbori_Cudd_SetMaxLive
+#define Cudd_ReadMaxMemory pbori_Cudd_ReadMaxMemory
+#define Cudd_SetMaxMemory pbori_Cudd_SetMaxMemory
+#define Cudd_UpdateTimeLimit pbori_Cudd_UpdateTimeLimit
+#define Cudd_RemoveHook pbori_Cudd_RemoveHook
+#define Cudd_DisableReorderingReporting pbori_Cudd_DisableReorderingReporting
+#define Cudd_StdPostReordHook pbori_Cudd_StdPostReordHook
+#define Cudd_ReadNodeCount pbori_Cudd_ReadNodeCount
+#define Cudd_ExpectedUsedSlots pbori_Cudd_ExpectedUsedSlots
+#define Cudd_PrintInfo pbori_Cudd_PrintInfo
+#define Cudd_AutodynEnable pbori_Cudd_AutodynEnable
+#define Cudd_addConst pbori_Cudd_addConst
+#define Cudd_zddIthVar pbori_Cudd_zddIthVar
+#define Cudd_RecursiveDerefZdd pbori_Cudd_RecursiveDerefZdd
+#define Cudd_ResetStartTime pbori_Cudd_ResetStartTime
+#define Cudd_ReadElapsedTime pbori_Cudd_ReadElapsedTime
+#define Cudd_AddHook pbori_Cudd_AddHook
+#define Cudd_EnableReorderingReporting pbori_Cudd_EnableReorderingReporting
+#define Cudd_Quit pbori_Cudd_Quit
+#define Cudd_Init pbori_Cudd_Init
+#define Cudd_RecursiveDeref pbori_Cudd_RecursiveDeref
+#define Cudd_Ref pbori_Cudd_Ref
+#define Cudd_IterDerefBdd pbori_Cudd_IterDerefBdd
+#define Cudd_DelayedDerefBdd pbori_Cudd_DelayedDerefBdd
+#define Cudd_Deref pbori_Cudd_Deref
+#define Cudd_CheckZeroRef pbori_Cudd_CheckZeroRef
+#define Cudd_Prime pbori_Cudd_Prime
+#define Cudd_zddDivideF pbori_Cudd_zddDivideF
+#define Cudd_zddDivide pbori_Cudd_zddDivide
+#define Cudd_zddWeakDiv pbori_Cudd_zddWeakDiv
+#define Cudd_zddWeakDivF pbori_Cudd_zddWeakDivF
+#define Cudd_zddUnateProduct pbori_Cudd_zddUnateProduct
+#define Cudd_zddProduct pbori_Cudd_zddProduct
+#define Cudd_zddSubset0 pbori_Cudd_zddSubset0
+#define Cudd_zddSubset1 pbori_Cudd_zddSubset1
+#define Cudd_zddChange pbori_Cudd_zddChange
+#define Cudd_zddDiff pbori_Cudd_zddDiff
+#define Cudd_zddIntersect pbori_Cudd_zddIntersect
+#define Cudd_zddUnion pbori_Cudd_zddUnion
+#define Cudd_zddDiffConst pbori_Cudd_zddDiffConst
+#define Cudd_zddIte pbori_Cudd_zddIte
+
+#define cuddClearDeathRow pbori_cuddClearDeathRow
+#define cuddCacheProfile pbori_cuddCacheProfile
+#define cuddUniqueConst pbori_cuddUniqueConst
+#define cuddUniqueInterZdd pbori_cuddUniqueInterZdd
+#define cuddCacheInsert pbori_cuddCacheInsert
+#define cuddCacheInsert2 pbori_cuddCacheInsert2
+#define cuddCacheInsert1 pbori_cuddCacheInsert1
+#define cuddCacheFlush pbori_cuddCacheFlush
+#define cuddComputeFloorLog2 pbori_cuddComputeFloorLog2
+#define cuddCacheResize pbori_cuddCacheResize
+#define cuddConstantLookup pbori_cuddConstantLookup
+#define cuddCacheLookup1Zdd pbori_cuddCacheLookup1Zdd
+#define cuddReclaimZdd pbori_cuddReclaimZdd
+#define cuddCacheLookup2Zdd pbori_cuddCacheLookup2Zdd
+#define cuddCacheLookupZdd pbori_cuddCacheLookupZdd
+#define cuddCacheLookup1 pbori_cuddCacheLookup1
+#define cuddReclaim pbori_cuddReclaim
+#define cuddCacheLookup2 pbori_cuddCacheLookup2
+#define cuddCacheLookup pbori_cuddCacheLookup
+#define cuddInitCache pbori_cuddInitCache
+#define cuddZddFreeUniv pbori_cuddZddFreeUniv
+#define cuddFreeTable pbori_cuddFreeTable
+#define cuddZddInitUniv pbori_cuddZddInitUniv
+#define cuddInitTable pbori_cuddInitTable
+#define cuddUniqueInter pbori_cuddUniqueInter
+#define cuddLocalCacheClearDead pbori_cuddLocalCacheClearDead
+#define cuddHashTableLookup pbori_cuddHashTableLookup
+#define cuddHashTableLookup1 pbori_cuddHashTableLookup1
+#define cuddHashTableGenericLookup pbori_cuddHashTableGenericLookup
+#define cuddHashTableLookup2 pbori_cuddHashTableLookup2
+#define cuddHashTableLookup3 pbori_cuddHashTableLookup3
+#define cuddLocalCacheClearAll pbori_cuddLocalCacheClearAll
+#define cuddHashTableGenericQuit pbori_cuddHashTableGenericQuit
+#define cuddLocalCacheQuit pbori_cuddLocalCacheQuit
+#define cuddHashTableQuit pbori_cuddHashTableQuit
+#define cuddLocalCacheInsert pbori_cuddLocalCacheInsert
+#define cuddLocalCacheLookup pbori_cuddLocalCacheLookup
+#define cuddHashTableInsert pbori_cuddHashTableInsert
+#define cuddHashTableInit pbori_cuddHashTableInit
+#define cuddLocalCacheInit pbori_cuddLocalCacheInit
+#define cuddHashTableInsert3 pbori_cuddHashTableInsert3
+#define cuddHashTableInsert2 pbori_cuddHashTableInsert2
+#define cuddHashTableGenericInsert pbori_cuddHashTableGenericInsert
+#define cuddHashTableInsert1 pbori_cuddHashTableInsert1
+#define cuddIsInDeathRow pbori_cuddIsInDeathRow
+#define cuddTimesInDeathRow pbori_cuddTimesInDeathRow
+#define cuddShrinkDeathRow pbori_cuddShrinkDeathRow
+#define cuddSlowTableGrowth pbori_cuddSlowTableGrowth
+#define cuddResizeTableZdd pbori_cuddResizeTableZdd
+#define cuddGarbageCollect pbori_cuddGarbageCollect
+#define cuddRehash pbori_cuddRehash
+#define cuddAllocNode pbori_cuddAllocNode
+#define cuddZddGetPosVarIndex pbori_cuddZddGetPosVarIndex
+#define cuddZddGetNode pbori_cuddZddGetNode
+#define cuddZddGetNegVarIndex pbori_cuddZddGetNegVarIndex
+#define cuddZddGetPosVarLevel pbori_cuddZddGetPosVarLevel
+#define cuddZddGetNegVarLevel pbori_cuddZddGetNegVarLevel
+#define cuddZddGetCofactors2 pbori_cuddZddGetCofactors2
+#define cuddZddSubset1 pbori_cuddZddSubset1
+#define cuddZddSubset0 pbori_cuddZddSubset0
+#define cuddZddGetCofactors3 pbori_cuddZddGetCofactors3
+#define cuddZddDivideF pbori_cuddZddDivideF
+#define cuddZddIntersect pbori_cuddZddIntersect
+#define cuddZddDivide pbori_cuddZddDivide
+#define cuddZddWeakDiv pbori_cuddZddWeakDiv
+#define cuddZddWeakDivF pbori_cuddZddWeakDivF
+#define cuddZddUnateProduct pbori_cuddZddUnateProduct
+#define cuddZddUnion pbori_cuddZddUnion
+#define cuddZddProduct pbori_cuddZddProduct
+#define cuddZddChangeAux pbori_cuddZddChangeAux
+#define cuddZddChange pbori_cuddZddChange
+#define cuddZddDiff pbori_cuddZddDiff
+#define cuddZddIte pbori_cuddZddIte
+#define cuddHashTableResize pbori_cuddHashTableResize
+
+#define zdd_subset0_aux pbori_zdd_subset0_aux
+#define zdd_subset1_aux pbori_zdd_subset1_aux
+
+#define MMalloc pbori_MMalloc
+#define MMrealloc pbori_MMrealloc
+#define MMfree pbori_MMfree
+#define MMoutOfMemory pbori_MMoutOfMemory
+#define MMout_of_memory pbori_MMout_of_memory
+
+#define DdManager pbori_DdManager
+#endif
+
+#endif /* polybori_cudd_prefix_internal_h_ */
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/cuddaux/prefix.h
new/brial-1.2.10/libbrial/include/polybori/cuddaux/prefix.h
--- old/brial-1.2.9/libbrial/include/polybori/cuddaux/prefix.h 2020-09-23
11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/cuddaux/prefix.h 1970-01-01
01:00:00.000000000 +0100
@@ -1,30 +0,0 @@
-// -*- c++ -*-
-//*****************************************************************************
-/** @file prefix.h
- *
- * @author Alexander Dreyer
- * @date 2012-02-15
- *
- * This file includes some macro definitions
- *
- * @note It is intended to be included by the header files of the CUDD fork
- * coming with PolyBoRi. It defines macros, which can be used to CUDD's symbols
- * with @c pbori_ to avoid name clashing and errorous linking of third party
- * code to @c libpolybori (instead of @c libcudd).
- *
- * @par Copyright:
- * (c) 2012 by The PolyBoRi Team
- *
-**/
-//*****************************************************************************
-
-#ifndef polybori_cudd_prefix_h_
-#define polybori_cudd_prefix_h_
-
-#ifdef PBORI_USE_ORIGINAL_CUDD
-#define PBORI_PREFIX(name) name
-#else
-#define PBORI_PREFIX(name) pbori_ ## name
-#endif
-
-#endif
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/cuddaux/prefix_internal.h
new/brial-1.2.10/libbrial/include/polybori/cuddaux/prefix_internal.h
--- old/brial-1.2.9/libbrial/include/polybori/cuddaux/prefix_internal.h
2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/cuddaux/prefix_internal.h
1970-01-01 01:00:00.000000000 +0100
@@ -1,265 +0,0 @@
-// -*- c++ -*-
-//*****************************************************************************
-/** @file prefix_internal.h
- *
- * @author Alexander Dreyer
- * @date 2012-02-15
- *
- * This file includes some macro definitions
- *
- * @note It is intended to be included by the @c .c files of the CUDD fork
- * coming with PolyBoRi only. It prefixes CUDD's symbols with @c pbori_ to
avoid
- * name clashing and errorous linking of third party code to @c libpolybori
- * (instead of @c libcudd).
- *
- * @par Copyright:
- * (c) 2012 by The PolyBoRi Team
- *
-**/
-//*****************************************************************************
-
-#ifndef polybori_cudd_prefix_internal_h_
-#define polybori_cudd_prefix_internal_h_
-
-#ifndef PBORI_USE_ORIGINAL_CUDD
-#define Cudd_IsNonConstant pbori_Cudd_IsNonConstant
-#define Cudd_ReadStartTime pbori_Cudd_ReadStartTime
-#define Cudd_SetStartTime pbori_Cudd_SetStartTime
-#define Cudd_ReadTimeLimit pbori_Cudd_ReadTimeLimit
-#define Cudd_SetTimeLimit pbori_Cudd_SetTimeLimit
-#define Cudd_IncreaseTimeLimit pbori_Cudd_IncreaseTimeLimit
-#define Cudd_UnsetTimeLimit pbori_Cudd_UnsetTimeLimit
-#define Cudd_TimeLimited pbori_Cudd_TimeLimited
-#define Cudd_AutodynDisable pbori_Cudd_AutodynDisable
-#define Cudd_ReorderingStatus pbori_Cudd_ReorderingStatus
-#define Cudd_AutodynEnableZdd pbori_Cudd_AutodynEnableZdd
-#define Cudd_AutodynDisableZdd pbori_Cudd_AutodynDisableZdd
-#define Cudd_ReorderingStatusZdd pbori_Cudd_ReorderingStatusZdd
-#define Cudd_zddRealignmentEnabled pbori_Cudd_zddRealignmentEnabled
-#define Cudd_zddRealignEnable pbori_Cudd_zddRealignEnable
-#define Cudd_zddRealignDisable pbori_Cudd_zddRealignDisable
-#define Cudd_bddRealignmentEnabled pbori_Cudd_bddRealignmentEnabled
-#define Cudd_bddRealignEnable pbori_Cudd_bddRealignEnable
-#define Cudd_bddRealignDisable pbori_Cudd_bddRealignDisable
-#define Cudd_ReadOne pbori_Cudd_ReadOne
-#define Cudd_ReadZddOne pbori_Cudd_ReadZddOne
-#define Cudd_ReadZero pbori_Cudd_ReadZero
-#define Cudd_ReadLogicZero pbori_Cudd_ReadLogicZero
-#define Cudd_ReadPlusInfinity pbori_Cudd_ReadPlusInfinity
-#define Cudd_ReadMinusInfinity pbori_Cudd_ReadMinusInfinity
-#define Cudd_ReadBackground pbori_Cudd_ReadBackground
-#define Cudd_SetBackground pbori_Cudd_SetBackground
-#define Cudd_ReadCacheSlots pbori_Cudd_ReadCacheSlots
-#define Cudd_ReadCacheUsedSlots pbori_Cudd_ReadCacheUsedSlots
-#define Cudd_ReadCacheLookUps pbori_Cudd_ReadCacheLookUps
-#define Cudd_ReadCacheHits pbori_Cudd_ReadCacheHits
-#define Cudd_ReadRecursiveCalls pbori_Cudd_ReadRecursiveCalls
-#define Cudd_ReadMinHit pbori_Cudd_ReadMinHit
-#define Cudd_SetMinHit pbori_Cudd_SetMinHit
-#define Cudd_ReadLooseUpTo pbori_Cudd_ReadLooseUpTo
-#define Cudd_SetLooseUpTo pbori_Cudd_SetLooseUpTo
-#define Cudd_ReadMaxCache pbori_Cudd_ReadMaxCache
-#define Cudd_ReadMaxCacheHard pbori_Cudd_ReadMaxCacheHard
-#define Cudd_SetMaxCacheHard pbori_Cudd_SetMaxCacheHard
-#define Cudd_ReadSize pbori_Cudd_ReadSize
-#define Cudd_ReadZddSize pbori_Cudd_ReadZddSize
-#define Cudd_ReadSlots pbori_Cudd_ReadSlots
-#define Cudd_ReadUsedSlots pbori_Cudd_ReadUsedSlots
-#define Cudd_ReadKeys pbori_Cudd_ReadKeys
-#define Cudd_ReadDead pbori_Cudd_ReadDead
-#define Cudd_ReadMinDead pbori_Cudd_ReadMinDead
-#define Cudd_ReadReorderings pbori_Cudd_ReadReorderings
-#define Cudd_ReadMaxReorderings pbori_Cudd_ReadMaxReorderings
-#define Cudd_SetMaxReorderings pbori_Cudd_SetMaxReorderings
-#define Cudd_ReadReorderingTime pbori_Cudd_ReadReorderingTime
-#define Cudd_ReadGarbageCollections pbori_Cudd_ReadGarbageCollections
-#define Cudd_ReadGarbageCollectionTime pbori_Cudd_ReadGarbageCollectionTime
-#define Cudd_ReadNodesFreed pbori_Cudd_ReadNodesFreed
-#define Cudd_ReadNodesDropped pbori_Cudd_ReadNodesDropped
-#define Cudd_ReadUniqueLookUps pbori_Cudd_ReadUniqueLookUps
-#define Cudd_ReadUniqueLinks pbori_Cudd_ReadUniqueLinks
-#define Cudd_ReadSiftMaxVar pbori_Cudd_ReadSiftMaxVar
-#define Cudd_SetSiftMaxVar pbori_Cudd_SetSiftMaxVar
-#define Cudd_ReadSiftMaxSwap pbori_Cudd_ReadSiftMaxSwap
-#define Cudd_SetSiftMaxSwap pbori_Cudd_SetSiftMaxSwap
-#define Cudd_ReadMaxGrowth pbori_Cudd_ReadMaxGrowth
-#define Cudd_SetMaxGrowth pbori_Cudd_SetMaxGrowth
-#define Cudd_ReadMaxGrowthAlternate pbori_Cudd_ReadMaxGrowthAlternate
-#define Cudd_SetMaxGrowthAlternate pbori_Cudd_SetMaxGrowthAlternate
-#define Cudd_ReadReorderingCycle pbori_Cudd_ReadReorderingCycle
-#define Cudd_SetReorderingCycle pbori_Cudd_SetReorderingCycle
-#define Cudd_NodeReadIndex pbori_Cudd_NodeReadIndex
-#define Cudd_ReadPerm pbori_Cudd_ReadPerm
-#define Cudd_ReadPermZdd pbori_Cudd_ReadPermZdd
-#define Cudd_ReadInvPerm pbori_Cudd_ReadInvPerm
-#define Cudd_ReadInvPermZdd pbori_Cudd_ReadInvPermZdd
-#define Cudd_ReadVars pbori_Cudd_ReadVars
-#define Cudd_ReadEpsilon pbori_Cudd_ReadEpsilon
-#define Cudd_SetEpsilon pbori_Cudd_SetEpsilon
-#define Cudd_ReadGroupcheck pbori_Cudd_ReadGroupcheck
-#define Cudd_SetGroupcheck pbori_Cudd_SetGroupcheck
-#define Cudd_GarbageCollectionEnabled pbori_Cudd_GarbageCollectionEnabled
-#define Cudd_EnableGarbageCollection pbori_Cudd_EnableGarbageCollection
-#define Cudd_DisableGarbageCollection pbori_Cudd_DisableGarbageCollection
-#define Cudd_DeadAreCounted pbori_Cudd_DeadAreCounted
-#define Cudd_TurnOnCountDead pbori_Cudd_TurnOnCountDead
-#define Cudd_TurnOffCountDead pbori_Cudd_TurnOffCountDead
-#define Cudd_ReadRecomb pbori_Cudd_ReadRecomb
-#define Cudd_SetRecomb pbori_Cudd_SetRecomb
-#define Cudd_ReadSymmviolation pbori_Cudd_ReadSymmviolation
-#define Cudd_SetSymmviolation pbori_Cudd_SetSymmviolation
-#define Cudd_ReadArcviolation pbori_Cudd_ReadArcviolation
-#define Cudd_SetArcviolation pbori_Cudd_SetArcviolation
-#define Cudd_ReadPopulationSize pbori_Cudd_ReadPopulationSize
-#define Cudd_SetPopulationSize pbori_Cudd_SetPopulationSize
-#define Cudd_ReadNumberXovers pbori_Cudd_ReadNumberXovers
-#define Cudd_SetNumberXovers pbori_Cudd_SetNumberXovers
-#define Cudd_ReadOrderRandomization pbori_Cudd_ReadOrderRandomization
-#define Cudd_SetOrderRandomization pbori_Cudd_SetOrderRandomization
-#define Cudd_ReadMemoryInUse pbori_Cudd_ReadMemoryInUse
-#define Cudd_ReadPeakNodeCount pbori_Cudd_ReadPeakNodeCount
-#define Cudd_ReadPeakLiveNodeCount pbori_Cudd_ReadPeakLiveNodeCount
-#define Cudd_zddReadNodeCount pbori_Cudd_zddReadNodeCount
-#define Cudd_IsInHook pbori_Cudd_IsInHook
-#define Cudd_ReorderingReporting pbori_Cudd_ReorderingReporting
-#define Cudd_StdPreReordHook pbori_Cudd_StdPreReordHook
-#define Cudd_ReadErrorCode pbori_Cudd_ReadErrorCode
-#define Cudd_ClearErrorCode pbori_Cudd_ClearErrorCode
-#define Cudd_ReadStdout pbori_Cudd_ReadStdout
-#define Cudd_SetStdout pbori_Cudd_SetStdout
-#define Cudd_ReadStderr pbori_Cudd_ReadStderr
-#define Cudd_SetStderr pbori_Cudd_SetStderr
-#define Cudd_ReadNextReordering pbori_Cudd_ReadNextReordering
-#define Cudd_SetNextReordering pbori_Cudd_SetNextReordering
-#define Cudd_ReadSwapSteps pbori_Cudd_ReadSwapSteps
-#define Cudd_ReadMaxLive pbori_Cudd_ReadMaxLive
-#define Cudd_SetMaxLive pbori_Cudd_SetMaxLive
-#define Cudd_ReadMaxMemory pbori_Cudd_ReadMaxMemory
-#define Cudd_SetMaxMemory pbori_Cudd_SetMaxMemory
-#define Cudd_UpdateTimeLimit pbori_Cudd_UpdateTimeLimit
-#define Cudd_RemoveHook pbori_Cudd_RemoveHook
-#define Cudd_DisableReorderingReporting pbori_Cudd_DisableReorderingReporting
-#define Cudd_StdPostReordHook pbori_Cudd_StdPostReordHook
-#define Cudd_ReadNodeCount pbori_Cudd_ReadNodeCount
-#define Cudd_ExpectedUsedSlots pbori_Cudd_ExpectedUsedSlots
-#define Cudd_PrintInfo pbori_Cudd_PrintInfo
-#define Cudd_AutodynEnable pbori_Cudd_AutodynEnable
-#define Cudd_addConst pbori_Cudd_addConst
-#define Cudd_zddIthVar pbori_Cudd_zddIthVar
-#define Cudd_RecursiveDerefZdd pbori_Cudd_RecursiveDerefZdd
-#define Cudd_ResetStartTime pbori_Cudd_ResetStartTime
-#define Cudd_ReadElapsedTime pbori_Cudd_ReadElapsedTime
-#define Cudd_AddHook pbori_Cudd_AddHook
-#define Cudd_EnableReorderingReporting pbori_Cudd_EnableReorderingReporting
-#define Cudd_Quit pbori_Cudd_Quit
-#define Cudd_Init pbori_Cudd_Init
-#define Cudd_RecursiveDeref pbori_Cudd_RecursiveDeref
-#define Cudd_Ref pbori_Cudd_Ref
-#define Cudd_IterDerefBdd pbori_Cudd_IterDerefBdd
-#define Cudd_DelayedDerefBdd pbori_Cudd_DelayedDerefBdd
-#define Cudd_Deref pbori_Cudd_Deref
-#define Cudd_CheckZeroRef pbori_Cudd_CheckZeroRef
-#define Cudd_Prime pbori_Cudd_Prime
-#define Cudd_zddDivideF pbori_Cudd_zddDivideF
-#define Cudd_zddDivide pbori_Cudd_zddDivide
-#define Cudd_zddWeakDiv pbori_Cudd_zddWeakDiv
-#define Cudd_zddWeakDivF pbori_Cudd_zddWeakDivF
-#define Cudd_zddUnateProduct pbori_Cudd_zddUnateProduct
-#define Cudd_zddProduct pbori_Cudd_zddProduct
-#define Cudd_zddSubset0 pbori_Cudd_zddSubset0
-#define Cudd_zddSubset1 pbori_Cudd_zddSubset1
-#define Cudd_zddChange pbori_Cudd_zddChange
-#define Cudd_zddDiff pbori_Cudd_zddDiff
-#define Cudd_zddIntersect pbori_Cudd_zddIntersect
-#define Cudd_zddUnion pbori_Cudd_zddUnion
-#define Cudd_zddDiffConst pbori_Cudd_zddDiffConst
-#define Cudd_zddIte pbori_Cudd_zddIte
-
-#define cuddClearDeathRow pbori_cuddClearDeathRow
-#define cuddCacheProfile pbori_cuddCacheProfile
-#define cuddUniqueConst pbori_cuddUniqueConst
-#define cuddUniqueInterZdd pbori_cuddUniqueInterZdd
-#define cuddCacheInsert pbori_cuddCacheInsert
-#define cuddCacheInsert2 pbori_cuddCacheInsert2
-#define cuddCacheInsert1 pbori_cuddCacheInsert1
-#define cuddCacheFlush pbori_cuddCacheFlush
-#define cuddComputeFloorLog2 pbori_cuddComputeFloorLog2
-#define cuddCacheResize pbori_cuddCacheResize
-#define cuddConstantLookup pbori_cuddConstantLookup
-#define cuddCacheLookup1Zdd pbori_cuddCacheLookup1Zdd
-#define cuddReclaimZdd pbori_cuddReclaimZdd
-#define cuddCacheLookup2Zdd pbori_cuddCacheLookup2Zdd
-#define cuddCacheLookupZdd pbori_cuddCacheLookupZdd
-#define cuddCacheLookup1 pbori_cuddCacheLookup1
-#define cuddReclaim pbori_cuddReclaim
-#define cuddCacheLookup2 pbori_cuddCacheLookup2
-#define cuddCacheLookup pbori_cuddCacheLookup
-#define cuddInitCache pbori_cuddInitCache
-#define cuddZddFreeUniv pbori_cuddZddFreeUniv
-#define cuddFreeTable pbori_cuddFreeTable
-#define cuddZddInitUniv pbori_cuddZddInitUniv
-#define cuddInitTable pbori_cuddInitTable
-#define cuddUniqueInter pbori_cuddUniqueInter
-#define cuddLocalCacheClearDead pbori_cuddLocalCacheClearDead
-#define cuddHashTableLookup pbori_cuddHashTableLookup
-#define cuddHashTableLookup1 pbori_cuddHashTableLookup1
-#define cuddHashTableGenericLookup pbori_cuddHashTableGenericLookup
-#define cuddHashTableLookup2 pbori_cuddHashTableLookup2
-#define cuddHashTableLookup3 pbori_cuddHashTableLookup3
-#define cuddLocalCacheClearAll pbori_cuddLocalCacheClearAll
-#define cuddHashTableGenericQuit pbori_cuddHashTableGenericQuit
-#define cuddLocalCacheQuit pbori_cuddLocalCacheQuit
-#define cuddHashTableQuit pbori_cuddHashTableQuit
-#define cuddLocalCacheInsert pbori_cuddLocalCacheInsert
-#define cuddLocalCacheLookup pbori_cuddLocalCacheLookup
-#define cuddHashTableInsert pbori_cuddHashTableInsert
-#define cuddHashTableInit pbori_cuddHashTableInit
-#define cuddLocalCacheInit pbori_cuddLocalCacheInit
-#define cuddHashTableInsert3 pbori_cuddHashTableInsert3
-#define cuddHashTableInsert2 pbori_cuddHashTableInsert2
-#define cuddHashTableGenericInsert pbori_cuddHashTableGenericInsert
-#define cuddHashTableInsert1 pbori_cuddHashTableInsert1
-#define cuddIsInDeathRow pbori_cuddIsInDeathRow
-#define cuddTimesInDeathRow pbori_cuddTimesInDeathRow
-#define cuddShrinkDeathRow pbori_cuddShrinkDeathRow
-#define cuddSlowTableGrowth pbori_cuddSlowTableGrowth
-#define cuddResizeTableZdd pbori_cuddResizeTableZdd
-#define cuddGarbageCollect pbori_cuddGarbageCollect
-#define cuddRehash pbori_cuddRehash
-#define cuddAllocNode pbori_cuddAllocNode
-#define cuddZddGetPosVarIndex pbori_cuddZddGetPosVarIndex
-#define cuddZddGetNode pbori_cuddZddGetNode
-#define cuddZddGetNegVarIndex pbori_cuddZddGetNegVarIndex
-#define cuddZddGetPosVarLevel pbori_cuddZddGetPosVarLevel
-#define cuddZddGetNegVarLevel pbori_cuddZddGetNegVarLevel
-#define cuddZddGetCofactors2 pbori_cuddZddGetCofactors2
-#define cuddZddSubset1 pbori_cuddZddSubset1
-#define cuddZddSubset0 pbori_cuddZddSubset0
-#define cuddZddGetCofactors3 pbori_cuddZddGetCofactors3
-#define cuddZddDivideF pbori_cuddZddDivideF
-#define cuddZddIntersect pbori_cuddZddIntersect
-#define cuddZddDivide pbori_cuddZddDivide
-#define cuddZddWeakDiv pbori_cuddZddWeakDiv
-#define cuddZddWeakDivF pbori_cuddZddWeakDivF
-#define cuddZddUnateProduct pbori_cuddZddUnateProduct
-#define cuddZddUnion pbori_cuddZddUnion
-#define cuddZddProduct pbori_cuddZddProduct
-#define cuddZddChangeAux pbori_cuddZddChangeAux
-#define cuddZddChange pbori_cuddZddChange
-#define cuddZddDiff pbori_cuddZddDiff
-#define cuddZddIte pbori_cuddZddIte
-#define cuddHashTableResize pbori_cuddHashTableResize
-
-#define zdd_subset0_aux pbori_zdd_subset0_aux
-#define zdd_subset1_aux pbori_zdd_subset1_aux
-
-#define MMalloc pbori_MMalloc
-#define MMrealloc pbori_MMrealloc
-#define MMfree pbori_MMfree
-#define MMoutOfMemory pbori_MMoutOfMemory
-#define MMout_of_memory pbori_MMout_of_memory
-
-#define DdManager pbori_DdManager
-#endif
-
-#endif /* polybori_cudd_prefix_internal_h_ */
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/diagram/CCuddDDFacade.h
new/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h
--- old/brial-1.2.9/libbrial/include/polybori/diagram/CCuddDDFacade.h
2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/diagram/CCuddDDFacade.h
2020-10-01 11:43:40.000000000 +0200
@@ -19,8 +19,8 @@
// include basic definitions
#include <polybori/pbori_defs.h>
-#include <cudd/cudd.h>
-#include <polybori/cuddaux/prefix.h>
+#include <polybori/cudd/cudd.h>
+#include <polybori/cudd/prefix.h>
#include "CApplyNodeFacade.h"
#include "CNodeCounter.h"
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/diagram/CDDOperations.h
new/brial-1.2.10/libbrial/include/polybori/diagram/CDDOperations.h
--- old/brial-1.2.9/libbrial/include/polybori/diagram/CDDOperations.h
2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/diagram/CDDOperations.h
2020-10-01 11:43:40.000000000 +0200
@@ -19,7 +19,7 @@
#include <polybori/pbori_defs.h>
// Get Cudd definitions
-#include <cudd/cudd.h>
+#include <polybori/cudd/cudd.h>
#include <polybori/routines/pbori_routines.h>
#include <polybori/cache/CCacheManagement.h>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/include/polybori/pbori_defs.h
new/brial-1.2.10/libbrial/include/polybori/pbori_defs.h
--- old/brial-1.2.9/libbrial/include/polybori/pbori_defs.h 2020-09-23
11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/pbori_defs.h 2020-10-01
11:43:40.000000000 +0200
@@ -24,7 +24,7 @@
#include <iostream>
/// @note PolyBoRi comes with a special copy of Cudd
-#include <cudd/cudd.h>
+#include <polybori/cudd/cudd.h>
#include "config.h"
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/ring/CCuddInterface.h
new/brial-1.2.10/libbrial/include/polybori/ring/CCuddInterface.h
--- old/brial-1.2.9/libbrial/include/polybori/ring/CCuddInterface.h
2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/ring/CCuddInterface.h
2020-10-01 11:43:40.000000000 +0200
@@ -19,9 +19,8 @@
// include basic definitions
#include <polybori/pbori_defs.h>
-#include <cudd/cudd.h>
-#include <cudd/cuddInt.h>
-#include <polybori/cuddaux/prefix.h>
+#include <polybori/cudd/cudd.h>
+#include <polybori/cudd/cuddInt.h>
#include <polybori/routines/pbori_func.h> // handle_error
#include "CCallbackWrapper.h"
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/routines/pbori_algo.h
new/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo.h
--- old/brial-1.2.9/libbrial/include/polybori/routines/pbori_algo.h
2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo.h
2020-10-01 11:43:40.000000000 +0200
@@ -27,8 +27,7 @@
#include <polybori/common/traits.h>
// temporarily
-#include <cudd/cudd.h>
-#include <polybori/cuddaux/prefix.h>
+#include <polybori/cudd/cudd.h>
#include <polybori/ring/CCuddInterface.h>
BEGIN_NAMESPACE_PBORI
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/brial-1.2.9/libbrial/include/polybori/routines/pbori_algo_int.h
new/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo_int.h
--- old/brial-1.2.9/libbrial/include/polybori/routines/pbori_algo_int.h
2020-09-23 11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/include/polybori/routines/pbori_algo_int.h
2020-10-01 11:43:40.000000000 +0200
@@ -22,7 +22,7 @@
// get polybori's functionals
#include "pbori_func.h"
#include <polybori/iterators/CCuddNavigator.h>
-#include <cudd/cudd.h>
+#include <polybori/cudd/cudd.h>
BEGIN_NAMESPACE_PBORI
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/src/Makefile.in
new/brial-1.2.10/libbrial/src/Makefile.in
--- old/brial-1.2.9/libbrial/src/Makefile.in 2020-09-24 23:52:10.000000000
+0200
+++ new/brial-1.2.10/libbrial/src/Makefile.in 2020-10-01 11:47:02.000000000
+0200
@@ -198,8 +198,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
@@ -326,8 +324,7 @@
AM_CPPFLAGS = \
-I$(top_srcdir)/groebner/include \
-I$(top_builddir)/libbrial/include \
- -I$(top_srcdir)/libbrial/include \
- ${CUDD_CPPFLAGS}
+ -I$(top_srcdir)/libbrial/include
AM_CXXFLAGS = -ftemplate-depth-100
AM_DEFAULT_SOURCE_EXT = .cc
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/libbrial/src/pbori_routines.cc
new/brial-1.2.10/libbrial/src/pbori_routines.cc
--- old/brial-1.2.9/libbrial/src/pbori_routines.cc 2020-09-23
11:04:08.000000000 +0200
+++ new/brial-1.2.10/libbrial/src/pbori_routines.cc 2020-10-01
11:43:40.000000000 +0200
@@ -15,8 +15,8 @@
// include basic definitions
#include <polybori/pbori_defs.h>
-#include <cudd/cudd.h>
-#include <polybori/cuddaux/prefix_internal.h>
+#include <polybori/cudd/cudd.h>
+#include <polybori/cudd/prefix_internal.h>
BEGIN_NAMESPACE_PBORI
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/brial-1.2.9/tests/Makefile.in
new/brial-1.2.10/tests/Makefile.in
--- old/brial-1.2.9/tests/Makefile.in 2020-09-24 23:52:10.000000000 +0200
+++ new/brial-1.2.10/tests/Makefile.in 2020-10-01 11:47:02.000000000 +0200
@@ -411,8 +411,6 @@
CFLAGS = @CFLAGS@
CPP = @CPP@
CPPFLAGS = @CPPFLAGS@
-CUDD_CPPFLAGS = @CUDD_CPPFLAGS@
-CUDD_LIBS = @CUDD_LIBS@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
