[SCM] maria packaging branch, master, updated. upstream/1.2-22-gc4c33c2
Ralf Treinen
treinen at free.fr
Fri May 13 19:25:59 UTC 2011
The following commit has been merged in the master branch:
commit 680bf1ce5407d272242051518ca259052cda8862
Merge: d5f3fab245d70f0463bf0eae1003a7b906421a59 ad2332b242c272a5fa21f7bc43f4d30cb934e806
Author: Ralf Treinen <treinen at debian.org>
Date: Thu Nov 21 20:57:19 2002 +0100
Imported Debian patch 1.3.1-1
diff --combined Makefile.Linux
index 531d20d,e0acd67..edfa86e
--- a/Makefile.Linux
+++ b/Makefile.Linux
@@@ -4,8 -4,8 +4,8 @@@
## The GNU Readline library (if enabled, check also the directories)
HAS_READLINE = yes
#HAS_READLINE =
--LIBREADLINE = $(HAS_READLINE:yes=-L/usr/local/lib -lreadline -lncurses)
--INCREADLINE = $(HAS_READLINE:yes=-I/usr/local/include -DHAS_READLINE)
++LIBREADLINE = $(HAS_READLINE:yes=-L/usr/lib -lreadline -lncurses)
++INCREADLINE = $(HAS_READLINE:yes=-I/usr/include -DHAS_READLINE)
## Support for compiled expressions
EXPR_COMPILE = yes
@@@ -19,7 -19,9 +19,10 @@@ EXTRA_LIBS = -ldl# -lstlpor
DEFINES = -DHAS_REGEX -DHAS_GETOPT_LONG -DHASH_MAP_LOC='<hash_map>' -D_GNU_SOURCE
## The following is for g++ 3.0
#DEFINES = -DHAS_REGEX -DHAS_GETOPT_LONG -DHASH_MAP_LOC='<ext/hash_map>' -DSLIST_LOC='<ext/slist>'
- CFLAGS = -Wall -ansi -pedantic -O3
+ ## The following is for g++ 3.2
+ #DEFINES = -DHAS_REGEX -DHAS_GETOPT_LONG -DHASH_MAP_LOC='<ext/hash_map>' -DSLIST_LOC='<ext/slist>' -DEXT_NS='__gnu_cxx::'
-CFLAGS = -Wall -ansi -pedantic -O3
++COPTFLAGS = -O3
++CFLAGS = -Wall -ansi -pedantic $(COPTFLAGS)
CXXFLAGS = $(CFLAGS) -fno-exceptions -fno-rtti# -I/usr/include/stlport
all: real-all
diff --combined debian/changelog
index bb669af,0000000..1af04c1
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,6 -1,0 +1,22 @@@
++maria (1.3.1-1) unstable; urgency=low
++
++ * New upstream release, and first version actually uploaded to unstable
++ (closes: Bug#146320).
++ * Standards-Version: 3.5.8.
++ * debian/copyright: corrected email address of upstream author.
++ * debian/copyright: the maria-vis script is now in the public domain.
++ * debian/rules: change value of EXDIR, since Makefile uses it relativ
++ to the value of DESTDIR.
++ * debian/rules: pass debug and noopt option to make.
++ * Makefile.Linux: /usr/local/{lib,include} -> /usr/{lib,include}
++ * Makefile.Linux: add a COPTFLAGS variable, to pass optimization flags
++ to the makefile.
++
++ -- Ralf Treinen <treinen at debian.org> Thu, 21 Nov 2002 20:57:19 +0100
++
+maria (1.2-0.alpha) experimental; urgency=low
+
+ * Initial Release.
+
+ -- Ralf Treinen <treinen at debian.org> Tue, 6 Aug 2002 23:15:53 +0200
+
diff --combined debian/control
index 62fa9bf,0000000..14ea9c1
mode 100644,000000..100644
--- a/debian/control
+++ b/debian/control
@@@ -1,48 -1,0 +1,48 @@@
+Source: maria
+Section: math
+Priority: optional
+Maintainer: Ralf Treinen <treinen at debian.org>
+Build-Depends: debhelper (>> 3.0.0), libreadline4-dev, libncurses5-dev, flex, bison
+Build-Depends-Indep: texinfo, texi2html
- Standards-Version: 3.5.2
++Standards-Version: 3.5.8
+
+Package: maria
+Section: math
+Architecture: any
+Depends: ${shlibs:Depends}
+Recommends: maria-doc, lbt
- Suggests: maria-viz
++Suggests: maria-vis
+Description: Reachability analyzer for Algebraic System Nets
+ Maria is a powerful tool designed to aid engineers in modelling and
+ solving concurrency related problems in parallel and distributed
+ computing systems.
+ .
+ Maria finds deadlocks and violations against safety or liveness
+ requirements by exploring all states that can be reached from the
+ initial state of a system. The tool manages tens or hundreds of
+ millions of reachable states and enabled actions.
+ .
+ The expressive power of Maria's formalism is close to high-level
+ programming languages, thanks to its rich data type system and
+ powerful algebraic operations.
+ .
+ If you want to use the graph visualization functionality of Maria then
+ you have to install the maria-vis package from the contrib section.
+
+Package: maria-vis
+Section: contrib/math
+Architecture: all
+Depends: maria, graphviz
+Description: Interface between Maria and Graphviz
+ This script is needed to make Maria, a reachability analyzer for
+ algebraic system nets, interact with graphviz, a non-free software
+ package for the visualisation of graphs.
+
+Package: maria-doc
+Section: doc
+Architecture: all
+Depends:
+Recommends: maria, info-browser | www-browser
+Description: Documentation of Maria
+ This package contains the documentation of Maria, a reachability
+ analyzer for algebraic system nets, both in the formats info and html.
diff --combined debian/copyright
index 40f7a51,0000000..f055723
mode 100644,000000..100644
--- a/debian/copyright
+++ b/debian/copyright
@@@ -1,14 -1,0 +1,19 @@@
+This package was debianized by Ralf Treinen <treinen at debian.org> on
+Fri, 2 Aug 2002 22:20:09 +0200.
+
+It was downloaded from http://www.tcs.hut.fi/Software/maria/src/
+
- Upstream Author: Marko Mäkelä <msmakela at cc.hut.fi>
++Upstream Author: Marko Mäkelä <msmakela at tcs.hut.fi>
+
+Copyright:
+
- You are free to distribute this software under the terms of
- the GNU General Public License, version 2.
- On Debian systems, the complete text of the GNU General Public
- License can be found in the /usr/share/common-licenses/GPL file.
++Maria, with the exception of the maria-vis script, is covered by the
++following licence:
+
++You are free to distribute this software under the terms of the GNU
++General Public License, version 2. On Debian systems, the complete
++text of the GNU General Public License can be found in the
++/usr/share/common-licenses/GPL file.
++
++Maria-vis was written in 2001 by Marko Mäkelä <msmakela at tcs.hut.fi>,
++and it is in the public domain.
diff --combined debian/rules
index 36c5a78,0000000..31d0d2e
mode 100755,000000..100755
--- a/debian/rules
+++ b/debian/rules
@@@ -1,96 -1,0 +1,96 @@@
+#!/usr/bin/make -f
+# rules for maria
+
- #export DH_VERBOSE=1
++export DH_VERBOSE=1
+export DH_COMPAT=3
+export MAKE=make -f Makefile.Linux
+
+ifneq (,$(findstring debug,$(DEB_BUILD_OPTIONS)))
- CFLAGS += -g
++ R_DEBUG = -g
+endif
- ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
- INSTALL_PROGRAM += -s
++ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
++ R_COPTFLAGS = -O0
+endif
+
+build-arch: build-stamp-arch
+
+build-stamp-arch:
+ dh_testdir
- $(MAKE)
++ $(MAKE) COPTFLAGS=$(R_COPTFLAGS) DEBUG=$(R_DEBUG)
+ touch build-stamp-arch
+
+build-indep: build-stamp-indep
+
+build-stamp-indep:
+ dh_testdir
+ cd doc \
+ && makeinfo maria.texinfo \
+ && texi2html -split chapter maria.texinfo
+ touch build-stamp-indep
+
+build: build-arch build-indep
+
+clean:
+ dh_testdir
+ dh_testroot
+ rm -f build-stamp-arch build-stamp-indep
+ -$(MAKE) reallyclean
+ cd doc && rm -f maria.info maria.info-* maria*.html
+ dh_clean
+
+install-indep: build-indep
+ dh_testdir -i
+ dh_testroot -i
+ dh_clean -k
+ dh_installdirs -i
+ dh_install -i
+
+install-arch: build-arch
+ dh_testdir -a
+ dh_testroot -a
+ dh_clean -k
+ dh_installdirs -a
+ dh_install -a
+ $(MAKE) install DESTDIR=$(CURDIR)/debian/maria \
- EXDIR=$(CURDIR)/debian/maria/usr/share/doc/maria/examples
++ EXDIR=/usr/share/doc/maria/examples
+ # the maria-vis executable goes into the maria-vis package
+ -rm $(CURDIR)/debian/maria/usr/bin/maria-vis
+ $(MAKE) installman DESTDIR=$(CURDIR)/debian/maria
+ # the man page for maria-vis goes into the maria-vis package
+ -rm $(CURDIR)/debian/maria/usr/share/man/man1/maria-vis.1
+ # the examples go into maria-doc
+ -rm -r $(CURDIR)/debian/maria/usr/share/maria/examples
+
+binary-indep: build-indep install-indep
+ dh_testdir -i
+ dh_testroot -i
+ dh_installdocs -i
+ dh_installinfo -pmaria-doc doc/maria.info doc/maria.info-*
+ dh_installchangelogs -i
+ dh_link -i
+ dh_compress -i
+ dh_fixperms -i
+ dh_installdeb -i
+ dh_gencontrol -i
+ dh_md5sums -i
+ dh_builddeb -i
+
+binary-arch: build-arch install-arch
+ dh_testdir -a
+ dh_testroot -a
+ dh_installexamples -a
+ dh_installemacsen -a
+ dh_installchangelogs -a
+ dh_installdocs -a
+ dh_link -a
+ dh_strip -a
+ dh_compress -a
+ dh_fixperms -a
+ dh_installdeb -a
+ dh_shlibdeps -a
+ dh_gencontrol -a
+ dh_md5sums -a
+ dh_builddeb -a
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch install-indep install-arch
diff --combined depend
index 3046662,511ce2d..2f7b4be
--- a/depend
+++ b/depend
@@@ -1,42 -1,43 +1,223 @@@
# DO NOT DELETE
--parser/util.o: parser/util.h Type/typedefs.h
--parser/StringBuffer.o: parser/StringBuffer.h
++parser/util.o: parser/util.h Type/typedefs.h /usr/include/sys/types.h
++parser/util.o: /usr/include/features.h /usr/include/sys/cdefs.h
++parser/util.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++parser/util.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++parser/util.o: /usr/include/time.h /usr/include/endian.h
++parser/util.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++parser/util.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++parser/util.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++parser/util.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++parser/util.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++parser/util.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++parser/util.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++parser/util.o: /usr/include/string.h /usr/include/xlocale.h
++parser/util.o: /usr/include/assert.h
++parser/StringBuffer.o: parser/StringBuffer.h /usr/include/string.h
++parser/StringBuffer.o: /usr/include/features.h /usr/include/sys/cdefs.h
++parser/StringBuffer.o: /usr/include/gnu/stubs.h /usr/include/xlocale.h
++parser/StringBuffer.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++parser/StringBuffer.o: /usr/include/bits/local_lim.h
++parser/StringBuffer.o: /usr/include/linux/limits.h
++parser/StringBuffer.o: /usr/include/bits/posix2_lim.h
++parser/StringBuffer.o: /usr/include/bits/xopen_lim.h
++parser/StringBuffer.o: /usr/include/bits/stdio_lim.h
++parser/StringBuffer.o: /usr/include/bits/wordsize.h /usr/include/stdio.h
++parser/StringBuffer.o: /usr/include/bits/types.h
++parser/StringBuffer.o: /usr/include/bits/pthreadtypes.h
++parser/StringBuffer.o: /usr/include/bits/sched.h /usr/include/libio.h
++parser/StringBuffer.o: /usr/include/_G_config.h /usr/include/wchar.h
++parser/StringBuffer.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++parser/StringBuffer.o: /usr/include/bits/sys_errlist.h /usr/include/assert.h
parser/VariableStackMap.o: parser/VariableStackMap.h parser/util.h
--parser/VariableStackMap.o: Type/typedefs.h Net/VariableDefinition.h
--parser/Printer.o: parser/Printer.h Type/typedefs.h parser/StringBuffer.h
--parser/Printer.o: parser/util.h
++parser/VariableStackMap.o: Type/typedefs.h /usr/include/sys/types.h
++parser/VariableStackMap.o: /usr/include/features.h /usr/include/sys/cdefs.h
++parser/VariableStackMap.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++parser/VariableStackMap.o: /usr/include/bits/pthreadtypes.h
++parser/VariableStackMap.o: /usr/include/bits/sched.h /usr/include/time.h
++parser/VariableStackMap.o: /usr/include/endian.h /usr/include/bits/endian.h
++parser/VariableStackMap.o: /usr/include/sys/select.h
++parser/VariableStackMap.o: /usr/include/bits/select.h
++parser/VariableStackMap.o: /usr/include/bits/sigset.h
++parser/VariableStackMap.o: /usr/include/bits/time.h
++parser/VariableStackMap.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++parser/VariableStackMap.o: /usr/include/bits/posix1_lim.h
++parser/VariableStackMap.o: /usr/include/bits/local_lim.h
++parser/VariableStackMap.o: /usr/include/linux/limits.h
++parser/VariableStackMap.o: /usr/include/bits/posix2_lim.h
++parser/VariableStackMap.o: /usr/include/bits/xopen_lim.h
++parser/VariableStackMap.o: /usr/include/bits/stdio_lim.h
++parser/VariableStackMap.o: /usr/include/bits/wordsize.h
++parser/VariableStackMap.o: Net/VariableDefinition.h /usr/include/assert.h
++parser/Printer.o: parser/Printer.h Type/typedefs.h /usr/include/sys/types.h
++parser/Printer.o: /usr/include/features.h /usr/include/sys/cdefs.h
++parser/Printer.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++parser/Printer.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++parser/Printer.o: /usr/include/time.h /usr/include/endian.h
++parser/Printer.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++parser/Printer.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++parser/Printer.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++parser/Printer.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++parser/Printer.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++parser/Printer.o: /usr/include/bits/posix2_lim.h
++parser/Printer.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++parser/Printer.o: /usr/include/bits/wordsize.h parser/StringBuffer.h
++parser/Printer.o: /usr/include/stdio.h /usr/include/libio.h
++parser/Printer.o: /usr/include/_G_config.h /usr/include/wchar.h
++parser/Printer.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++parser/Printer.o: /usr/include/bits/sys_errlist.h parser/util.h
++parser/Printer.o: /usr/include/assert.h /usr/include/string.h
++parser/Printer.o: /usr/include/xlocale.h /usr/include/ctype.h
parser/NameList.o: parser/NameList.h
--Expression/Function.o: Expression/Function.h Net/VariableDefinition.h
--Expression/Function.o: Type/typedefs.h Expression/Variable.h
++Expression/Function.o: Expression/Function.h /usr/include/assert.h
++Expression/Function.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/Function.o: /usr/include/gnu/stubs.h Net/VariableDefinition.h
++Expression/Function.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/Function.o: /usr/include/bits/types.h
++Expression/Function.o: /usr/include/bits/pthreadtypes.h
++Expression/Function.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Function.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Function.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Function.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Function.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Function.o: /usr/include/bits/posix1_lim.h
++Expression/Function.o: /usr/include/bits/local_lim.h
++Expression/Function.o: /usr/include/linux/limits.h
++Expression/Function.o: /usr/include/bits/posix2_lim.h
++Expression/Function.o: /usr/include/bits/xopen_lim.h
++Expression/Function.o: /usr/include/bits/stdio_lim.h
++Expression/Function.o: /usr/include/bits/wordsize.h Expression/Variable.h
Expression/Function.o: Expression/Expression.h Type/Type.h parser/util.h
++Expression/Function.o: /usr/include/string.h /usr/include/xlocale.h
Expression/Function.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Function.o: Value/Error.h Expression/ExpressionList.h
Expression/Function.o: Expression/Substitution.h
Expression/Substitution.o: Expression/Substitution.h Expression/Expression.h
Expression/Substitution.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Substitution.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Substitution.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Substitution.o: /usr/include/bits/types.h
++Expression/Substitution.o: /usr/include/bits/pthreadtypes.h
++Expression/Substitution.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Substitution.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Substitution.o: /usr/include/sys/select.h
++Expression/Substitution.o: /usr/include/bits/select.h
++Expression/Substitution.o: /usr/include/bits/sigset.h
++Expression/Substitution.o: /usr/include/bits/time.h
++Expression/Substitution.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Substitution.o: /usr/include/bits/posix1_lim.h
++Expression/Substitution.o: /usr/include/bits/local_lim.h
++Expression/Substitution.o: /usr/include/linux/limits.h
++Expression/Substitution.o: /usr/include/bits/posix2_lim.h
++Expression/Substitution.o: /usr/include/bits/xopen_lim.h
++Expression/Substitution.o: /usr/include/bits/stdio_lim.h
++Expression/Substitution.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Substitution.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Substitution.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Substitution.o: Value/Error.h Net/VariableDefinition.h
Expression/ExpressionList.o: Expression/ExpressionList.h Type/typedefs.h
--Expression/ExpressionList.o: Expression/Expression.h Type/Type.h
--Expression/ExpressionList.o: parser/util.h Type/Constraint.h Value/Value.h
--Expression/ExpressionList.o: Value/Valuation.h Value/Error.h
++Expression/ExpressionList.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/ExpressionList.o: /usr/include/sys/cdefs.h
++Expression/ExpressionList.o: /usr/include/gnu/stubs.h
++Expression/ExpressionList.o: /usr/include/bits/types.h
++Expression/ExpressionList.o: /usr/include/bits/pthreadtypes.h
++Expression/ExpressionList.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/ExpressionList.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/ExpressionList.o: /usr/include/sys/select.h
++Expression/ExpressionList.o: /usr/include/bits/select.h
++Expression/ExpressionList.o: /usr/include/bits/sigset.h
++Expression/ExpressionList.o: /usr/include/bits/time.h
++Expression/ExpressionList.o: /usr/include/sys/sysmacros.h
++Expression/ExpressionList.o: /usr/include/limits.h
++Expression/ExpressionList.o: /usr/include/bits/posix1_lim.h
++Expression/ExpressionList.o: /usr/include/bits/local_lim.h
++Expression/ExpressionList.o: /usr/include/linux/limits.h
++Expression/ExpressionList.o: /usr/include/bits/posix2_lim.h
++Expression/ExpressionList.o: /usr/include/bits/xopen_lim.h
++Expression/ExpressionList.o: /usr/include/bits/stdio_lim.h
++Expression/ExpressionList.o: /usr/include/bits/wordsize.h
++Expression/ExpressionList.o: /usr/include/assert.h Expression/Expression.h
++Expression/ExpressionList.o: Type/Type.h parser/util.h /usr/include/string.h
++Expression/ExpressionList.o: /usr/include/xlocale.h Type/Constraint.h
++Expression/ExpressionList.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/ExpressionSet.o: Expression/ExpressionSet.h
Expression/ExpressionSet.o: Expression/Expression.h Type/Type.h parser/util.h
--Expression/ExpressionSet.o: Type/typedefs.h Type/Constraint.h Value/Value.h
--Expression/ExpressionSet.o: Value/Valuation.h Value/Error.h
++Expression/ExpressionSet.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/ExpressionSet.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/ExpressionSet.o: /usr/include/gnu/stubs.h
++Expression/ExpressionSet.o: /usr/include/bits/types.h
++Expression/ExpressionSet.o: /usr/include/bits/pthreadtypes.h
++Expression/ExpressionSet.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/ExpressionSet.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/ExpressionSet.o: /usr/include/sys/select.h
++Expression/ExpressionSet.o: /usr/include/bits/select.h
++Expression/ExpressionSet.o: /usr/include/bits/sigset.h
++Expression/ExpressionSet.o: /usr/include/bits/time.h
++Expression/ExpressionSet.o: /usr/include/sys/sysmacros.h
++Expression/ExpressionSet.o: /usr/include/limits.h
++Expression/ExpressionSet.o: /usr/include/bits/posix1_lim.h
++Expression/ExpressionSet.o: /usr/include/bits/local_lim.h
++Expression/ExpressionSet.o: /usr/include/linux/limits.h
++Expression/ExpressionSet.o: /usr/include/bits/posix2_lim.h
++Expression/ExpressionSet.o: /usr/include/bits/xopen_lim.h
++Expression/ExpressionSet.o: /usr/include/bits/stdio_lim.h
++Expression/ExpressionSet.o: /usr/include/bits/wordsize.h
++Expression/ExpressionSet.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/ExpressionSet.o: /usr/include/assert.h Type/Constraint.h
++Expression/ExpressionSet.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/ExpressionMSet.o: Expression/ExpressionMSet.h
Expression/ExpressionMSet.o: Expression/Expression.h Type/Type.h
--Expression/ExpressionMSet.o: parser/util.h Type/typedefs.h Type/Constraint.h
++Expression/ExpressionMSet.o: parser/util.h Type/typedefs.h
++Expression/ExpressionMSet.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/ExpressionMSet.o: /usr/include/sys/cdefs.h
++Expression/ExpressionMSet.o: /usr/include/gnu/stubs.h
++Expression/ExpressionMSet.o: /usr/include/bits/types.h
++Expression/ExpressionMSet.o: /usr/include/bits/pthreadtypes.h
++Expression/ExpressionMSet.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/ExpressionMSet.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/ExpressionMSet.o: /usr/include/sys/select.h
++Expression/ExpressionMSet.o: /usr/include/bits/select.h
++Expression/ExpressionMSet.o: /usr/include/bits/sigset.h
++Expression/ExpressionMSet.o: /usr/include/bits/time.h
++Expression/ExpressionMSet.o: /usr/include/sys/sysmacros.h
++Expression/ExpressionMSet.o: /usr/include/limits.h
++Expression/ExpressionMSet.o: /usr/include/bits/posix1_lim.h
++Expression/ExpressionMSet.o: /usr/include/bits/local_lim.h
++Expression/ExpressionMSet.o: /usr/include/linux/limits.h
++Expression/ExpressionMSet.o: /usr/include/bits/posix2_lim.h
++Expression/ExpressionMSet.o: /usr/include/bits/xopen_lim.h
++Expression/ExpressionMSet.o: /usr/include/bits/stdio_lim.h
++Expression/ExpressionMSet.o: /usr/include/bits/wordsize.h
++Expression/ExpressionMSet.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/ExpressionMSet.o: /usr/include/assert.h Type/Constraint.h
Expression/ExpressionMSet.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/ExpressionMSet.o: Expression/Marking.h Expression/Constant.h
Expression/ExpressionMSet.o: Type/CardType.h Value/LeafValue.h Net/Net.h
+ Expression/ExpressionMSet.o: Graph/BitBuffer.h
Expression/Expression.o: Expression/Expression.h Type/Type.h parser/util.h
--Expression/Expression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
--Expression/Expression.o: Value/Valuation.h Value/Error.h
--Expression/Expression.o: Expression/allExpressions.h Expression/Typecast.h
--Expression/Expression.o: Expression/Variable.h Expression/Constant.h
--Expression/Expression.o: Expression/Undefined.h Expression/StructExpression.h
++Expression/Expression.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/Expression.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/Expression.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Expression/Expression.o: /usr/include/bits/pthreadtypes.h
++Expression/Expression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Expression.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Expression.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Expression.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Expression.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Expression.o: /usr/include/bits/posix1_lim.h
++Expression/Expression.o: /usr/include/bits/local_lim.h
++Expression/Expression.o: /usr/include/linux/limits.h
++Expression/Expression.o: /usr/include/bits/posix2_lim.h
++Expression/Expression.o: /usr/include/bits/xopen_lim.h
++Expression/Expression.o: /usr/include/bits/stdio_lim.h
++Expression/Expression.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Expression.o: /usr/include/xlocale.h /usr/include/assert.h
++Expression/Expression.o: Type/Constraint.h Value/Value.h Value/Valuation.h
++Expression/Expression.o: Value/Error.h Expression/allExpressions.h
++Expression/Expression.o: Expression/Typecast.h Expression/Variable.h
++Expression/Expression.o: Expression/Constant.h Expression/Undefined.h
++Expression/Expression.o: Expression/StructExpression.h
Expression/Expression.o: Expression/StructComponent.h
Expression/Expression.o: Expression/StructAssign.h
Expression/Expression.o: Expression/UnionExpression.h
@@@ -62,544 -63,489 +243,2549 @@@ Expression/Expression.o: Expression/Map
Expression/Expression.o: Automata/Property.h Automata/PropertyState.h
Expression/Expression.o: Automata/BitVector.h Value/LeafValue.h
Expression/Expression.o: Expression/ExpressionSet.h
+Expression/Expression.o: Compilation/base/CExpression.h parser/StringBuffer.h
Expression/Typecast.o: Expression/Typecast.h Expression/Expression.h
Expression/Typecast.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Typecast.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Typecast.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Typecast.o: /usr/include/bits/types.h
++Expression/Typecast.o: /usr/include/bits/pthreadtypes.h
++Expression/Typecast.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Typecast.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Typecast.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Typecast.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Typecast.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Typecast.o: /usr/include/bits/posix1_lim.h
++Expression/Typecast.o: /usr/include/bits/local_lim.h
++Expression/Typecast.o: /usr/include/linux/limits.h
++Expression/Typecast.o: /usr/include/bits/posix2_lim.h
++Expression/Typecast.o: /usr/include/bits/xopen_lim.h
++Expression/Typecast.o: /usr/include/bits/stdio_lim.h
++Expression/Typecast.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Typecast.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Typecast.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Typecast.o: Value/Error.h Value/LeafValue.h parser/Printer.h
- Expression/Typecast.o: parser/StringBuffer.h Compilation/base/CExpression.h
-Expression/Typecast.o: parser/StringBuffer.h
++Expression/Typecast.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/Typecast.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/Typecast.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/Typecast.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Expression/Typecast.o: Compilation/base/CExpression.h
Expression/Variable.o: Expression/Variable.h Expression/Expression.h
Expression/Variable.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Variable.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Variable.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Variable.o: /usr/include/bits/types.h
++Expression/Variable.o: /usr/include/bits/pthreadtypes.h
++Expression/Variable.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Variable.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Variable.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Variable.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Variable.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Variable.o: /usr/include/bits/posix1_lim.h
++Expression/Variable.o: /usr/include/bits/local_lim.h
++Expression/Variable.o: /usr/include/linux/limits.h
++Expression/Variable.o: /usr/include/bits/posix2_lim.h
++Expression/Variable.o: /usr/include/bits/xopen_lim.h
++Expression/Variable.o: /usr/include/bits/stdio_lim.h
++Expression/Variable.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Variable.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Variable.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Variable.o: Value/Error.h Net/VariableDefinition.h
Expression/Variable.o: Expression/VariableSet.h Expression/Constant.h
Expression/Variable.o: Expression/Substitution.h parser/Printer.h
--Expression/Variable.o: parser/StringBuffer.h Net/Transition.h
- Expression/Variable.o: Compilation/base/CExpression.h
++Expression/Variable.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/Variable.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/Variable.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/Variable.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Expression/Variable.o: Net/Transition.h Compilation/base/CExpression.h
Expression/Constant.o: Expression/Constant.h Expression/Expression.h
Expression/Constant.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Constant.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Constant.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Constant.o: /usr/include/bits/types.h
++Expression/Constant.o: /usr/include/bits/pthreadtypes.h
++Expression/Constant.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Constant.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Constant.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Constant.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Constant.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Constant.o: /usr/include/bits/posix1_lim.h
++Expression/Constant.o: /usr/include/bits/local_lim.h
++Expression/Constant.o: /usr/include/linux/limits.h
++Expression/Constant.o: /usr/include/bits/posix2_lim.h
++Expression/Constant.o: /usr/include/bits/xopen_lim.h
++Expression/Constant.o: /usr/include/bits/stdio_lim.h
++Expression/Constant.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Constant.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Constant.o: Type/Constraint.h Value/Value.h Value/Valuation.h
-Expression/Constant.o: Value/Error.h
+Expression/Constant.o: Value/Error.h Compilation/base/CExpression.h
+Expression/Constant.o: parser/StringBuffer.h
Expression/Undefined.o: Expression/Undefined.h Expression/Expression.h
Expression/Undefined.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Undefined.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Undefined.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Undefined.o: /usr/include/bits/types.h
++Expression/Undefined.o: /usr/include/bits/pthreadtypes.h
++Expression/Undefined.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Undefined.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Undefined.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Undefined.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Undefined.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Undefined.o: /usr/include/bits/posix1_lim.h
++Expression/Undefined.o: /usr/include/bits/local_lim.h
++Expression/Undefined.o: /usr/include/linux/limits.h
++Expression/Undefined.o: /usr/include/bits/posix2_lim.h
++Expression/Undefined.o: /usr/include/bits/xopen_lim.h
++Expression/Undefined.o: /usr/include/bits/stdio_lim.h
++Expression/Undefined.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Undefined.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Undefined.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Undefined.o: Value/Error.h parser/Printer.h parser/StringBuffer.h
++Expression/Undefined.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/Undefined.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/Undefined.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/Undefined.o: /usr/include/bits/sys_errlist.h
+Expression/Undefined.o: Compilation/base/CExpression.h
Expression/StructExpression.o: Expression/StructExpression.h
Expression/StructExpression.o: Expression/Expression.h Type/Type.h
Expression/StructExpression.o: parser/util.h Type/typedefs.h
--Expression/StructExpression.o: Type/Constraint.h Value/Value.h
--Expression/StructExpression.o: Value/Valuation.h Value/Error.h
++Expression/StructExpression.o: /usr/include/sys/types.h
++Expression/StructExpression.o: /usr/include/features.h
++Expression/StructExpression.o: /usr/include/sys/cdefs.h
++Expression/StructExpression.o: /usr/include/gnu/stubs.h
++Expression/StructExpression.o: /usr/include/bits/types.h
++Expression/StructExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/StructExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/StructExpression.o: /usr/include/endian.h
++Expression/StructExpression.o: /usr/include/bits/endian.h
++Expression/StructExpression.o: /usr/include/sys/select.h
++Expression/StructExpression.o: /usr/include/bits/select.h
++Expression/StructExpression.o: /usr/include/bits/sigset.h
++Expression/StructExpression.o: /usr/include/bits/time.h
++Expression/StructExpression.o: /usr/include/sys/sysmacros.h
++Expression/StructExpression.o: /usr/include/limits.h
++Expression/StructExpression.o: /usr/include/bits/posix1_lim.h
++Expression/StructExpression.o: /usr/include/bits/local_lim.h
++Expression/StructExpression.o: /usr/include/linux/limits.h
++Expression/StructExpression.o: /usr/include/bits/posix2_lim.h
++Expression/StructExpression.o: /usr/include/bits/xopen_lim.h
++Expression/StructExpression.o: /usr/include/bits/stdio_lim.h
++Expression/StructExpression.o: /usr/include/bits/wordsize.h
++Expression/StructExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/StructExpression.o: /usr/include/assert.h Type/Constraint.h
++Expression/StructExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/StructExpression.o: Type/StructType.h Type/ComponentList.h
Expression/StructExpression.o: Value/StructValue.h Value/ValueList.h
Expression/StructExpression.o: parser/Printer.h parser/StringBuffer.h
++Expression/StructExpression.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/StructExpression.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/StructExpression.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/StructExpression.o: /usr/include/bits/sys_errlist.h
+Expression/StructExpression.o: Compilation/base/CExpression.h
Expression/StructComponent.o: Expression/StructComponent.h
Expression/StructComponent.o: Expression/Expression.h Type/Type.h
--Expression/StructComponent.o: parser/util.h Type/typedefs.h Type/Constraint.h
++Expression/StructComponent.o: parser/util.h Type/typedefs.h
++Expression/StructComponent.o: /usr/include/sys/types.h
++Expression/StructComponent.o: /usr/include/features.h
++Expression/StructComponent.o: /usr/include/sys/cdefs.h
++Expression/StructComponent.o: /usr/include/gnu/stubs.h
++Expression/StructComponent.o: /usr/include/bits/types.h
++Expression/StructComponent.o: /usr/include/bits/pthreadtypes.h
++Expression/StructComponent.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/StructComponent.o: /usr/include/endian.h
++Expression/StructComponent.o: /usr/include/bits/endian.h
++Expression/StructComponent.o: /usr/include/sys/select.h
++Expression/StructComponent.o: /usr/include/bits/select.h
++Expression/StructComponent.o: /usr/include/bits/sigset.h
++Expression/StructComponent.o: /usr/include/bits/time.h
++Expression/StructComponent.o: /usr/include/sys/sysmacros.h
++Expression/StructComponent.o: /usr/include/limits.h
++Expression/StructComponent.o: /usr/include/bits/posix1_lim.h
++Expression/StructComponent.o: /usr/include/bits/local_lim.h
++Expression/StructComponent.o: /usr/include/linux/limits.h
++Expression/StructComponent.o: /usr/include/bits/posix2_lim.h
++Expression/StructComponent.o: /usr/include/bits/xopen_lim.h
++Expression/StructComponent.o: /usr/include/bits/stdio_lim.h
++Expression/StructComponent.o: /usr/include/bits/wordsize.h
++Expression/StructComponent.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/StructComponent.o: /usr/include/assert.h Type/Constraint.h
Expression/StructComponent.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/StructComponent.o: Type/StructType.h Type/ComponentList.h
Expression/StructComponent.o: Value/StructValue.h Value/ValueList.h
Expression/StructComponent.o: parser/Printer.h parser/StringBuffer.h
++Expression/StructComponent.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/StructComponent.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/StructComponent.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/StructComponent.o: /usr/include/bits/sys_errlist.h
+Expression/StructComponent.o: Compilation/base/CExpression.h
Expression/StructAssign.o: Expression/StructAssign.h Expression/Expression.h
Expression/StructAssign.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/StructAssign.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/StructAssign.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/StructAssign.o: /usr/include/bits/types.h
++Expression/StructAssign.o: /usr/include/bits/pthreadtypes.h
++Expression/StructAssign.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/StructAssign.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/StructAssign.o: /usr/include/sys/select.h
++Expression/StructAssign.o: /usr/include/bits/select.h
++Expression/StructAssign.o: /usr/include/bits/sigset.h
++Expression/StructAssign.o: /usr/include/bits/time.h
++Expression/StructAssign.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/StructAssign.o: /usr/include/bits/posix1_lim.h
++Expression/StructAssign.o: /usr/include/bits/local_lim.h
++Expression/StructAssign.o: /usr/include/linux/limits.h
++Expression/StructAssign.o: /usr/include/bits/posix2_lim.h
++Expression/StructAssign.o: /usr/include/bits/xopen_lim.h
++Expression/StructAssign.o: /usr/include/bits/stdio_lim.h
++Expression/StructAssign.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/StructAssign.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/StructAssign.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/StructAssign.o: Value/Error.h Type/StructType.h
Expression/StructAssign.o: Type/ComponentList.h Value/StructValue.h
Expression/StructAssign.o: Value/ValueList.h parser/Printer.h
--Expression/StructAssign.o: parser/StringBuffer.h
++Expression/StructAssign.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/StructAssign.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/StructAssign.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/StructAssign.o: /usr/include/gconv.h
++Expression/StructAssign.o: /usr/include/bits/sys_errlist.h
+Expression/StructAssign.o: Compilation/base/CExpression.h
Expression/UnionExpression.o: Expression/UnionExpression.h
Expression/UnionExpression.o: Expression/Expression.h Type/Type.h
--Expression/UnionExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
++Expression/UnionExpression.o: parser/util.h Type/typedefs.h
++Expression/UnionExpression.o: /usr/include/sys/types.h
++Expression/UnionExpression.o: /usr/include/features.h
++Expression/UnionExpression.o: /usr/include/sys/cdefs.h
++Expression/UnionExpression.o: /usr/include/gnu/stubs.h
++Expression/UnionExpression.o: /usr/include/bits/types.h
++Expression/UnionExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/UnionExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/UnionExpression.o: /usr/include/endian.h
++Expression/UnionExpression.o: /usr/include/bits/endian.h
++Expression/UnionExpression.o: /usr/include/sys/select.h
++Expression/UnionExpression.o: /usr/include/bits/select.h
++Expression/UnionExpression.o: /usr/include/bits/sigset.h
++Expression/UnionExpression.o: /usr/include/bits/time.h
++Expression/UnionExpression.o: /usr/include/sys/sysmacros.h
++Expression/UnionExpression.o: /usr/include/limits.h
++Expression/UnionExpression.o: /usr/include/bits/posix1_lim.h
++Expression/UnionExpression.o: /usr/include/bits/local_lim.h
++Expression/UnionExpression.o: /usr/include/linux/limits.h
++Expression/UnionExpression.o: /usr/include/bits/posix2_lim.h
++Expression/UnionExpression.o: /usr/include/bits/xopen_lim.h
++Expression/UnionExpression.o: /usr/include/bits/stdio_lim.h
++Expression/UnionExpression.o: /usr/include/bits/wordsize.h
++Expression/UnionExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/UnionExpression.o: /usr/include/assert.h Type/Constraint.h
Expression/UnionExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnionExpression.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionExpression.o: Value/UnionValue.h parser/Printer.h
--Expression/UnionExpression.o: parser/StringBuffer.h
++Expression/UnionExpression.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/UnionExpression.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/UnionExpression.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/UnionExpression.o: /usr/include/gconv.h
++Expression/UnionExpression.o: /usr/include/bits/sys_errlist.h
+Expression/UnionExpression.o: Compilation/base/CExpression.h
Expression/UnionComponent.o: Expression/UnionComponent.h
Expression/UnionComponent.o: Expression/Expression.h Type/Type.h
--Expression/UnionComponent.o: parser/util.h Type/typedefs.h Type/Constraint.h
++Expression/UnionComponent.o: parser/util.h Type/typedefs.h
++Expression/UnionComponent.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/UnionComponent.o: /usr/include/sys/cdefs.h
++Expression/UnionComponent.o: /usr/include/gnu/stubs.h
++Expression/UnionComponent.o: /usr/include/bits/types.h
++Expression/UnionComponent.o: /usr/include/bits/pthreadtypes.h
++Expression/UnionComponent.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/UnionComponent.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/UnionComponent.o: /usr/include/sys/select.h
++Expression/UnionComponent.o: /usr/include/bits/select.h
++Expression/UnionComponent.o: /usr/include/bits/sigset.h
++Expression/UnionComponent.o: /usr/include/bits/time.h
++Expression/UnionComponent.o: /usr/include/sys/sysmacros.h
++Expression/UnionComponent.o: /usr/include/limits.h
++Expression/UnionComponent.o: /usr/include/bits/posix1_lim.h
++Expression/UnionComponent.o: /usr/include/bits/local_lim.h
++Expression/UnionComponent.o: /usr/include/linux/limits.h
++Expression/UnionComponent.o: /usr/include/bits/posix2_lim.h
++Expression/UnionComponent.o: /usr/include/bits/xopen_lim.h
++Expression/UnionComponent.o: /usr/include/bits/stdio_lim.h
++Expression/UnionComponent.o: /usr/include/bits/wordsize.h
++Expression/UnionComponent.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/UnionComponent.o: /usr/include/assert.h Type/Constraint.h
Expression/UnionComponent.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnionComponent.o: Type/UnionType.h Type/ComponentList.h
Expression/UnionComponent.o: Value/UnionValue.h parser/Printer.h
--Expression/UnionComponent.o: parser/StringBuffer.h
++Expression/UnionComponent.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/UnionComponent.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/UnionComponent.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/UnionComponent.o: /usr/include/gconv.h
++Expression/UnionComponent.o: /usr/include/bits/sys_errlist.h
+Expression/UnionComponent.o: Compilation/base/CExpression.h
Expression/UnionTypeExpression.o: Expression/UnionTypeExpression.h
Expression/UnionTypeExpression.o: Expression/Expression.h Type/Type.h
Expression/UnionTypeExpression.o: parser/util.h Type/typedefs.h
--Expression/UnionTypeExpression.o: Type/Constraint.h Value/Value.h
--Expression/UnionTypeExpression.o: Value/Valuation.h Value/Error.h
--Expression/UnionTypeExpression.o: Type/UnionType.h Type/ComponentList.h
--Expression/UnionTypeExpression.o: Value/UnionValue.h Type/BoolType.h
--Expression/UnionTypeExpression.o: Value/LeafValue.h Net/Net.h
- Expression/UnionTypeExpression.o: parser/Printer.h parser/StringBuffer.h
++Expression/UnionTypeExpression.o: /usr/include/sys/types.h
++Expression/UnionTypeExpression.o: /usr/include/features.h
++Expression/UnionTypeExpression.o: /usr/include/sys/cdefs.h
++Expression/UnionTypeExpression.o: /usr/include/gnu/stubs.h
++Expression/UnionTypeExpression.o: /usr/include/bits/types.h
++Expression/UnionTypeExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/UnionTypeExpression.o: /usr/include/bits/sched.h
++Expression/UnionTypeExpression.o: /usr/include/time.h /usr/include/endian.h
++Expression/UnionTypeExpression.o: /usr/include/bits/endian.h
++Expression/UnionTypeExpression.o: /usr/include/sys/select.h
++Expression/UnionTypeExpression.o: /usr/include/bits/select.h
++Expression/UnionTypeExpression.o: /usr/include/bits/sigset.h
++Expression/UnionTypeExpression.o: /usr/include/bits/time.h
++Expression/UnionTypeExpression.o: /usr/include/sys/sysmacros.h
++Expression/UnionTypeExpression.o: /usr/include/limits.h
++Expression/UnionTypeExpression.o: /usr/include/bits/posix1_lim.h
++Expression/UnionTypeExpression.o: /usr/include/bits/local_lim.h
++Expression/UnionTypeExpression.o: /usr/include/linux/limits.h
++Expression/UnionTypeExpression.o: /usr/include/bits/posix2_lim.h
++Expression/UnionTypeExpression.o: /usr/include/bits/xopen_lim.h
++Expression/UnionTypeExpression.o: /usr/include/bits/stdio_lim.h
++Expression/UnionTypeExpression.o: /usr/include/bits/wordsize.h
++Expression/UnionTypeExpression.o: /usr/include/string.h
++Expression/UnionTypeExpression.o: /usr/include/xlocale.h
++Expression/UnionTypeExpression.o: /usr/include/assert.h Type/Constraint.h
++Expression/UnionTypeExpression.o: Value/Value.h Value/Valuation.h
++Expression/UnionTypeExpression.o: Value/Error.h Type/UnionType.h
++Expression/UnionTypeExpression.o: Type/ComponentList.h Value/UnionValue.h
++Expression/UnionTypeExpression.o: Type/BoolType.h Value/LeafValue.h Net/Net.h
+ Expression/UnionTypeExpression.o: Graph/BitBuffer.h parser/Printer.h
-Expression/UnionTypeExpression.o: parser/StringBuffer.h
++Expression/UnionTypeExpression.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/UnionTypeExpression.o: /usr/include/libio.h
++Expression/UnionTypeExpression.o: /usr/include/_G_config.h
++Expression/UnionTypeExpression.o: /usr/include/wchar.h
++Expression/UnionTypeExpression.o: /usr/include/bits/wchar.h
++Expression/UnionTypeExpression.o: /usr/include/gconv.h
++Expression/UnionTypeExpression.o: /usr/include/bits/sys_errlist.h
+Expression/UnionTypeExpression.o: Compilation/base/CExpression.h
Expression/VectorExpression.o: Expression/VectorExpression.h
Expression/VectorExpression.o: Expression/Expression.h Type/Type.h
Expression/VectorExpression.o: parser/util.h Type/typedefs.h
--Expression/VectorExpression.o: Type/Constraint.h Value/Value.h
--Expression/VectorExpression.o: Value/Valuation.h Value/Error.h
++Expression/VectorExpression.o: /usr/include/sys/types.h
++Expression/VectorExpression.o: /usr/include/features.h
++Expression/VectorExpression.o: /usr/include/sys/cdefs.h
++Expression/VectorExpression.o: /usr/include/gnu/stubs.h
++Expression/VectorExpression.o: /usr/include/bits/types.h
++Expression/VectorExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/VectorExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/VectorExpression.o: /usr/include/endian.h
++Expression/VectorExpression.o: /usr/include/bits/endian.h
++Expression/VectorExpression.o: /usr/include/sys/select.h
++Expression/VectorExpression.o: /usr/include/bits/select.h
++Expression/VectorExpression.o: /usr/include/bits/sigset.h
++Expression/VectorExpression.o: /usr/include/bits/time.h
++Expression/VectorExpression.o: /usr/include/sys/sysmacros.h
++Expression/VectorExpression.o: /usr/include/limits.h
++Expression/VectorExpression.o: /usr/include/bits/posix1_lim.h
++Expression/VectorExpression.o: /usr/include/bits/local_lim.h
++Expression/VectorExpression.o: /usr/include/linux/limits.h
++Expression/VectorExpression.o: /usr/include/bits/posix2_lim.h
++Expression/VectorExpression.o: /usr/include/bits/xopen_lim.h
++Expression/VectorExpression.o: /usr/include/bits/stdio_lim.h
++Expression/VectorExpression.o: /usr/include/bits/wordsize.h
++Expression/VectorExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/VectorExpression.o: /usr/include/assert.h Type/Constraint.h
++Expression/VectorExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/VectorExpression.o: Type/VectorType.h Value/VectorValue.h
Expression/VectorExpression.o: Value/ValueList.h parser/Printer.h
--Expression/VectorExpression.o: parser/StringBuffer.h
++Expression/VectorExpression.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/VectorExpression.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/VectorExpression.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/VectorExpression.o: /usr/include/gconv.h
++Expression/VectorExpression.o: /usr/include/bits/sys_errlist.h
+Expression/VectorExpression.o: Compilation/base/CExpression.h
Expression/VectorIndex.o: Expression/VectorIndex.h Expression/Expression.h
Expression/VectorIndex.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/VectorIndex.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/VectorIndex.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/VectorIndex.o: /usr/include/bits/types.h
++Expression/VectorIndex.o: /usr/include/bits/pthreadtypes.h
++Expression/VectorIndex.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/VectorIndex.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/VectorIndex.o: /usr/include/sys/select.h
++Expression/VectorIndex.o: /usr/include/bits/select.h
++Expression/VectorIndex.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/VectorIndex.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/VectorIndex.o: /usr/include/bits/posix1_lim.h
++Expression/VectorIndex.o: /usr/include/bits/local_lim.h
++Expression/VectorIndex.o: /usr/include/linux/limits.h
++Expression/VectorIndex.o: /usr/include/bits/posix2_lim.h
++Expression/VectorIndex.o: /usr/include/bits/xopen_lim.h
++Expression/VectorIndex.o: /usr/include/bits/stdio_lim.h
++Expression/VectorIndex.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/VectorIndex.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/VectorIndex.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorIndex.o: Value/Error.h Type/VectorType.h Value/VectorValue.h
Expression/VectorIndex.o: Value/ValueList.h Net/VariableDefinition.h
Expression/VectorIndex.o: parser/Printer.h parser/StringBuffer.h
++Expression/VectorIndex.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/VectorIndex.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/VectorIndex.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/VectorIndex.o: /usr/include/bits/sys_errlist.h
+Expression/VectorIndex.o: Compilation/base/CExpression.h
+Expression/VectorIndex.o: Expression/Constant.h
Expression/VectorAssign.o: Expression/VectorAssign.h Expression/Expression.h
Expression/VectorAssign.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/VectorAssign.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/VectorAssign.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/VectorAssign.o: /usr/include/bits/types.h
++Expression/VectorAssign.o: /usr/include/bits/pthreadtypes.h
++Expression/VectorAssign.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/VectorAssign.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/VectorAssign.o: /usr/include/sys/select.h
++Expression/VectorAssign.o: /usr/include/bits/select.h
++Expression/VectorAssign.o: /usr/include/bits/sigset.h
++Expression/VectorAssign.o: /usr/include/bits/time.h
++Expression/VectorAssign.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/VectorAssign.o: /usr/include/bits/posix1_lim.h
++Expression/VectorAssign.o: /usr/include/bits/local_lim.h
++Expression/VectorAssign.o: /usr/include/linux/limits.h
++Expression/VectorAssign.o: /usr/include/bits/posix2_lim.h
++Expression/VectorAssign.o: /usr/include/bits/xopen_lim.h
++Expression/VectorAssign.o: /usr/include/bits/stdio_lim.h
++Expression/VectorAssign.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/VectorAssign.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/VectorAssign.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorAssign.o: Value/Error.h Value/VectorValue.h
Expression/VectorAssign.o: Value/ValueList.h Type/VectorType.h
Expression/VectorAssign.o: parser/Printer.h parser/StringBuffer.h
++Expression/VectorAssign.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/VectorAssign.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/VectorAssign.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/VectorAssign.o: /usr/include/bits/sys_errlist.h
+Expression/VectorAssign.o: Compilation/base/CExpression.h
+Expression/VectorAssign.o: Expression/Constant.h
Expression/VectorShift.o: Expression/VectorShift.h Expression/Expression.h
Expression/VectorShift.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/VectorShift.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/VectorShift.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/VectorShift.o: /usr/include/bits/types.h
++Expression/VectorShift.o: /usr/include/bits/pthreadtypes.h
++Expression/VectorShift.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/VectorShift.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/VectorShift.o: /usr/include/sys/select.h
++Expression/VectorShift.o: /usr/include/bits/select.h
++Expression/VectorShift.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/VectorShift.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/VectorShift.o: /usr/include/bits/posix1_lim.h
++Expression/VectorShift.o: /usr/include/bits/local_lim.h
++Expression/VectorShift.o: /usr/include/linux/limits.h
++Expression/VectorShift.o: /usr/include/bits/posix2_lim.h
++Expression/VectorShift.o: /usr/include/bits/xopen_lim.h
++Expression/VectorShift.o: /usr/include/bits/stdio_lim.h
++Expression/VectorShift.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/VectorShift.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/VectorShift.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/VectorShift.o: Value/Error.h Value/VectorValue.h Value/ValueList.h
Expression/VectorShift.o: Value/LeafValue.h Type/VectorType.h
Expression/VectorShift.o: parser/Printer.h parser/StringBuffer.h
++Expression/VectorShift.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/VectorShift.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/VectorShift.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/VectorShift.o: /usr/include/bits/sys_errlist.h
+Expression/VectorShift.o: Compilation/base/CExpression.h
- Expression/VectorShift.o: Expression/Constant.h Net/Net.h Type/CardType.h
++Expression/VectorShift.o: Expression/Constant.h Net/Net.h Graph/BitBuffer.h
++Expression/VectorShift.o: Type/CardType.h
Expression/UnopExpression.o: Expression/UnopExpression.h
Expression/UnopExpression.o: Expression/Expression.h Type/Type.h
--Expression/UnopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
++Expression/UnopExpression.o: parser/util.h Type/typedefs.h
++Expression/UnopExpression.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/UnopExpression.o: /usr/include/sys/cdefs.h
++Expression/UnopExpression.o: /usr/include/gnu/stubs.h
++Expression/UnopExpression.o: /usr/include/bits/types.h
++Expression/UnopExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/UnopExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/UnopExpression.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/UnopExpression.o: /usr/include/sys/select.h
++Expression/UnopExpression.o: /usr/include/bits/select.h
++Expression/UnopExpression.o: /usr/include/bits/sigset.h
++Expression/UnopExpression.o: /usr/include/bits/time.h
++Expression/UnopExpression.o: /usr/include/sys/sysmacros.h
++Expression/UnopExpression.o: /usr/include/limits.h
++Expression/UnopExpression.o: /usr/include/bits/posix1_lim.h
++Expression/UnopExpression.o: /usr/include/bits/local_lim.h
++Expression/UnopExpression.o: /usr/include/linux/limits.h
++Expression/UnopExpression.o: /usr/include/bits/posix2_lim.h
++Expression/UnopExpression.o: /usr/include/bits/xopen_lim.h
++Expression/UnopExpression.o: /usr/include/bits/stdio_lim.h
++Expression/UnopExpression.o: /usr/include/bits/wordsize.h
++Expression/UnopExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/UnopExpression.o: /usr/include/assert.h Type/Constraint.h
Expression/UnopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/UnopExpression.o: Type/IntType.h Type/CardType.h Value/LeafValue.h
- Expression/UnopExpression.o: Net/Net.h parser/Printer.h parser/StringBuffer.h
+ Expression/UnopExpression.o: Net/Net.h Graph/BitBuffer.h parser/Printer.h
-Expression/UnopExpression.o: parser/StringBuffer.h
++Expression/UnopExpression.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/UnopExpression.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/UnopExpression.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/UnopExpression.o: /usr/include/gconv.h
++Expression/UnopExpression.o: /usr/include/bits/sys_errlist.h
+Expression/UnopExpression.o: Compilation/base/CExpression.h
Expression/BinopExpression.o: Expression/BinopExpression.h
Expression/BinopExpression.o: Expression/Expression.h Type/Type.h
--Expression/BinopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
++Expression/BinopExpression.o: parser/util.h Type/typedefs.h
++Expression/BinopExpression.o: /usr/include/sys/types.h
++Expression/BinopExpression.o: /usr/include/features.h
++Expression/BinopExpression.o: /usr/include/sys/cdefs.h
++Expression/BinopExpression.o: /usr/include/gnu/stubs.h
++Expression/BinopExpression.o: /usr/include/bits/types.h
++Expression/BinopExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/BinopExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/BinopExpression.o: /usr/include/endian.h
++Expression/BinopExpression.o: /usr/include/bits/endian.h
++Expression/BinopExpression.o: /usr/include/sys/select.h
++Expression/BinopExpression.o: /usr/include/bits/select.h
++Expression/BinopExpression.o: /usr/include/bits/sigset.h
++Expression/BinopExpression.o: /usr/include/bits/time.h
++Expression/BinopExpression.o: /usr/include/sys/sysmacros.h
++Expression/BinopExpression.o: /usr/include/limits.h
++Expression/BinopExpression.o: /usr/include/bits/posix1_lim.h
++Expression/BinopExpression.o: /usr/include/bits/local_lim.h
++Expression/BinopExpression.o: /usr/include/linux/limits.h
++Expression/BinopExpression.o: /usr/include/bits/posix2_lim.h
++Expression/BinopExpression.o: /usr/include/bits/xopen_lim.h
++Expression/BinopExpression.o: /usr/include/bits/stdio_lim.h
++Expression/BinopExpression.o: /usr/include/bits/wordsize.h
++Expression/BinopExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/BinopExpression.o: /usr/include/assert.h Type/Constraint.h
Expression/BinopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/BinopExpression.o: Type/IntType.h Type/CardType.h
- Expression/BinopExpression.o: Value/LeafValue.h Net/Net.h parser/Printer.h
- Expression/BinopExpression.o: parser/StringBuffer.h
+ Expression/BinopExpression.o: Value/LeafValue.h Net/Net.h Graph/BitBuffer.h
+ Expression/BinopExpression.o: parser/Printer.h parser/StringBuffer.h
++Expression/BinopExpression.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/BinopExpression.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/BinopExpression.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/BinopExpression.o: /usr/include/bits/sys_errlist.h
+Expression/BinopExpression.o: Compilation/base/CExpression.h
+Expression/BinopExpression.o: Expression/Constant.h
Expression/BufferExpression.o: Expression/BufferExpression.h
Expression/BufferExpression.o: Expression/Expression.h Type/Type.h
Expression/BufferExpression.o: parser/util.h Type/typedefs.h
--Expression/BufferExpression.o: Type/Constraint.h Value/Value.h
--Expression/BufferExpression.o: Value/Valuation.h Value/Error.h
++Expression/BufferExpression.o: /usr/include/sys/types.h
++Expression/BufferExpression.o: /usr/include/features.h
++Expression/BufferExpression.o: /usr/include/sys/cdefs.h
++Expression/BufferExpression.o: /usr/include/gnu/stubs.h
++Expression/BufferExpression.o: /usr/include/bits/types.h
++Expression/BufferExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/BufferExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/BufferExpression.o: /usr/include/endian.h
++Expression/BufferExpression.o: /usr/include/bits/endian.h
++Expression/BufferExpression.o: /usr/include/sys/select.h
++Expression/BufferExpression.o: /usr/include/bits/select.h
++Expression/BufferExpression.o: /usr/include/bits/sigset.h
++Expression/BufferExpression.o: /usr/include/bits/time.h
++Expression/BufferExpression.o: /usr/include/sys/sysmacros.h
++Expression/BufferExpression.o: /usr/include/limits.h
++Expression/BufferExpression.o: /usr/include/bits/posix1_lim.h
++Expression/BufferExpression.o: /usr/include/bits/local_lim.h
++Expression/BufferExpression.o: /usr/include/linux/limits.h
++Expression/BufferExpression.o: /usr/include/bits/posix2_lim.h
++Expression/BufferExpression.o: /usr/include/bits/xopen_lim.h
++Expression/BufferExpression.o: /usr/include/bits/stdio_lim.h
++Expression/BufferExpression.o: /usr/include/bits/wordsize.h
++Expression/BufferExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/BufferExpression.o: /usr/include/assert.h Type/Constraint.h
++Expression/BufferExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
Expression/BufferExpression.o: Type/BufferType.h Value/BufferValue.h
Expression/BufferExpression.o: Value/ValueList.h parser/Printer.h
--Expression/BufferExpression.o: parser/StringBuffer.h
++Expression/BufferExpression.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/BufferExpression.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/BufferExpression.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/BufferExpression.o: /usr/include/gconv.h
++Expression/BufferExpression.o: /usr/include/bits/sys_errlist.h
+Expression/BufferExpression.o: Compilation/base/CExpression.h
Expression/BufferWrite.o: Expression/BufferWrite.h Expression/Expression.h
Expression/BufferWrite.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/BufferWrite.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/BufferWrite.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/BufferWrite.o: /usr/include/bits/types.h
++Expression/BufferWrite.o: /usr/include/bits/pthreadtypes.h
++Expression/BufferWrite.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/BufferWrite.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/BufferWrite.o: /usr/include/sys/select.h
++Expression/BufferWrite.o: /usr/include/bits/select.h
++Expression/BufferWrite.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/BufferWrite.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/BufferWrite.o: /usr/include/bits/posix1_lim.h
++Expression/BufferWrite.o: /usr/include/bits/local_lim.h
++Expression/BufferWrite.o: /usr/include/linux/limits.h
++Expression/BufferWrite.o: /usr/include/bits/posix2_lim.h
++Expression/BufferWrite.o: /usr/include/bits/xopen_lim.h
++Expression/BufferWrite.o: /usr/include/bits/stdio_lim.h
++Expression/BufferWrite.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/BufferWrite.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/BufferWrite.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferWrite.o: Value/Error.h Type/BufferType.h Value/BufferValue.h
Expression/BufferWrite.o: Value/ValueList.h Value/LeafValue.h
Expression/BufferWrite.o: parser/Printer.h parser/StringBuffer.h
++Expression/BufferWrite.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/BufferWrite.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/BufferWrite.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/BufferWrite.o: /usr/include/bits/sys_errlist.h
+Expression/BufferWrite.o: Compilation/base/CExpression.h
+Expression/BufferWrite.o: Expression/Constant.h
Expression/BufferUnop.o: Expression/BufferUnop.h Expression/Expression.h
Expression/BufferUnop.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/BufferUnop.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/BufferUnop.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/BufferUnop.o: /usr/include/bits/types.h
++Expression/BufferUnop.o: /usr/include/bits/pthreadtypes.h
++Expression/BufferUnop.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/BufferUnop.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/BufferUnop.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/BufferUnop.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/BufferUnop.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/BufferUnop.o: /usr/include/bits/posix1_lim.h
++Expression/BufferUnop.o: /usr/include/bits/local_lim.h
++Expression/BufferUnop.o: /usr/include/linux/limits.h
++Expression/BufferUnop.o: /usr/include/bits/posix2_lim.h
++Expression/BufferUnop.o: /usr/include/bits/xopen_lim.h
++Expression/BufferUnop.o: /usr/include/bits/stdio_lim.h
++Expression/BufferUnop.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/BufferUnop.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/BufferUnop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferUnop.o: Value/Error.h Type/BufferType.h Value/BufferValue.h
- Expression/BufferUnop.o: Value/ValueList.h Net/Net.h Type/CardType.h
- Expression/BufferUnop.o: Value/LeafValue.h parser/Printer.h
- Expression/BufferUnop.o: parser/StringBuffer.h Compilation/base/CExpression.h
- Expression/BufferUnop.o: Expression/Constant.h
+ Expression/BufferUnop.o: Value/ValueList.h Net/Net.h Graph/BitBuffer.h
+ Expression/BufferUnop.o: Type/CardType.h Value/LeafValue.h parser/Printer.h
-Expression/BufferUnop.o: parser/StringBuffer.h
++Expression/BufferUnop.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/BufferUnop.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/BufferUnop.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/BufferUnop.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Expression/BufferUnop.o: Compilation/base/CExpression.h Expression/Constant.h
Expression/BufferRemove.o: Expression/BufferRemove.h Expression/Expression.h
Expression/BufferRemove.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/BufferRemove.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/BufferRemove.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/BufferRemove.o: /usr/include/bits/types.h
++Expression/BufferRemove.o: /usr/include/bits/pthreadtypes.h
++Expression/BufferRemove.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/BufferRemove.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/BufferRemove.o: /usr/include/sys/select.h
++Expression/BufferRemove.o: /usr/include/bits/select.h
++Expression/BufferRemove.o: /usr/include/bits/sigset.h
++Expression/BufferRemove.o: /usr/include/bits/time.h
++Expression/BufferRemove.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/BufferRemove.o: /usr/include/bits/posix1_lim.h
++Expression/BufferRemove.o: /usr/include/bits/local_lim.h
++Expression/BufferRemove.o: /usr/include/linux/limits.h
++Expression/BufferRemove.o: /usr/include/bits/posix2_lim.h
++Expression/BufferRemove.o: /usr/include/bits/xopen_lim.h
++Expression/BufferRemove.o: /usr/include/bits/stdio_lim.h
++Expression/BufferRemove.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/BufferRemove.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/BufferRemove.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferRemove.o: Value/Error.h Type/BufferType.h
Expression/BufferRemove.o: Value/BufferValue.h Value/ValueList.h Net/Net.h
- Expression/BufferRemove.o: Type/CardType.h Value/LeafValue.h parser/Printer.h
- Expression/BufferRemove.o: parser/StringBuffer.h
+ Expression/BufferRemove.o: Graph/BitBuffer.h Type/CardType.h
+ Expression/BufferRemove.o: Value/LeafValue.h parser/Printer.h
-Expression/BufferRemove.o: parser/StringBuffer.h
++Expression/BufferRemove.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/BufferRemove.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/BufferRemove.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/BufferRemove.o: /usr/include/gconv.h
++Expression/BufferRemove.o: /usr/include/bits/sys_errlist.h
+Expression/BufferRemove.o: Compilation/base/CExpression.h
+Expression/BufferRemove.o: Expression/Constant.h
Expression/BufferIndex.o: Expression/BufferIndex.h Expression/Expression.h
Expression/BufferIndex.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/BufferIndex.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/BufferIndex.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/BufferIndex.o: /usr/include/bits/types.h
++Expression/BufferIndex.o: /usr/include/bits/pthreadtypes.h
++Expression/BufferIndex.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/BufferIndex.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/BufferIndex.o: /usr/include/sys/select.h
++Expression/BufferIndex.o: /usr/include/bits/select.h
++Expression/BufferIndex.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/BufferIndex.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/BufferIndex.o: /usr/include/bits/posix1_lim.h
++Expression/BufferIndex.o: /usr/include/bits/local_lim.h
++Expression/BufferIndex.o: /usr/include/linux/limits.h
++Expression/BufferIndex.o: /usr/include/bits/posix2_lim.h
++Expression/BufferIndex.o: /usr/include/bits/xopen_lim.h
++Expression/BufferIndex.o: /usr/include/bits/stdio_lim.h
++Expression/BufferIndex.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/BufferIndex.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/BufferIndex.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BufferIndex.o: Value/Error.h
Expression/IfThenElse.o: Expression/IfThenElse.h Expression/Expression.h
Expression/IfThenElse.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/IfThenElse.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/IfThenElse.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/IfThenElse.o: /usr/include/bits/types.h
++Expression/IfThenElse.o: /usr/include/bits/pthreadtypes.h
++Expression/IfThenElse.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/IfThenElse.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/IfThenElse.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/IfThenElse.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/IfThenElse.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/IfThenElse.o: /usr/include/bits/posix1_lim.h
++Expression/IfThenElse.o: /usr/include/bits/local_lim.h
++Expression/IfThenElse.o: /usr/include/linux/limits.h
++Expression/IfThenElse.o: /usr/include/bits/posix2_lim.h
++Expression/IfThenElse.o: /usr/include/bits/xopen_lim.h
++Expression/IfThenElse.o: /usr/include/bits/stdio_lim.h
++Expression/IfThenElse.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/IfThenElse.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/IfThenElse.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/IfThenElse.o: Value/Error.h Expression/ExpressionList.h
Expression/IfThenElse.o: parser/Printer.h parser/StringBuffer.h
++Expression/IfThenElse.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/IfThenElse.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/IfThenElse.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/IfThenElse.o: /usr/include/bits/sys_errlist.h
+Expression/IfThenElse.o: Compilation/base/CExpression.h
Expression/BooleanBinop.o: Expression/BooleanBinop.h Expression/Expression.h
Expression/BooleanBinop.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/BooleanBinop.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/BooleanBinop.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/BooleanBinop.o: /usr/include/bits/types.h
++Expression/BooleanBinop.o: /usr/include/bits/pthreadtypes.h
++Expression/BooleanBinop.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/BooleanBinop.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/BooleanBinop.o: /usr/include/sys/select.h
++Expression/BooleanBinop.o: /usr/include/bits/select.h
++Expression/BooleanBinop.o: /usr/include/bits/sigset.h
++Expression/BooleanBinop.o: /usr/include/bits/time.h
++Expression/BooleanBinop.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/BooleanBinop.o: /usr/include/bits/posix1_lim.h
++Expression/BooleanBinop.o: /usr/include/bits/local_lim.h
++Expression/BooleanBinop.o: /usr/include/linux/limits.h
++Expression/BooleanBinop.o: /usr/include/bits/posix2_lim.h
++Expression/BooleanBinop.o: /usr/include/bits/xopen_lim.h
++Expression/BooleanBinop.o: /usr/include/bits/stdio_lim.h
++Expression/BooleanBinop.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/BooleanBinop.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/BooleanBinop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/BooleanBinop.o: Value/Error.h Type/BoolType.h Value/LeafValue.h
- Expression/BooleanBinop.o: Net/Net.h Expression/Constant.h
+ Expression/BooleanBinop.o: Net/Net.h Graph/BitBuffer.h Expression/Constant.h
Expression/BooleanBinop.o: Expression/NotExpression.h
Expression/BooleanBinop.o: Net/VariableDefinition.h Automata/Property.h
Expression/BooleanBinop.o: Automata/PropertyState.h Automata/BitVector.h
Expression/BooleanBinop.o: parser/Printer.h parser/StringBuffer.h
++Expression/BooleanBinop.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/BooleanBinop.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/BooleanBinop.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/BooleanBinop.o: /usr/include/bits/sys_errlist.h
+Expression/BooleanBinop.o: Compilation/base/CExpression.h
Expression/NotExpression.o: Expression/NotExpression.h
Expression/NotExpression.o: Expression/Expression.h Type/Type.h parser/util.h
--Expression/NotExpression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
--Expression/NotExpression.o: Value/Valuation.h Value/Error.h Value/LeafValue.h
--Expression/NotExpression.o: Expression/Constant.h Automata/Property.h
--Expression/NotExpression.o: Automata/PropertyState.h Automata/BitVector.h
--Expression/NotExpression.o: parser/Printer.h parser/StringBuffer.h
++Expression/NotExpression.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/NotExpression.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/NotExpression.o: /usr/include/gnu/stubs.h
++Expression/NotExpression.o: /usr/include/bits/types.h
++Expression/NotExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/NotExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/NotExpression.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/NotExpression.o: /usr/include/sys/select.h
++Expression/NotExpression.o: /usr/include/bits/select.h
++Expression/NotExpression.o: /usr/include/bits/sigset.h
++Expression/NotExpression.o: /usr/include/bits/time.h
++Expression/NotExpression.o: /usr/include/sys/sysmacros.h
++Expression/NotExpression.o: /usr/include/limits.h
++Expression/NotExpression.o: /usr/include/bits/posix1_lim.h
++Expression/NotExpression.o: /usr/include/bits/local_lim.h
++Expression/NotExpression.o: /usr/include/linux/limits.h
++Expression/NotExpression.o: /usr/include/bits/posix2_lim.h
++Expression/NotExpression.o: /usr/include/bits/xopen_lim.h
++Expression/NotExpression.o: /usr/include/bits/stdio_lim.h
++Expression/NotExpression.o: /usr/include/bits/wordsize.h
++Expression/NotExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/NotExpression.o: /usr/include/assert.h Type/Constraint.h
++Expression/NotExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
++Expression/NotExpression.o: Value/LeafValue.h Expression/Constant.h
++Expression/NotExpression.o: Automata/Property.h Automata/PropertyState.h
++Expression/NotExpression.o: Automata/BitVector.h parser/Printer.h
++Expression/NotExpression.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/NotExpression.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/NotExpression.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/NotExpression.o: /usr/include/gconv.h
++Expression/NotExpression.o: /usr/include/bits/sys_errlist.h
+Expression/NotExpression.o: Compilation/base/CExpression.h
Expression/RelopExpression.o: Expression/RelopExpression.h
Expression/RelopExpression.o: Expression/Expression.h Type/Type.h
--Expression/RelopExpression.o: parser/util.h Type/typedefs.h Type/Constraint.h
++Expression/RelopExpression.o: parser/util.h Type/typedefs.h
++Expression/RelopExpression.o: /usr/include/sys/types.h
++Expression/RelopExpression.o: /usr/include/features.h
++Expression/RelopExpression.o: /usr/include/sys/cdefs.h
++Expression/RelopExpression.o: /usr/include/gnu/stubs.h
++Expression/RelopExpression.o: /usr/include/bits/types.h
++Expression/RelopExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/RelopExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/RelopExpression.o: /usr/include/endian.h
++Expression/RelopExpression.o: /usr/include/bits/endian.h
++Expression/RelopExpression.o: /usr/include/sys/select.h
++Expression/RelopExpression.o: /usr/include/bits/select.h
++Expression/RelopExpression.o: /usr/include/bits/sigset.h
++Expression/RelopExpression.o: /usr/include/bits/time.h
++Expression/RelopExpression.o: /usr/include/sys/sysmacros.h
++Expression/RelopExpression.o: /usr/include/limits.h
++Expression/RelopExpression.o: /usr/include/bits/posix1_lim.h
++Expression/RelopExpression.o: /usr/include/bits/local_lim.h
++Expression/RelopExpression.o: /usr/include/linux/limits.h
++Expression/RelopExpression.o: /usr/include/bits/posix2_lim.h
++Expression/RelopExpression.o: /usr/include/bits/xopen_lim.h
++Expression/RelopExpression.o: /usr/include/bits/stdio_lim.h
++Expression/RelopExpression.o: /usr/include/bits/wordsize.h
++Expression/RelopExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/RelopExpression.o: /usr/include/assert.h Type/Constraint.h
Expression/RelopExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
- Expression/RelopExpression.o: Net/Net.h Type/BoolType.h Value/LeafValue.h
- Expression/RelopExpression.o: Expression/Constant.h parser/Printer.h
- Expression/RelopExpression.o: parser/StringBuffer.h
+ Expression/RelopExpression.o: Net/Net.h Graph/BitBuffer.h Type/BoolType.h
+ Expression/RelopExpression.o: Value/LeafValue.h Expression/Constant.h
+ Expression/RelopExpression.o: parser/Printer.h parser/StringBuffer.h
++Expression/RelopExpression.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/RelopExpression.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/RelopExpression.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/RelopExpression.o: /usr/include/bits/sys_errlist.h
+Expression/RelopExpression.o: Compilation/base/CExpression.h
Expression/SetExpression.o: Expression/SetExpression.h
Expression/SetExpression.o: Expression/Expression.h Type/Type.h parser/util.h
--Expression/SetExpression.o: Type/typedefs.h Type/Constraint.h Value/Value.h
--Expression/SetExpression.o: Value/Valuation.h Value/Error.h Net/Net.h
- Expression/SetExpression.o: Type/BoolType.h Value/LeafValue.h
- Expression/SetExpression.o: Net/PlaceMarking.h parser/Printer.h
- Expression/SetExpression.o: parser/StringBuffer.h
-Expression/SetExpression.o: Graph/BitBuffer.h Expression/Constant.h
++Expression/SetExpression.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/SetExpression.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/SetExpression.o: /usr/include/gnu/stubs.h
++Expression/SetExpression.o: /usr/include/bits/types.h
++Expression/SetExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/SetExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/SetExpression.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/SetExpression.o: /usr/include/sys/select.h
++Expression/SetExpression.o: /usr/include/bits/select.h
++Expression/SetExpression.o: /usr/include/bits/sigset.h
++Expression/SetExpression.o: /usr/include/bits/time.h
++Expression/SetExpression.o: /usr/include/sys/sysmacros.h
++Expression/SetExpression.o: /usr/include/limits.h
++Expression/SetExpression.o: /usr/include/bits/posix1_lim.h
++Expression/SetExpression.o: /usr/include/bits/local_lim.h
++Expression/SetExpression.o: /usr/include/linux/limits.h
++Expression/SetExpression.o: /usr/include/bits/posix2_lim.h
++Expression/SetExpression.o: /usr/include/bits/xopen_lim.h
++Expression/SetExpression.o: /usr/include/bits/stdio_lim.h
++Expression/SetExpression.o: /usr/include/bits/wordsize.h
++Expression/SetExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/SetExpression.o: /usr/include/assert.h Type/Constraint.h
++Expression/SetExpression.o: Value/Value.h Value/Valuation.h Value/Error.h
++Expression/SetExpression.o: Net/Net.h Graph/BitBuffer.h Expression/Constant.h
+ Expression/SetExpression.o: Expression/EmptySet.h Type/BoolType.h
+ Expression/SetExpression.o: Value/LeafValue.h Net/PlaceMarking.h
+ Expression/SetExpression.o: parser/Printer.h parser/StringBuffer.h
++Expression/SetExpression.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/SetExpression.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/SetExpression.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/SetExpression.o: /usr/include/bits/sys_errlist.h
+Expression/SetExpression.o: Compilation/base/CExpression.h
Expression/TemporalUnop.o: Expression/TemporalUnop.h Expression/Expression.h
Expression/TemporalUnop.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/TemporalUnop.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/TemporalUnop.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/TemporalUnop.o: /usr/include/bits/types.h
++Expression/TemporalUnop.o: /usr/include/bits/pthreadtypes.h
++Expression/TemporalUnop.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/TemporalUnop.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/TemporalUnop.o: /usr/include/sys/select.h
++Expression/TemporalUnop.o: /usr/include/bits/select.h
++Expression/TemporalUnop.o: /usr/include/bits/sigset.h
++Expression/TemporalUnop.o: /usr/include/bits/time.h
++Expression/TemporalUnop.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/TemporalUnop.o: /usr/include/bits/posix1_lim.h
++Expression/TemporalUnop.o: /usr/include/bits/local_lim.h
++Expression/TemporalUnop.o: /usr/include/linux/limits.h
++Expression/TemporalUnop.o: /usr/include/bits/posix2_lim.h
++Expression/TemporalUnop.o: /usr/include/bits/xopen_lim.h
++Expression/TemporalUnop.o: /usr/include/bits/stdio_lim.h
++Expression/TemporalUnop.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/TemporalUnop.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/TemporalUnop.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/TemporalUnop.o: Value/Error.h Type/BoolType.h Net/Net.h
- Expression/TemporalUnop.o: Automata/Property.h Automata/PropertyState.h
- Expression/TemporalUnop.o: Automata/BitVector.h parser/Printer.h
- Expression/TemporalUnop.o: parser/StringBuffer.h
+ Expression/TemporalUnop.o: Graph/BitBuffer.h Automata/Property.h
+ Expression/TemporalUnop.o: Automata/PropertyState.h Automata/BitVector.h
+ Expression/TemporalUnop.o: parser/Printer.h parser/StringBuffer.h
++Expression/TemporalUnop.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/TemporalUnop.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/TemporalUnop.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/TemporalUnop.o: /usr/include/bits/sys_errlist.h
Expression/TemporalBinop.o: Expression/TemporalBinop.h
Expression/TemporalBinop.o: Expression/Expression.h Type/Type.h parser/util.h
--Expression/TemporalBinop.o: Type/typedefs.h Type/Constraint.h Value/Value.h
--Expression/TemporalBinop.o: Value/Valuation.h Value/Error.h Type/BoolType.h
- Expression/TemporalBinop.o: Net/Net.h Automata/Property.h
- Expression/TemporalBinop.o: Automata/PropertyState.h Automata/BitVector.h
- Expression/TemporalBinop.o: parser/Printer.h parser/StringBuffer.h
-Expression/TemporalBinop.o: Net/Net.h Graph/BitBuffer.h Automata/Property.h
-Expression/TemporalBinop.o: Automata/PropertyState.h Automata/BitVector.h
-Expression/TemporalBinop.o: parser/Printer.h parser/StringBuffer.h
++Expression/TemporalBinop.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/TemporalBinop.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/TemporalBinop.o: /usr/include/gnu/stubs.h
++Expression/TemporalBinop.o: /usr/include/bits/types.h
++Expression/TemporalBinop.o: /usr/include/bits/pthreadtypes.h
++Expression/TemporalBinop.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/TemporalBinop.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/TemporalBinop.o: /usr/include/sys/select.h
++Expression/TemporalBinop.o: /usr/include/bits/select.h
++Expression/TemporalBinop.o: /usr/include/bits/sigset.h
++Expression/TemporalBinop.o: /usr/include/bits/time.h
++Expression/TemporalBinop.o: /usr/include/sys/sysmacros.h
++Expression/TemporalBinop.o: /usr/include/limits.h
++Expression/TemporalBinop.o: /usr/include/bits/posix1_lim.h
++Expression/TemporalBinop.o: /usr/include/bits/local_lim.h
++Expression/TemporalBinop.o: /usr/include/linux/limits.h
++Expression/TemporalBinop.o: /usr/include/bits/posix2_lim.h
++Expression/TemporalBinop.o: /usr/include/bits/xopen_lim.h
++Expression/TemporalBinop.o: /usr/include/bits/stdio_lim.h
++Expression/TemporalBinop.o: /usr/include/bits/wordsize.h
++Expression/TemporalBinop.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/TemporalBinop.o: /usr/include/assert.h Type/Constraint.h
++Expression/TemporalBinop.o: Value/Value.h Value/Valuation.h Value/Error.h
++Expression/TemporalBinop.o: Type/BoolType.h Net/Net.h Graph/BitBuffer.h
++Expression/TemporalBinop.o: Automata/Property.h Automata/PropertyState.h
++Expression/TemporalBinop.o: Automata/BitVector.h parser/Printer.h
++Expression/TemporalBinop.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/TemporalBinop.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/TemporalBinop.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/TemporalBinop.o: /usr/include/gconv.h
++Expression/TemporalBinop.o: /usr/include/bits/sys_errlist.h
Expression/CardinalityExpression.o: Expression/CardinalityExpression.h
Expression/CardinalityExpression.o: Expression/Expression.h Type/Type.h
Expression/CardinalityExpression.o: parser/util.h Type/typedefs.h
--Expression/CardinalityExpression.o: Type/Constraint.h Value/Value.h
--Expression/CardinalityExpression.o: Value/Valuation.h Value/Error.h
--Expression/CardinalityExpression.o: Expression/Marking.h Net/PlaceMarking.h
- Expression/CardinalityExpression.o: Net/Net.h Type/CardType.h
-Expression/CardinalityExpression.o: Net/Net.h Graph/BitBuffer.h
-Expression/CardinalityExpression.o: Type/CardType.h Value/LeafValue.h
-Expression/CardinalityExpression.o: parser/Printer.h parser/StringBuffer.h
++Expression/CardinalityExpression.o: /usr/include/sys/types.h
++Expression/CardinalityExpression.o: /usr/include/features.h
++Expression/CardinalityExpression.o: /usr/include/sys/cdefs.h
++Expression/CardinalityExpression.o: /usr/include/gnu/stubs.h
++Expression/CardinalityExpression.o: /usr/include/bits/types.h
++Expression/CardinalityExpression.o: /usr/include/bits/pthreadtypes.h
++Expression/CardinalityExpression.o: /usr/include/bits/sched.h
++Expression/CardinalityExpression.o: /usr/include/time.h /usr/include/endian.h
++Expression/CardinalityExpression.o: /usr/include/bits/endian.h
++Expression/CardinalityExpression.o: /usr/include/sys/select.h
++Expression/CardinalityExpression.o: /usr/include/bits/select.h
++Expression/CardinalityExpression.o: /usr/include/bits/sigset.h
++Expression/CardinalityExpression.o: /usr/include/bits/time.h
++Expression/CardinalityExpression.o: /usr/include/sys/sysmacros.h
++Expression/CardinalityExpression.o: /usr/include/limits.h
++Expression/CardinalityExpression.o: /usr/include/bits/posix1_lim.h
++Expression/CardinalityExpression.o: /usr/include/bits/local_lim.h
++Expression/CardinalityExpression.o: /usr/include/linux/limits.h
++Expression/CardinalityExpression.o: /usr/include/bits/posix2_lim.h
++Expression/CardinalityExpression.o: /usr/include/bits/xopen_lim.h
++Expression/CardinalityExpression.o: /usr/include/bits/stdio_lim.h
++Expression/CardinalityExpression.o: /usr/include/bits/wordsize.h
++Expression/CardinalityExpression.o: /usr/include/string.h
++Expression/CardinalityExpression.o: /usr/include/xlocale.h
++Expression/CardinalityExpression.o: /usr/include/assert.h Type/Constraint.h
++Expression/CardinalityExpression.o: Value/Value.h Value/Valuation.h
++Expression/CardinalityExpression.o: Value/Error.h Expression/Marking.h
++Expression/CardinalityExpression.o: Net/PlaceMarking.h Net/Net.h
++Expression/CardinalityExpression.o: Graph/BitBuffer.h Type/CardType.h
+Expression/CardinalityExpression.o: Value/LeafValue.h parser/Printer.h
+Expression/CardinalityExpression.o: parser/StringBuffer.h
++Expression/CardinalityExpression.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/CardinalityExpression.o: /usr/include/_G_config.h
++Expression/CardinalityExpression.o: /usr/include/wchar.h
++Expression/CardinalityExpression.o: /usr/include/bits/wchar.h
++Expression/CardinalityExpression.o: /usr/include/gconv.h
++Expression/CardinalityExpression.o: /usr/include/bits/sys_errlist.h
+Expression/CardinalityExpression.o: Compilation/base/CExpression.h
+Expression/CardinalityExpression.o: Expression/PlaceContents.h Net/Place.h
Expression/TransitionQualifier.o: Expression/TransitionQualifier.h
Expression/TransitionQualifier.o: Expression/Expression.h Type/Type.h
Expression/TransitionQualifier.o: parser/util.h Type/typedefs.h
--Expression/TransitionQualifier.o: Type/Constraint.h Value/Value.h
--Expression/TransitionQualifier.o: Value/Valuation.h Value/Error.h Net/Net.h
-Expression/TransitionQualifier.o: Graph/BitBuffer.h Type/BoolType.h
-Expression/TransitionQualifier.o: Net/Transition.h parser/Printer.h
-Expression/TransitionQualifier.o: parser/StringBuffer.h
++Expression/TransitionQualifier.o: /usr/include/sys/types.h
++Expression/TransitionQualifier.o: /usr/include/features.h
++Expression/TransitionQualifier.o: /usr/include/sys/cdefs.h
++Expression/TransitionQualifier.o: /usr/include/gnu/stubs.h
++Expression/TransitionQualifier.o: /usr/include/bits/types.h
++Expression/TransitionQualifier.o: /usr/include/bits/pthreadtypes.h
++Expression/TransitionQualifier.o: /usr/include/bits/sched.h
++Expression/TransitionQualifier.o: /usr/include/time.h /usr/include/endian.h
++Expression/TransitionQualifier.o: /usr/include/bits/endian.h
++Expression/TransitionQualifier.o: /usr/include/sys/select.h
++Expression/TransitionQualifier.o: /usr/include/bits/select.h
++Expression/TransitionQualifier.o: /usr/include/bits/sigset.h
++Expression/TransitionQualifier.o: /usr/include/bits/time.h
++Expression/TransitionQualifier.o: /usr/include/sys/sysmacros.h
++Expression/TransitionQualifier.o: /usr/include/limits.h
++Expression/TransitionQualifier.o: /usr/include/bits/posix1_lim.h
++Expression/TransitionQualifier.o: /usr/include/bits/local_lim.h
++Expression/TransitionQualifier.o: /usr/include/linux/limits.h
++Expression/TransitionQualifier.o: /usr/include/bits/posix2_lim.h
++Expression/TransitionQualifier.o: /usr/include/bits/xopen_lim.h
++Expression/TransitionQualifier.o: /usr/include/bits/stdio_lim.h
++Expression/TransitionQualifier.o: /usr/include/bits/wordsize.h
++Expression/TransitionQualifier.o: /usr/include/string.h
++Expression/TransitionQualifier.o: /usr/include/xlocale.h
++Expression/TransitionQualifier.o: /usr/include/assert.h Type/Constraint.h
++Expression/TransitionQualifier.o: Value/Value.h Value/Valuation.h
++Expression/TransitionQualifier.o: Value/Error.h Net/Net.h Graph/BitBuffer.h
+Expression/TransitionQualifier.o: Type/BoolType.h Net/Transition.h
+Expression/TransitionQualifier.o: parser/Printer.h parser/StringBuffer.h
++Expression/TransitionQualifier.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/TransitionQualifier.o: /usr/include/_G_config.h
++Expression/TransitionQualifier.o: /usr/include/wchar.h
++Expression/TransitionQualifier.o: /usr/include/bits/wchar.h
++Expression/TransitionQualifier.o: /usr/include/gconv.h
++Expression/TransitionQualifier.o: /usr/include/bits/sys_errlist.h
Expression/PlaceContents.o: Expression/PlaceContents.h
Expression/PlaceContents.o: Expression/Expression.h Type/Type.h parser/util.h
--Expression/PlaceContents.o: Type/typedefs.h Type/Constraint.h Value/Value.h
--Expression/PlaceContents.o: Value/Valuation.h Value/Error.h Net/Place.h
--Expression/PlaceContents.o: Net/GlobalMarking.h Net/PlaceMarking.h
-Expression/PlaceContents.o: Graph/BitBuffer.h parser/Printer.h
-Expression/PlaceContents.o: parser/StringBuffer.h
++Expression/PlaceContents.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/PlaceContents.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/PlaceContents.o: /usr/include/gnu/stubs.h
++Expression/PlaceContents.o: /usr/include/bits/types.h
++Expression/PlaceContents.o: /usr/include/bits/pthreadtypes.h
++Expression/PlaceContents.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/PlaceContents.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/PlaceContents.o: /usr/include/sys/select.h
++Expression/PlaceContents.o: /usr/include/bits/select.h
++Expression/PlaceContents.o: /usr/include/bits/sigset.h
++Expression/PlaceContents.o: /usr/include/bits/time.h
++Expression/PlaceContents.o: /usr/include/sys/sysmacros.h
++Expression/PlaceContents.o: /usr/include/limits.h
++Expression/PlaceContents.o: /usr/include/bits/posix1_lim.h
++Expression/PlaceContents.o: /usr/include/bits/local_lim.h
++Expression/PlaceContents.o: /usr/include/linux/limits.h
++Expression/PlaceContents.o: /usr/include/bits/posix2_lim.h
++Expression/PlaceContents.o: /usr/include/bits/xopen_lim.h
++Expression/PlaceContents.o: /usr/include/bits/stdio_lim.h
++Expression/PlaceContents.o: /usr/include/bits/wordsize.h
++Expression/PlaceContents.o: /usr/include/string.h /usr/include/xlocale.h
++Expression/PlaceContents.o: /usr/include/assert.h Type/Constraint.h
++Expression/PlaceContents.o: Value/Value.h Value/Valuation.h Value/Error.h
++Expression/PlaceContents.o: Net/Place.h Net/GlobalMarking.h
++Expression/PlaceContents.o: Net/PlaceMarking.h Graph/BitBuffer.h
+Expression/PlaceContents.o: parser/Printer.h parser/StringBuffer.h
++Expression/PlaceContents.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/PlaceContents.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/PlaceContents.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/PlaceContents.o: /usr/include/bits/sys_errlist.h
+Expression/PlaceContents.o: Compilation/base/CExpression.h
Expression/Submarking.o: Expression/Submarking.h Expression/Expression.h
Expression/Submarking.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Submarking.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Submarking.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Submarking.o: /usr/include/bits/types.h
++Expression/Submarking.o: /usr/include/bits/pthreadtypes.h
++Expression/Submarking.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Submarking.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Submarking.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Submarking.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Submarking.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Submarking.o: /usr/include/bits/posix1_lim.h
++Expression/Submarking.o: /usr/include/bits/local_lim.h
++Expression/Submarking.o: /usr/include/linux/limits.h
++Expression/Submarking.o: /usr/include/bits/posix2_lim.h
++Expression/Submarking.o: /usr/include/bits/xopen_lim.h
++Expression/Submarking.o: /usr/include/bits/stdio_lim.h
++Expression/Submarking.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Submarking.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Submarking.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Submarking.o: Value/Error.h Net/VariableDefinition.h
Expression/Submarking.o: Net/PlaceMarking.h Expression/Substitution.h
Expression/Submarking.o: Expression/Variable.h Value/LeafValue.h
Expression/Submarking.o: parser/Printer.h parser/StringBuffer.h
++Expression/Submarking.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/Submarking.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/Submarking.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/Submarking.o: /usr/include/bits/sys_errlist.h
+Expression/Submarking.o: Compilation/base/CExpression.h
Expression/Mapping.o: Expression/Mapping.h Expression/Expression.h
Expression/Mapping.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Mapping.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Mapping.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Mapping.o: /usr/include/bits/types.h
++Expression/Mapping.o: /usr/include/bits/pthreadtypes.h
++Expression/Mapping.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Mapping.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Mapping.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Mapping.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Mapping.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Mapping.o: /usr/include/bits/posix1_lim.h
++Expression/Mapping.o: /usr/include/bits/local_lim.h
++Expression/Mapping.o: /usr/include/linux/limits.h
++Expression/Mapping.o: /usr/include/bits/posix2_lim.h
++Expression/Mapping.o: /usr/include/bits/xopen_lim.h
++Expression/Mapping.o: /usr/include/bits/stdio_lim.h
++Expression/Mapping.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Mapping.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Mapping.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Mapping.o: Value/Error.h Expression/Marking.h
Expression/Mapping.o: Net/VariableDefinition.h Net/PlaceMarking.h
Expression/Mapping.o: Value/LeafValue.h Expression/Substitution.h
Expression/Mapping.o: Expression/Variable.h parser/Printer.h
- Expression/Mapping.o: parser/StringBuffer.h Compilation/base/CExpression.h
- Expression/Mapping.o: Expression/Constant.h Expression/PlaceContents.h
- Expression/Mapping.o: Net/Place.h
-Expression/Mapping.o: parser/StringBuffer.h
++Expression/Mapping.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/Mapping.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/Mapping.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/Mapping.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Expression/Mapping.o: Compilation/base/CExpression.h Expression/Constant.h
++Expression/Mapping.o: Expression/PlaceContents.h Net/Place.h
Expression/EmptySet.o: Expression/EmptySet.h Expression/Expression.h
Expression/EmptySet.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/EmptySet.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/EmptySet.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/EmptySet.o: /usr/include/bits/types.h
++Expression/EmptySet.o: /usr/include/bits/pthreadtypes.h
++Expression/EmptySet.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/EmptySet.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/EmptySet.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/EmptySet.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/EmptySet.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/EmptySet.o: /usr/include/bits/posix1_lim.h
++Expression/EmptySet.o: /usr/include/bits/local_lim.h
++Expression/EmptySet.o: /usr/include/linux/limits.h
++Expression/EmptySet.o: /usr/include/bits/posix2_lim.h
++Expression/EmptySet.o: /usr/include/bits/xopen_lim.h
++Expression/EmptySet.o: /usr/include/bits/stdio_lim.h
++Expression/EmptySet.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/EmptySet.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/EmptySet.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/EmptySet.o: Value/Error.h Net/PlaceMarking.h parser/Printer.h
--Expression/EmptySet.o: parser/StringBuffer.h
++Expression/EmptySet.o: parser/StringBuffer.h /usr/include/stdio.h
++Expression/EmptySet.o: /usr/include/libio.h /usr/include/_G_config.h
++Expression/EmptySet.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Expression/EmptySet.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
Expression/Quantifier.o: Expression/Quantifier.h Expression/Expression.h
Expression/Quantifier.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Quantifier.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Quantifier.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Quantifier.o: /usr/include/bits/types.h
++Expression/Quantifier.o: /usr/include/bits/pthreadtypes.h
++Expression/Quantifier.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Quantifier.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Quantifier.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Quantifier.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Quantifier.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Quantifier.o: /usr/include/bits/posix1_lim.h
++Expression/Quantifier.o: /usr/include/bits/local_lim.h
++Expression/Quantifier.o: /usr/include/linux/limits.h
++Expression/Quantifier.o: /usr/include/bits/posix2_lim.h
++Expression/Quantifier.o: /usr/include/bits/xopen_lim.h
++Expression/Quantifier.o: /usr/include/bits/stdio_lim.h
++Expression/Quantifier.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Quantifier.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Quantifier.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Quantifier.o: Value/Error.h Net/VariableDefinition.h
Expression/Quantifier.o: Value/LeafValue.h
Expression/Marking.o: Expression/Marking.h Expression/Expression.h
Expression/Marking.o: Type/Type.h parser/util.h Type/typedefs.h
++Expression/Marking.o: /usr/include/sys/types.h /usr/include/features.h
++Expression/Marking.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Expression/Marking.o: /usr/include/bits/types.h
++Expression/Marking.o: /usr/include/bits/pthreadtypes.h
++Expression/Marking.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Marking.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Marking.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Marking.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Marking.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Marking.o: /usr/include/bits/posix1_lim.h
++Expression/Marking.o: /usr/include/bits/local_lim.h
++Expression/Marking.o: /usr/include/linux/limits.h
++Expression/Marking.o: /usr/include/bits/posix2_lim.h
++Expression/Marking.o: /usr/include/bits/xopen_lim.h
++Expression/Marking.o: /usr/include/bits/stdio_lim.h
++Expression/Marking.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Expression/Marking.o: /usr/include/xlocale.h /usr/include/assert.h
Expression/Marking.o: Type/Constraint.h Value/Value.h Value/Valuation.h
Expression/Marking.o: Value/Error.h Net/PlaceMarking.h Value/LeafValue.h
Expression/Marking.o: Net/Place.h Expression/Constant.h Net/Net.h
- Expression/Marking.o: Type/CardType.h Expression/ExpressionList.h
- Expression/Marking.o: Expression/IfThenElse.h Expression/Typecast.h
- Expression/Marking.o: Net/VariableDefinition.h Expression/ExpressionMSet.h
- Expression/Marking.o: Expression/EmptySet.h parser/Printer.h
- Expression/Marking.o: parser/StringBuffer.h Compilation/base/CExpression.h
+ Expression/Marking.o: Graph/BitBuffer.h Type/CardType.h
+ Expression/Marking.o: Expression/ExpressionList.h Expression/IfThenElse.h
+ Expression/Marking.o: Expression/Typecast.h Net/VariableDefinition.h
+ Expression/Marking.o: Expression/ExpressionMSet.h Expression/EmptySet.h
+ Expression/Marking.o: parser/Printer.h parser/StringBuffer.h
++Expression/Marking.o: /usr/include/stdio.h /usr/include/libio.h
++Expression/Marking.o: /usr/include/_G_config.h /usr/include/wchar.h
++Expression/Marking.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Expression/Marking.o: /usr/include/bits/sys_errlist.h
++Expression/Marking.o: Compilation/base/CExpression.h
Expression/Token.o: Expression/Token.h Net/GlobalMarking.h Net/PlaceMarking.h
- Expression/Token.o: Value/Value.h Type/typedefs.h Expression/Marking.h
- Expression/Token.o: Expression/Expression.h Type/Type.h parser/util.h
- Expression/Token.o: Type/Constraint.h Value/Valuation.h Value/Error.h
- Expression/Token.o: Expression/VariableSet.h
-Expression/Token.o: Value/Value.h Type/typedefs.h Graph/BitBuffer.h
++Expression/Token.o: Value/Value.h /usr/include/assert.h
++Expression/Token.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/Token.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Expression/Token.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Expression/Token.o: /usr/include/bits/pthreadtypes.h
++Expression/Token.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/Token.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/Token.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Expression/Token.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/Token.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/Token.o: /usr/include/bits/posix1_lim.h
++Expression/Token.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Expression/Token.o: /usr/include/bits/posix2_lim.h
++Expression/Token.o: /usr/include/bits/xopen_lim.h
++Expression/Token.o: /usr/include/bits/stdio_lim.h
++Expression/Token.o: /usr/include/bits/wordsize.h Graph/BitBuffer.h
++Expression/Token.o: /usr/include/string.h /usr/include/xlocale.h
+ Expression/Token.o: Expression/Marking.h Expression/Expression.h Type/Type.h
+ Expression/Token.o: parser/util.h Type/Constraint.h Value/Valuation.h
+ Expression/Token.o: Value/Error.h Expression/VariableSet.h
++Expression/Token.o: Net/VariableDefinition.h
Expression/VariableSet.o: Expression/VariableSet.h Net/VariableDefinition.h
--Expression/VariableSet.o: Type/typedefs.h
--Net/LNet.o: Net/LNet.h Graph/BitBuffer.h Type/typedefs.h Net/GlobalMarking.h
--Net/LNet.o: Net/PlaceMarking.h Value/Value.h Net/Net.h parser/util.h
--Net/LNet.o: Net/Transition.h Value/Error.h Type/Constraint.h parser/Printer.h
- Net/LNet.o: parser/StringBuffer.h Net/Place.h Graph/Graph.h Graph/file.h
-Net/LNet.o: parser/StringBuffer.h Net/Place.h Value/Valuation.h Type/Type.h
-Net/LNet.o: Automata/BitVector.h Graph/DummyReporter.h Graph/StateReporter.h
-Net/LNet.o: Graph/Search.h
-Net/Net.o: Net/Net.h parser/util.h Type/typedefs.h Graph/BitBuffer.h
-Net/Net.o: Net/Place.h Net/Transition.h Value/Error.h Net/Arc.h Type/Type.h
-Net/Net.o: Type/BoolType.h Type/IntType.h Type/CardType.h Type/CharType.h
-Net/Net.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
-Net/Net.o: Expression/Marking.h Expression/Expression.h Type/Constraint.h
-Net/Net.o: Value/Valuation.h Expression/Constant.h Net/VariableDefinition.h
++Expression/VariableSet.o: Type/typedefs.h /usr/include/sys/types.h
++Expression/VariableSet.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Expression/VariableSet.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Expression/VariableSet.o: /usr/include/bits/pthreadtypes.h
++Expression/VariableSet.o: /usr/include/bits/sched.h /usr/include/time.h
++Expression/VariableSet.o: /usr/include/endian.h /usr/include/bits/endian.h
++Expression/VariableSet.o: /usr/include/sys/select.h
++Expression/VariableSet.o: /usr/include/bits/select.h
++Expression/VariableSet.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Expression/VariableSet.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Expression/VariableSet.o: /usr/include/bits/posix1_lim.h
++Expression/VariableSet.o: /usr/include/bits/local_lim.h
++Expression/VariableSet.o: /usr/include/linux/limits.h
++Expression/VariableSet.o: /usr/include/bits/posix2_lim.h
++Expression/VariableSet.o: /usr/include/bits/xopen_lim.h
++Expression/VariableSet.o: /usr/include/bits/stdio_lim.h
++Expression/VariableSet.o: /usr/include/bits/wordsize.h
++Net/LNet.o: Net/LNet.h /usr/include/string.h /usr/include/features.h
++Net/LNet.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Net/LNet.o: /usr/include/xlocale.h /usr/include/stdio.h
++Net/LNet.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Net/LNet.o: /usr/include/bits/sched.h /usr/include/libio.h
++Net/LNet.o: /usr/include/_G_config.h /usr/include/wchar.h
++Net/LNet.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Net/LNet.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
++Net/LNet.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Net/LNet.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Net/LNet.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Net/LNet.o: /usr/include/bits/wordsize.h Graph/BitBuffer.h Type/typedefs.h
++Net/LNet.o: /usr/include/sys/types.h /usr/include/time.h
++Net/LNet.o: /usr/include/endian.h /usr/include/bits/endian.h
++Net/LNet.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Net/LNet.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Net/LNet.o: /usr/include/sys/sysmacros.h /usr/include/assert.h
++Net/LNet.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h Net/Net.h
++Net/LNet.o: parser/util.h Net/Transition.h Value/Error.h Type/Constraint.h
++Net/LNet.o: parser/Printer.h parser/StringBuffer.h Net/Place.h
+Net/LNet.o: Value/Valuation.h Type/Type.h Automata/BitVector.h
+Net/LNet.o: Graph/DummyReporter.h Graph/StateReporter.h Graph/Search.h
- Net/Net.o: Net/Net.h parser/util.h Type/typedefs.h Net/Place.h
- Net/Net.o: Net/Transition.h Value/Error.h Type/Type.h Type/BoolType.h
- Net/Net.o: Type/IntType.h Type/CardType.h Type/CharType.h Net/GlobalMarking.h
++Net/Net.o: Net/Net.h /usr/include/assert.h /usr/include/features.h
++Net/Net.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Net/Net.o: /usr/include/string.h /usr/include/xlocale.h parser/util.h
++Net/Net.o: Type/typedefs.h /usr/include/sys/types.h /usr/include/bits/types.h
++Net/Net.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Net/Net.o: /usr/include/time.h /usr/include/endian.h
++Net/Net.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Net/Net.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Net/Net.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Net/Net.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Net/Net.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Net/Net.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Net/Net.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Net/Net.o: Graph/BitBuffer.h Net/Place.h Net/Transition.h Value/Error.h
++Net/Net.o: Net/Arc.h Type/Type.h Type/BoolType.h Type/IntType.h
++Net/Net.o: Type/CardType.h Type/CharType.h Net/GlobalMarking.h
+Net/Net.o: Net/PlaceMarking.h Value/Value.h Expression/Marking.h
+Net/Net.o: Expression/Expression.h Type/Constraint.h Value/Valuation.h
- Net/Net.o: Expression/Constant.h Graph/Graph.h Graph/BitBuffer.h Graph/file.h
- Net/Net.o: Graph/Search.h Expression/Function.h Expression/BooleanBinop.h
++Net/Net.o: Expression/Constant.h Net/VariableDefinition.h
+ Net/Net.o: Expression/Function.h Expression/BooleanBinop.h
Net/Net.o: Expression/PlaceContents.h Value/LeafValue.h
Net/Net.o: Expression/Quantifier.h parser/Printer.h parser/StringBuffer.h
++Net/Net.o: /usr/include/stdio.h /usr/include/libio.h /usr/include/_G_config.h
++Net/Net.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Net/Net.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
Net/Net.o: Graph/StateSet.h Graph/StateList.h Automata/Property.h
Net/Net.o: Automata/PropertyState.h Automata/BitVector.h parser/Dotty.h
-Net/Place.o: Net/Place.h Type/typedefs.h Type/Constraint.h Net/Arc.h
-Net/Place.o: Expression/Marking.h Expression/Expression.h Type/Type.h
-Net/Place.o: parser/util.h Value/Value.h Value/Valuation.h Value/Error.h
-Net/Place.o: Type/CardType.h Value/LeafValue.h Net/PlaceMarking.h
-Net/Place.o: parser/Printer.h parser/StringBuffer.h
-Net/Transition.o: Net/Transition.h parser/util.h Type/typedefs.h
-Net/Transition.o: Value/Error.h Net/Place.h Net/Arc.h Expression/Constant.h
-Net/Transition.o: Expression/Expression.h Type/Type.h Type/Constraint.h
-Net/Transition.o: Value/Value.h Value/Valuation.h Net/VariableDefinition.h
+Net/Net.o: Compilation/base/Compilation.h Compilation/base/CExpression.h
- Net/Place.o: Net/Place.h Type/typedefs.h Type/Constraint.h Net/Arc.h
- Net/Place.o: Expression/Marking.h Expression/Expression.h Type/Type.h
- Net/Place.o: parser/util.h Value/Value.h Value/Valuation.h Value/Error.h
- Net/Place.o: Type/CardType.h Value/LeafValue.h Net/PlaceMarking.h
- Net/Place.o: parser/Printer.h parser/StringBuffer.h
- Net/Transition.o: Net/Transition.h parser/util.h Type/typedefs.h
- Net/Transition.o: Value/Error.h Net/Place.h Net/Arc.h Expression/Constant.h
- Net/Transition.o: Expression/Expression.h Type/Type.h Type/Constraint.h
- Net/Transition.o: Value/Value.h Value/Valuation.h Net/VariableDefinition.h
++Net/Place.o: Net/Place.h Type/typedefs.h /usr/include/sys/types.h
++Net/Place.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Net/Place.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Net/Place.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Net/Place.o: /usr/include/time.h /usr/include/endian.h
++Net/Place.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Net/Place.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Net/Place.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Net/Place.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Net/Place.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Net/Place.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Net/Place.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Net/Place.o: Type/Constraint.h Net/Arc.h Expression/Marking.h
++Net/Place.o: Expression/Expression.h Type/Type.h parser/util.h
++Net/Place.o: /usr/include/string.h /usr/include/xlocale.h
++Net/Place.o: /usr/include/assert.h Value/Value.h Value/Valuation.h
++Net/Place.o: Value/Error.h Type/CardType.h Value/LeafValue.h
++Net/Place.o: Net/PlaceMarking.h parser/Printer.h parser/StringBuffer.h
++Net/Place.o: /usr/include/stdio.h /usr/include/libio.h
++Net/Place.o: /usr/include/_G_config.h /usr/include/wchar.h
++Net/Place.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Net/Place.o: /usr/include/bits/sys_errlist.h
++Net/Transition.o: Net/Transition.h /usr/include/string.h
++Net/Transition.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Net/Transition.o: /usr/include/gnu/stubs.h /usr/include/xlocale.h
++Net/Transition.o: /usr/include/assert.h parser/util.h Type/typedefs.h
++Net/Transition.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Net/Transition.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Net/Transition.o: /usr/include/time.h /usr/include/endian.h
++Net/Transition.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Net/Transition.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Net/Transition.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Net/Transition.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Net/Transition.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Net/Transition.o: /usr/include/bits/posix2_lim.h
++Net/Transition.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Net/Transition.o: /usr/include/bits/wordsize.h Value/Error.h Net/Place.h
++Net/Transition.o: Net/Arc.h Expression/Constant.h Expression/Expression.h
++Net/Transition.o: Type/Type.h Type/Constraint.h Value/Value.h
++Net/Transition.o: Value/Valuation.h Net/VariableDefinition.h
Net/Transition.o: Expression/VariableSet.h Value/LeafValue.h
Net/Transition.o: Expression/Token.h Net/GlobalMarking.h Net/PlaceMarking.h
- Net/Transition.o: Expression/Marking.h Expression/Substitution.h
- Net/Transition.o: Expression/BooleanBinop.h Expression/Function.h
- Net/Transition.o: Expression/Quantifier.h parser/Printer.h
- Net/Transition.o: parser/StringBuffer.h Graph/DummyReporter.h
- Net/Transition.o: Graph/StateReporter.h Graph/BitBuffer.h Graph/Search.h
- Net/Transition.o: Graph/Graph.h Graph/file.h Net/Net.h Net/LNet.h
- Net/Transition.o: Automata/BitVector.h Expression/Variable.h
- Net/Transition.o: Expression/PlaceContents.h Automata/Property.h
- Net/Transition.o: Automata/PropertyState.h Compilation/base/CExpression.h
+ Net/Transition.o: Graph/BitBuffer.h Expression/Marking.h
+ Net/Transition.o: Expression/Substitution.h Expression/BooleanBinop.h
+ Net/Transition.o: Expression/Function.h Expression/Quantifier.h
-Net/Transition.o: parser/Printer.h parser/StringBuffer.h
++Net/Transition.o: parser/Printer.h parser/StringBuffer.h /usr/include/stdio.h
++Net/Transition.o: /usr/include/libio.h /usr/include/_G_config.h
++Net/Transition.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Net/Transition.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
+ Net/Transition.o: Graph/DummyReporter.h Graph/StateReporter.h Graph/Search.h
+ Net/Transition.o: Net/Net.h Net/LNet.h Automata/BitVector.h
+ Net/Transition.o: Expression/Variable.h Expression/PlaceContents.h
+ Net/Transition.o: Automata/Property.h Automata/PropertyState.h
++Net/Transition.o: Compilation/base/CExpression.h
Net/Arc.o: Net/Arc.h Expression/Marking.h Expression/Expression.h Type/Type.h
--Net/Arc.o: parser/util.h Type/typedefs.h Type/Constraint.h Value/Value.h
- Net/Arc.o: Value/Valuation.h Value/Error.h
- Net/PlaceMarking.o: Net/PlaceMarking.h Value/Value.h Type/typedefs.h
- Net/PlaceMarking.o: Net/Place.h parser/Printer.h parser/StringBuffer.h
-Net/Arc.o: Value/Valuation.h Value/Error.h Net/Place.h
-Net/PlaceMarking.o: Net/PlaceMarking.h Value/Value.h Type/typedefs.h
-Net/PlaceMarking.o: Net/Place.h Graph/BitBuffer.h Expression/Marking.h
++Net/Arc.o: parser/util.h Type/typedefs.h /usr/include/sys/types.h
++Net/Arc.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Net/Arc.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Net/Arc.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Net/Arc.o: /usr/include/time.h /usr/include/endian.h
++Net/Arc.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Net/Arc.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Net/Arc.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Net/Arc.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Net/Arc.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Net/Arc.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Net/Arc.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Net/Arc.o: /usr/include/string.h /usr/include/xlocale.h /usr/include/assert.h
++Net/Arc.o: Type/Constraint.h Value/Value.h Value/Valuation.h Value/Error.h
++Net/Arc.o: Net/Place.h
++Net/PlaceMarking.o: Net/PlaceMarking.h Value/Value.h /usr/include/assert.h
++Net/PlaceMarking.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Net/PlaceMarking.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Net/PlaceMarking.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Net/PlaceMarking.o: /usr/include/bits/pthreadtypes.h
++Net/PlaceMarking.o: /usr/include/bits/sched.h /usr/include/time.h
++Net/PlaceMarking.o: /usr/include/endian.h /usr/include/bits/endian.h
++Net/PlaceMarking.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Net/PlaceMarking.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Net/PlaceMarking.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Net/PlaceMarking.o: /usr/include/bits/posix1_lim.h
++Net/PlaceMarking.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Net/PlaceMarking.o: /usr/include/bits/posix2_lim.h
++Net/PlaceMarking.o: /usr/include/bits/xopen_lim.h
++Net/PlaceMarking.o: /usr/include/bits/stdio_lim.h
++Net/PlaceMarking.o: /usr/include/bits/wordsize.h Net/Place.h
++Net/PlaceMarking.o: Graph/BitBuffer.h /usr/include/string.h
++Net/PlaceMarking.o: /usr/include/xlocale.h Expression/Marking.h
+ Net/PlaceMarking.o: Expression/Expression.h Type/Type.h parser/util.h
+ Net/PlaceMarking.o: Type/Constraint.h Value/Valuation.h Value/Error.h
+ Net/PlaceMarking.o: Type/CardType.h parser/Printer.h parser/StringBuffer.h
++Net/PlaceMarking.o: /usr/include/stdio.h /usr/include/libio.h
++Net/PlaceMarking.o: /usr/include/_G_config.h /usr/include/wchar.h
++Net/PlaceMarking.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Net/PlaceMarking.o: /usr/include/bits/sys_errlist.h
Net/GlobalMarking.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
- Net/GlobalMarking.o: Type/typedefs.h Net/Net.h parser/util.h Net/Place.h
- Net/GlobalMarking.o: parser/Printer.h parser/StringBuffer.h
-Net/GlobalMarking.o: Type/typedefs.h Graph/BitBuffer.h Net/Net.h
++Net/GlobalMarking.o: /usr/include/assert.h /usr/include/features.h
++Net/GlobalMarking.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Net/GlobalMarking.o: Type/typedefs.h /usr/include/sys/types.h
++Net/GlobalMarking.o: /usr/include/bits/types.h
++Net/GlobalMarking.o: /usr/include/bits/pthreadtypes.h
++Net/GlobalMarking.o: /usr/include/bits/sched.h /usr/include/time.h
++Net/GlobalMarking.o: /usr/include/endian.h /usr/include/bits/endian.h
++Net/GlobalMarking.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Net/GlobalMarking.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Net/GlobalMarking.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Net/GlobalMarking.o: /usr/include/bits/posix1_lim.h
++Net/GlobalMarking.o: /usr/include/bits/local_lim.h
++Net/GlobalMarking.o: /usr/include/linux/limits.h
++Net/GlobalMarking.o: /usr/include/bits/posix2_lim.h
++Net/GlobalMarking.o: /usr/include/bits/xopen_lim.h
++Net/GlobalMarking.o: /usr/include/bits/stdio_lim.h
++Net/GlobalMarking.o: /usr/include/bits/wordsize.h Graph/BitBuffer.h
++Net/GlobalMarking.o: /usr/include/string.h /usr/include/xlocale.h Net/Net.h
+ Net/GlobalMarking.o: parser/util.h Net/Place.h Value/Valuation.h
+ Net/GlobalMarking.o: Value/Error.h Expression/Marking.h
+ Net/GlobalMarking.o: Expression/Expression.h Type/Type.h Type/Constraint.h
+ Net/GlobalMarking.o: Value/LeafValue.h parser/Printer.h parser/StringBuffer.h
++Net/GlobalMarking.o: /usr/include/stdio.h /usr/include/libio.h
++Net/GlobalMarking.o: /usr/include/_G_config.h /usr/include/wchar.h
++Net/GlobalMarking.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Net/GlobalMarking.o: /usr/include/bits/sys_errlist.h
Net/VariableDefinition.o: Net/VariableDefinition.h Type/typedefs.h
--Net/VariableDefinition.o: Expression/Marking.h Expression/Expression.h
--Net/VariableDefinition.o: Type/Type.h parser/util.h Type/Constraint.h
++Net/VariableDefinition.o: /usr/include/sys/types.h /usr/include/features.h
++Net/VariableDefinition.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Net/VariableDefinition.o: /usr/include/bits/types.h
++Net/VariableDefinition.o: /usr/include/bits/pthreadtypes.h
++Net/VariableDefinition.o: /usr/include/bits/sched.h /usr/include/time.h
++Net/VariableDefinition.o: /usr/include/endian.h /usr/include/bits/endian.h
++Net/VariableDefinition.o: /usr/include/sys/select.h
++Net/VariableDefinition.o: /usr/include/bits/select.h
++Net/VariableDefinition.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Net/VariableDefinition.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Net/VariableDefinition.o: /usr/include/bits/posix1_lim.h
++Net/VariableDefinition.o: /usr/include/bits/local_lim.h
++Net/VariableDefinition.o: /usr/include/linux/limits.h
++Net/VariableDefinition.o: /usr/include/bits/posix2_lim.h
++Net/VariableDefinition.o: /usr/include/bits/xopen_lim.h
++Net/VariableDefinition.o: /usr/include/bits/stdio_lim.h
++Net/VariableDefinition.o: /usr/include/bits/wordsize.h Expression/Marking.h
++Net/VariableDefinition.o: Expression/Expression.h Type/Type.h parser/util.h
++Net/VariableDefinition.o: /usr/include/string.h /usr/include/xlocale.h
++Net/VariableDefinition.o: /usr/include/assert.h Type/Constraint.h
Net/VariableDefinition.o: Value/Value.h Value/Valuation.h Value/Error.h
Net/VariableDefinition.o: Type/VectorType.h Value/VectorValue.h
Net/VariableDefinition.o: Value/ValueList.h Type/StructType.h
Net/VariableDefinition.o: Type/ComponentList.h Value/StructValue.h
Net/VariableDefinition.o: Type/UnionType.h Value/UnionValue.h
--Type/Type.o: Type/UnionType.h Type/ComponentList.h Type/Type.h parser/util.h
--Type/Type.o: Type/typedefs.h Type/Constraint.h Type/Range.h Value/Value.h
- Type/Type.o: parser/Printer.h parser/StringBuffer.h Net/Net.h
-Type/Type.o: parser/Printer.h parser/StringBuffer.h
++Type/Type.o: Type/UnionType.h Type/ComponentList.h /usr/include/assert.h
++Type/Type.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Type/Type.o: /usr/include/gnu/stubs.h Type/Type.h parser/util.h
++Type/Type.o: Type/typedefs.h /usr/include/sys/types.h
++Type/Type.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/Type.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/Type.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/Type.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/Type.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/Type.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/Type.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Type/Type.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Type/Type.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/Type.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/Type.o: /usr/include/xlocale.h Type/Constraint.h Type/Range.h
++Type/Type.o: Value/Value.h parser/Printer.h parser/StringBuffer.h
++Type/Type.o: /usr/include/stdio.h /usr/include/libio.h
++Type/Type.o: /usr/include/_G_config.h /usr/include/wchar.h
++Type/Type.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Type/Type.o: /usr/include/bits/sys_errlist.h Net/Net.h Graph/BitBuffer.h
+Type/Type.o: Compilation/base/CExpression.h Value/Error.h
Type/IntType.o: Type/IntType.h Type/Type.h parser/util.h Type/typedefs.h
++Type/IntType.o: /usr/include/sys/types.h /usr/include/features.h
++Type/IntType.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/IntType.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/IntType.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/IntType.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/IntType.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/IntType.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/IntType.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/IntType.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Type/IntType.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Type/IntType.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/IntType.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/IntType.o: /usr/include/xlocale.h /usr/include/assert.h
Type/IntType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/IntType.o: Type/Range.h
+Type/IntType.o: Type/Range.h parser/StringBuffer.h
Type/CardType.o: Type/CardType.h Type/Type.h parser/util.h Type/typedefs.h
++Type/CardType.o: /usr/include/sys/types.h /usr/include/features.h
++Type/CardType.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/CardType.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/CardType.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/CardType.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/CardType.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/CardType.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/CardType.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/CardType.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Type/CardType.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Type/CardType.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/CardType.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/CardType.o: /usr/include/xlocale.h /usr/include/assert.h
Type/CardType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/CardType.o: Type/Range.h
+Type/CardType.o: Type/Range.h parser/StringBuffer.h
Type/BoolType.o: Type/BoolType.h Type/Type.h parser/util.h Type/typedefs.h
++Type/BoolType.o: /usr/include/sys/types.h /usr/include/features.h
++Type/BoolType.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/BoolType.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/BoolType.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/BoolType.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/BoolType.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/BoolType.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/BoolType.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/BoolType.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Type/BoolType.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Type/BoolType.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/BoolType.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/BoolType.o: /usr/include/xlocale.h /usr/include/assert.h
Type/BoolType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/BoolType.o: Type/Range.h
+Type/BoolType.o: Type/Range.h parser/StringBuffer.h
Type/CharType.o: Type/CharType.h Type/Type.h parser/util.h Type/typedefs.h
++Type/CharType.o: /usr/include/sys/types.h /usr/include/features.h
++Type/CharType.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/CharType.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/CharType.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/CharType.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/CharType.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/CharType.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/CharType.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/CharType.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Type/CharType.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Type/CharType.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/CharType.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/CharType.o: /usr/include/xlocale.h /usr/include/assert.h
Type/CharType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
-Type/CharType.o: Type/Range.h
+Type/CharType.o: Type/Range.h parser/StringBuffer.h
Type/EnumType.o: Type/EnumType.h Type/Type.h parser/util.h Type/typedefs.h
++Type/EnumType.o: /usr/include/sys/types.h /usr/include/features.h
++Type/EnumType.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/EnumType.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/EnumType.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/EnumType.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/EnumType.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/EnumType.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/EnumType.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/EnumType.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Type/EnumType.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Type/EnumType.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/EnumType.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/EnumType.o: /usr/include/xlocale.h /usr/include/assert.h
Type/EnumType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h
--Type/EnumType.o: parser/Printer.h parser/StringBuffer.h
++Type/EnumType.o: parser/Printer.h parser/StringBuffer.h /usr/include/stdio.h
++Type/EnumType.o: /usr/include/libio.h /usr/include/_G_config.h
++Type/EnumType.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Type/EnumType.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
Type/IdType.o: Type/IdType.h Type/Type.h parser/util.h Type/typedefs.h
--Type/IdType.o: Value/LeafValue.h Value/Value.h Type/Constraint.h Type/Range.h
--Type/IdType.o: parser/Printer.h parser/StringBuffer.h
--Type/StructType.o: Type/StructType.h Type/ComponentList.h Type/Type.h
--Type/StructType.o: parser/util.h Type/typedefs.h Value/StructValue.h
--Type/StructType.o: Value/Value.h Value/ValueList.h Type/Constraint.h
--Type/StructType.o: parser/Printer.h parser/StringBuffer.h
-Type/UnionType.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
-Type/UnionType.o: parser/util.h Type/typedefs.h Value/UnionValue.h
-Type/UnionType.o: Value/Value.h Type/Constraint.h parser/Printer.h
-Type/UnionType.o: parser/StringBuffer.h
++Type/IdType.o: /usr/include/sys/types.h /usr/include/features.h
++Type/IdType.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/IdType.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/IdType.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/IdType.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/IdType.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/IdType.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/IdType.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/IdType.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Type/IdType.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Type/IdType.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/IdType.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/IdType.o: /usr/include/xlocale.h /usr/include/assert.h Value/LeafValue.h
++Type/IdType.o: Value/Value.h Type/Constraint.h Type/Range.h parser/Printer.h
++Type/IdType.o: parser/StringBuffer.h /usr/include/stdio.h
++Type/IdType.o: /usr/include/libio.h /usr/include/_G_config.h
++Type/IdType.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Type/IdType.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Type/StructType.o: Type/StructType.h Type/ComponentList.h
++Type/StructType.o: /usr/include/assert.h /usr/include/features.h
++Type/StructType.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/StructType.o: Type/Type.h parser/util.h Type/typedefs.h
++Type/StructType.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Type/StructType.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Type/StructType.o: /usr/include/time.h /usr/include/endian.h
++Type/StructType.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Type/StructType.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Type/StructType.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Type/StructType.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Type/StructType.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Type/StructType.o: /usr/include/bits/posix2_lim.h
++Type/StructType.o: /usr/include/bits/xopen_lim.h
++Type/StructType.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Type/StructType.o: /usr/include/string.h /usr/include/xlocale.h
++Type/StructType.o: Value/StructValue.h Value/Value.h Value/ValueList.h
++Type/StructType.o: Type/Constraint.h parser/Printer.h parser/StringBuffer.h
++Type/StructType.o: /usr/include/stdio.h /usr/include/libio.h
++Type/StructType.o: /usr/include/_G_config.h /usr/include/wchar.h
++Type/StructType.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Type/StructType.o: /usr/include/bits/sys_errlist.h
+Type/StructType.o: Compilation/base/CExpression.h Value/Error.h
- Type/UnionType.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
- Type/UnionType.o: parser/util.h Type/typedefs.h Value/UnionValue.h
- Type/UnionType.o: Value/Value.h Type/Constraint.h parser/Printer.h
- Type/UnionType.o: parser/StringBuffer.h Compilation/base/CExpression.h
- Type/UnionType.o: Value/Error.h
++Type/UnionType.o: Type/UnionType.h Type/ComponentList.h /usr/include/assert.h
++Type/UnionType.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Type/UnionType.o: /usr/include/gnu/stubs.h Type/Type.h parser/util.h
++Type/UnionType.o: Type/typedefs.h /usr/include/sys/types.h
++Type/UnionType.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Type/UnionType.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/UnionType.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/UnionType.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/UnionType.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/UnionType.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/UnionType.o: /usr/include/bits/posix1_lim.h
++Type/UnionType.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Type/UnionType.o: /usr/include/bits/posix2_lim.h
++Type/UnionType.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Type/UnionType.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Type/UnionType.o: /usr/include/xlocale.h Value/UnionValue.h Value/Value.h
++Type/UnionType.o: Type/Constraint.h parser/Printer.h parser/StringBuffer.h
++Type/UnionType.o: /usr/include/stdio.h /usr/include/libio.h
++Type/UnionType.o: /usr/include/_G_config.h /usr/include/wchar.h
++Type/UnionType.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Type/UnionType.o: /usr/include/bits/sys_errlist.h
++Type/UnionType.o: Compilation/base/CExpression.h Value/Error.h
Type/VectorType.o: Type/VectorType.h Type/Type.h parser/util.h
--Type/VectorType.o: Type/typedefs.h Value/VectorValue.h Value/Value.h
++Type/VectorType.o: Type/typedefs.h /usr/include/sys/types.h
++Type/VectorType.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Type/VectorType.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Type/VectorType.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Type/VectorType.o: /usr/include/time.h /usr/include/endian.h
++Type/VectorType.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Type/VectorType.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Type/VectorType.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Type/VectorType.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Type/VectorType.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Type/VectorType.o: /usr/include/bits/posix2_lim.h
++Type/VectorType.o: /usr/include/bits/xopen_lim.h
++Type/VectorType.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Type/VectorType.o: /usr/include/string.h /usr/include/xlocale.h
++Type/VectorType.o: /usr/include/assert.h Value/VectorValue.h Value/Value.h
Type/VectorType.o: Value/ValueList.h Type/Constraint.h parser/Printer.h
- Type/VectorType.o: parser/StringBuffer.h Compilation/base/CExpression.h
- Type/VectorType.o: Value/Error.h
-Type/VectorType.o: parser/StringBuffer.h
++Type/VectorType.o: parser/StringBuffer.h /usr/include/stdio.h
++Type/VectorType.o: /usr/include/libio.h /usr/include/_G_config.h
++Type/VectorType.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Type/VectorType.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Type/VectorType.o: Compilation/base/CExpression.h Value/Error.h
Type/BufferType.o: Type/BufferType.h Type/Type.h parser/util.h
--Type/BufferType.o: Type/typedefs.h Value/BufferValue.h Value/Value.h
++Type/BufferType.o: Type/typedefs.h /usr/include/sys/types.h
++Type/BufferType.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Type/BufferType.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Type/BufferType.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Type/BufferType.o: /usr/include/time.h /usr/include/endian.h
++Type/BufferType.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Type/BufferType.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Type/BufferType.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Type/BufferType.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Type/BufferType.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Type/BufferType.o: /usr/include/bits/posix2_lim.h
++Type/BufferType.o: /usr/include/bits/xopen_lim.h
++Type/BufferType.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Type/BufferType.o: /usr/include/string.h /usr/include/xlocale.h
++Type/BufferType.o: /usr/include/assert.h Value/BufferValue.h Value/Value.h
Type/BufferType.o: Value/ValueList.h Type/Constraint.h parser/Printer.h
- Type/BufferType.o: parser/StringBuffer.h Compilation/base/CExpression.h
- Type/BufferType.o: Value/Error.h
- Type/ComponentList.o: Type/ComponentList.h Type/Type.h parser/util.h
- Type/ComponentList.o: Type/typedefs.h parser/Printer.h parser/StringBuffer.h
- Type/Range.o: Type/Range.h Value/Value.h Type/typedefs.h parser/Printer.h
- Type/Range.o: parser/StringBuffer.h
- Type/Constraint.o: Type/Constraint.h Type/typedefs.h Type/Range.h
- Type/Constraint.o: Value/Value.h Type/Type.h parser/util.h parser/Printer.h
- Type/Constraint.o: parser/StringBuffer.h Compilation/base/CExpression.h
- Type/Constraint.o: Value/Error.h
-Type/BufferType.o: parser/StringBuffer.h
-Type/ComponentList.o: Type/ComponentList.h Type/Type.h parser/util.h
-Type/ComponentList.o: Type/typedefs.h parser/Printer.h parser/StringBuffer.h
-Type/Range.o: Type/Range.h Value/Value.h Type/typedefs.h parser/Printer.h
-Type/Range.o: parser/StringBuffer.h
-Type/Constraint.o: Type/Constraint.h Type/typedefs.h Type/Range.h
-Type/Constraint.o: Value/Value.h Type/Type.h parser/util.h parser/Printer.h
-Type/Constraint.o: parser/StringBuffer.h
++Type/BufferType.o: parser/StringBuffer.h /usr/include/stdio.h
++Type/BufferType.o: /usr/include/libio.h /usr/include/_G_config.h
++Type/BufferType.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Type/BufferType.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Type/BufferType.o: Compilation/base/CExpression.h Value/Error.h
++Type/ComponentList.o: /usr/include/string.h /usr/include/features.h
++Type/ComponentList.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Type/ComponentList.o: /usr/include/xlocale.h Type/ComponentList.h
++Type/ComponentList.o: /usr/include/assert.h Type/Type.h parser/util.h
++Type/ComponentList.o: Type/typedefs.h /usr/include/sys/types.h
++Type/ComponentList.o: /usr/include/bits/types.h
++Type/ComponentList.o: /usr/include/bits/pthreadtypes.h
++Type/ComponentList.o: /usr/include/bits/sched.h /usr/include/time.h
++Type/ComponentList.o: /usr/include/endian.h /usr/include/bits/endian.h
++Type/ComponentList.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Type/ComponentList.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Type/ComponentList.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Type/ComponentList.o: /usr/include/bits/posix1_lim.h
++Type/ComponentList.o: /usr/include/bits/local_lim.h
++Type/ComponentList.o: /usr/include/linux/limits.h
++Type/ComponentList.o: /usr/include/bits/posix2_lim.h
++Type/ComponentList.o: /usr/include/bits/xopen_lim.h
++Type/ComponentList.o: /usr/include/bits/stdio_lim.h
++Type/ComponentList.o: /usr/include/bits/wordsize.h parser/Printer.h
++Type/ComponentList.o: parser/StringBuffer.h /usr/include/stdio.h
++Type/ComponentList.o: /usr/include/libio.h /usr/include/_G_config.h
++Type/ComponentList.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Type/ComponentList.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Type/Range.o: Type/Range.h Value/Value.h /usr/include/assert.h
++Type/Range.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Type/Range.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Type/Range.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Type/Range.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Type/Range.o: /usr/include/time.h /usr/include/endian.h
++Type/Range.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Type/Range.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Type/Range.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Type/Range.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Type/Range.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Type/Range.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Type/Range.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Type/Range.o: parser/Printer.h parser/StringBuffer.h /usr/include/stdio.h
++Type/Range.o: /usr/include/libio.h /usr/include/_G_config.h
++Type/Range.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Type/Range.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Type/Constraint.o: Type/Constraint.h Type/typedefs.h /usr/include/sys/types.h
++Type/Constraint.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Type/Constraint.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Type/Constraint.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Type/Constraint.o: /usr/include/time.h /usr/include/endian.h
++Type/Constraint.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Type/Constraint.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Type/Constraint.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Type/Constraint.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Type/Constraint.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Type/Constraint.o: /usr/include/bits/posix2_lim.h
++Type/Constraint.o: /usr/include/bits/xopen_lim.h
++Type/Constraint.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Type/Constraint.o: Type/Range.h Value/Value.h /usr/include/assert.h
++Type/Constraint.o: Type/Type.h parser/util.h /usr/include/string.h
++Type/Constraint.o: /usr/include/xlocale.h parser/Printer.h
++Type/Constraint.o: parser/StringBuffer.h /usr/include/stdio.h
++Type/Constraint.o: /usr/include/libio.h /usr/include/_G_config.h
++Type/Constraint.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Type/Constraint.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Type/Constraint.o: Compilation/base/CExpression.h Value/Error.h
Value/Value.o: Value/allValues.h Value/LeafValue.h Value/Value.h
--Value/Value.o: Type/typedefs.h Value/StructValue.h Value/ValueList.h
--Value/Value.o: Value/UnionValue.h Value/VectorValue.h Value/BufferValue.h
--Value/Value.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
--Value/Value.o: parser/util.h
--Value/ValueList.o: Value/ValueList.h Type/typedefs.h Value/Value.h
--Value/LeafValue.o: Value/LeafValue.h Value/Value.h Type/typedefs.h
--Value/LeafValue.o: Type/EnumType.h Type/Type.h parser/util.h Type/IdType.h
++Value/Value.o: /usr/include/assert.h /usr/include/features.h
++Value/Value.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Value/Value.o: Type/typedefs.h /usr/include/sys/types.h
++Value/Value.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Value/Value.o: /usr/include/bits/sched.h /usr/include/time.h
++Value/Value.o: /usr/include/endian.h /usr/include/bits/endian.h
++Value/Value.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Value/Value.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Value/Value.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Value/Value.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Value/Value.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Value/Value.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Value/Value.o: /usr/include/bits/wordsize.h Value/StructValue.h
++Value/Value.o: Value/ValueList.h Value/UnionValue.h Value/VectorValue.h
++Value/Value.o: Value/BufferValue.h Type/UnionType.h Type/ComponentList.h
++Value/Value.o: Type/Type.h parser/util.h /usr/include/string.h
++Value/Value.o: /usr/include/xlocale.h
++Value/ValueList.o: Value/ValueList.h /usr/include/assert.h
++Value/ValueList.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Value/ValueList.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Value/ValueList.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Value/ValueList.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Value/ValueList.o: /usr/include/time.h /usr/include/endian.h
++Value/ValueList.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Value/ValueList.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Value/ValueList.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Value/ValueList.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Value/ValueList.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Value/ValueList.o: /usr/include/bits/posix2_lim.h
++Value/ValueList.o: /usr/include/bits/xopen_lim.h
++Value/ValueList.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Value/ValueList.o: Value/Value.h /usr/include/string.h /usr/include/xlocale.h
++Value/LeafValue.o: Value/LeafValue.h Value/Value.h /usr/include/assert.h
++Value/LeafValue.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Value/LeafValue.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Value/LeafValue.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Value/LeafValue.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Value/LeafValue.o: /usr/include/time.h /usr/include/endian.h
++Value/LeafValue.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Value/LeafValue.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Value/LeafValue.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Value/LeafValue.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Value/LeafValue.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Value/LeafValue.o: /usr/include/bits/posix2_lim.h
++Value/LeafValue.o: /usr/include/bits/xopen_lim.h
++Value/LeafValue.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Value/LeafValue.o: Type/EnumType.h Type/Type.h parser/util.h
++Value/LeafValue.o: /usr/include/string.h /usr/include/xlocale.h Type/IdType.h
Value/LeafValue.o: Type/Constraint.h parser/Printer.h parser/StringBuffer.h
--Value/StructValue.o: Value/StructValue.h Value/Value.h Type/typedefs.h
--Value/StructValue.o: Value/ValueList.h Type/StructType.h Type/ComponentList.h
--Value/StructValue.o: Type/Type.h parser/util.h Type/Constraint.h
++Value/LeafValue.o: /usr/include/stdio.h /usr/include/libio.h
++Value/LeafValue.o: /usr/include/_G_config.h /usr/include/wchar.h
++Value/LeafValue.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Value/LeafValue.o: /usr/include/bits/sys_errlist.h
++Value/StructValue.o: Value/StructValue.h Value/Value.h /usr/include/assert.h
++Value/StructValue.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Value/StructValue.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Value/StructValue.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Value/StructValue.o: /usr/include/bits/pthreadtypes.h
++Value/StructValue.o: /usr/include/bits/sched.h /usr/include/time.h
++Value/StructValue.o: /usr/include/endian.h /usr/include/bits/endian.h
++Value/StructValue.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Value/StructValue.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Value/StructValue.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Value/StructValue.o: /usr/include/bits/posix1_lim.h
++Value/StructValue.o: /usr/include/bits/local_lim.h
++Value/StructValue.o: /usr/include/linux/limits.h
++Value/StructValue.o: /usr/include/bits/posix2_lim.h
++Value/StructValue.o: /usr/include/bits/xopen_lim.h
++Value/StructValue.o: /usr/include/bits/stdio_lim.h
++Value/StructValue.o: /usr/include/bits/wordsize.h Value/ValueList.h
++Value/StructValue.o: Type/StructType.h Type/ComponentList.h Type/Type.h
++Value/StructValue.o: parser/util.h /usr/include/string.h
++Value/StructValue.o: /usr/include/xlocale.h Type/Constraint.h
Value/StructValue.o: parser/Printer.h parser/StringBuffer.h
--Value/UnionValue.o: Value/UnionValue.h Value/Value.h Type/typedefs.h
--Value/UnionValue.o: Type/UnionType.h Type/ComponentList.h Type/Type.h
--Value/UnionValue.o: parser/util.h Type/Constraint.h parser/Printer.h
--Value/UnionValue.o: parser/StringBuffer.h
--Value/VectorValue.o: Value/VectorValue.h Value/Value.h Type/typedefs.h
--Value/VectorValue.o: Value/ValueList.h Type/VectorType.h Type/Type.h
--Value/VectorValue.o: parser/util.h Type/Constraint.h parser/Printer.h
--Value/VectorValue.o: parser/StringBuffer.h
--Value/BufferValue.o: Value/BufferValue.h Value/Value.h Type/typedefs.h
--Value/BufferValue.o: Value/ValueList.h Type/BufferType.h Type/Type.h
--Value/BufferValue.o: parser/util.h Type/Constraint.h parser/Printer.h
--Value/BufferValue.o: parser/StringBuffer.h
--Value/Valuation.o: Value/Valuation.h Value/Error.h Value/Value.h
--Value/Valuation.o: Type/typedefs.h Net/VariableDefinition.h parser/Printer.h
--Value/Valuation.o: parser/StringBuffer.h Expression/Expression.h Type/Type.h
--Value/Valuation.o: parser/util.h Type/Constraint.h
--Graph/Graph.o: Graph/Graph.h Graph/BitBuffer.h Type/typedefs.h Graph/file.h
--Graph/Graph.o: Graph/LSTS.h Graph/BTree.h Net/Net.h parser/util.h Net/Place.h
- Graph/Graph.o: Net/Transition.h Value/Error.h Value/Valuation.h
- Graph/Graph.o: Net/VariableDefinition.h Net/GlobalMarking.h
- Graph/Graph.o: Net/PlaceMarking.h Value/Value.h Expression/Marking.h
- Graph/Graph.o: Expression/Expression.h Type/Type.h Type/Constraint.h
- Graph/Graph.o: Type/CardType.h Value/LeafValue.h Automata/BitVector.h
- Graph/ComponentGraph.o: Graph/ComponentGraph.h Type/typedefs.h Graph/file.h
- Graph/ComponentGraph.o: Graph/Graph.h Graph/BitBuffer.h Automata/BitVector.h
- Graph/Search.o: Graph/Search.h Type/typedefs.h
- Graph/BitBuffer.o: Graph/BitBuffer.h Type/typedefs.h Value/StructValue.h
- Graph/BitBuffer.o: Value/Value.h Value/ValueList.h Type/StructType.h
- Graph/BitBuffer.o: Type/ComponentList.h Type/Type.h parser/util.h
- Graph/BitBuffer.o: Value/UnionValue.h Type/UnionType.h Value/VectorValue.h
- Graph/BitBuffer.o: Type/VectorType.h Value/BufferValue.h Type/BufferType.h
- Graph/BitBuffer.o: Value/LeafValue.h
- Graph/ByteBuffer.o: Graph/ByteBuffer.h
- Graph/BTree.o: Graph/BTree.h Graph/file.h
++Value/StructValue.o: /usr/include/stdio.h /usr/include/libio.h
++Value/StructValue.o: /usr/include/_G_config.h /usr/include/wchar.h
++Value/StructValue.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Value/StructValue.o: /usr/include/bits/sys_errlist.h
++Value/UnionValue.o: Value/UnionValue.h Value/Value.h /usr/include/assert.h
++Value/UnionValue.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Value/UnionValue.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Value/UnionValue.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Value/UnionValue.o: /usr/include/bits/pthreadtypes.h
++Value/UnionValue.o: /usr/include/bits/sched.h /usr/include/time.h
++Value/UnionValue.o: /usr/include/endian.h /usr/include/bits/endian.h
++Value/UnionValue.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Value/UnionValue.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Value/UnionValue.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Value/UnionValue.o: /usr/include/bits/posix1_lim.h
++Value/UnionValue.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Value/UnionValue.o: /usr/include/bits/posix2_lim.h
++Value/UnionValue.o: /usr/include/bits/xopen_lim.h
++Value/UnionValue.o: /usr/include/bits/stdio_lim.h
++Value/UnionValue.o: /usr/include/bits/wordsize.h Type/UnionType.h
++Value/UnionValue.o: Type/ComponentList.h Type/Type.h parser/util.h
++Value/UnionValue.o: /usr/include/string.h /usr/include/xlocale.h
++Value/UnionValue.o: Type/Constraint.h parser/Printer.h parser/StringBuffer.h
++Value/UnionValue.o: /usr/include/stdio.h /usr/include/libio.h
++Value/UnionValue.o: /usr/include/_G_config.h /usr/include/wchar.h
++Value/UnionValue.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Value/UnionValue.o: /usr/include/bits/sys_errlist.h
++Value/VectorValue.o: Value/VectorValue.h Value/Value.h /usr/include/assert.h
++Value/VectorValue.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Value/VectorValue.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Value/VectorValue.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Value/VectorValue.o: /usr/include/bits/pthreadtypes.h
++Value/VectorValue.o: /usr/include/bits/sched.h /usr/include/time.h
++Value/VectorValue.o: /usr/include/endian.h /usr/include/bits/endian.h
++Value/VectorValue.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Value/VectorValue.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Value/VectorValue.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Value/VectorValue.o: /usr/include/bits/posix1_lim.h
++Value/VectorValue.o: /usr/include/bits/local_lim.h
++Value/VectorValue.o: /usr/include/linux/limits.h
++Value/VectorValue.o: /usr/include/bits/posix2_lim.h
++Value/VectorValue.o: /usr/include/bits/xopen_lim.h
++Value/VectorValue.o: /usr/include/bits/stdio_lim.h
++Value/VectorValue.o: /usr/include/bits/wordsize.h Value/ValueList.h
++Value/VectorValue.o: Type/VectorType.h Type/Type.h parser/util.h
++Value/VectorValue.o: /usr/include/string.h /usr/include/xlocale.h
++Value/VectorValue.o: Type/Constraint.h parser/Printer.h parser/StringBuffer.h
++Value/VectorValue.o: /usr/include/stdio.h /usr/include/libio.h
++Value/VectorValue.o: /usr/include/_G_config.h /usr/include/wchar.h
++Value/VectorValue.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Value/VectorValue.o: /usr/include/bits/sys_errlist.h
++Value/BufferValue.o: Value/BufferValue.h Value/Value.h /usr/include/assert.h
++Value/BufferValue.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Value/BufferValue.o: /usr/include/gnu/stubs.h Type/typedefs.h
++Value/BufferValue.o: /usr/include/sys/types.h /usr/include/bits/types.h
++Value/BufferValue.o: /usr/include/bits/pthreadtypes.h
++Value/BufferValue.o: /usr/include/bits/sched.h /usr/include/time.h
++Value/BufferValue.o: /usr/include/endian.h /usr/include/bits/endian.h
++Value/BufferValue.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Value/BufferValue.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Value/BufferValue.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Value/BufferValue.o: /usr/include/bits/posix1_lim.h
++Value/BufferValue.o: /usr/include/bits/local_lim.h
++Value/BufferValue.o: /usr/include/linux/limits.h
++Value/BufferValue.o: /usr/include/bits/posix2_lim.h
++Value/BufferValue.o: /usr/include/bits/xopen_lim.h
++Value/BufferValue.o: /usr/include/bits/stdio_lim.h
++Value/BufferValue.o: /usr/include/bits/wordsize.h Value/ValueList.h
++Value/BufferValue.o: Type/BufferType.h Type/Type.h parser/util.h
++Value/BufferValue.o: /usr/include/string.h /usr/include/xlocale.h
++Value/BufferValue.o: Type/Constraint.h parser/Printer.h parser/StringBuffer.h
++Value/BufferValue.o: /usr/include/stdio.h /usr/include/libio.h
++Value/BufferValue.o: /usr/include/_G_config.h /usr/include/wchar.h
++Value/BufferValue.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Value/BufferValue.o: /usr/include/bits/sys_errlist.h
++Value/Valuation.o: Value/Valuation.h /usr/include/assert.h
++Value/Valuation.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Value/Valuation.o: /usr/include/gnu/stubs.h Value/Error.h Value/Value.h
++Value/Valuation.o: Type/typedefs.h /usr/include/sys/types.h
++Value/Valuation.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Value/Valuation.o: /usr/include/bits/sched.h /usr/include/time.h
++Value/Valuation.o: /usr/include/endian.h /usr/include/bits/endian.h
++Value/Valuation.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Value/Valuation.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Value/Valuation.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Value/Valuation.o: /usr/include/bits/posix1_lim.h
++Value/Valuation.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Value/Valuation.o: /usr/include/bits/posix2_lim.h
++Value/Valuation.o: /usr/include/bits/xopen_lim.h
++Value/Valuation.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Value/Valuation.o: Net/VariableDefinition.h Type/Type.h parser/util.h
++Value/Valuation.o: /usr/include/string.h /usr/include/xlocale.h
++Value/Valuation.o: parser/Printer.h parser/StringBuffer.h
++Value/Valuation.o: /usr/include/stdio.h /usr/include/libio.h
++Value/Valuation.o: /usr/include/_G_config.h /usr/include/wchar.h
++Value/Valuation.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Value/Valuation.o: /usr/include/bits/sys_errlist.h Expression/Expression.h
++Value/Valuation.o: Type/Constraint.h
++Graph/Graph.o: Graph/Graph.h Graph/BitBuffer.h Type/typedefs.h
++Graph/Graph.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/Graph.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/Graph.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Graph/Graph.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/Graph.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/Graph.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/Graph.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/Graph.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/Graph.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Graph/Graph.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Graph/Graph.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Graph/Graph.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/Graph.o: /usr/include/xlocale.h /usr/include/assert.h Graph/file.h
++Graph/Graph.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/Graph.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/Graph.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/Graph.o: /usr/include/bits/sys_errlist.h /usr/include/unistd.h
++Graph/Graph.o: /usr/include/bits/posix_opt.h /usr/include/bits/environments.h
++Graph/Graph.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Graph/Graph.o: /usr/include/sys/mman.h /usr/include/bits/mman.h Graph/LSTS.h
++Graph/Graph.o: Graph/BTree.h Net/Net.h parser/util.h Net/Place.h
+ Graph/Graph.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
-Graph/Graph.o: Automata/BitVector.h
-Graph/ComponentGraph.o: Graph/ComponentGraph.h Type/typedefs.h Graph/file.h
-Graph/ComponentGraph.o: Graph/Graph.h Graph/BitBuffer.h Automata/BitVector.h
-Graph/Search.o: Graph/Search.h Type/typedefs.h
-Graph/BitBuffer.o: Graph/BitBuffer.h Type/typedefs.h Value/StructValue.h
-Graph/BitBuffer.o: Value/Value.h Value/ValueList.h Type/StructType.h
-Graph/BitBuffer.o: Type/ComponentList.h Type/Type.h parser/util.h
-Graph/BitBuffer.o: Value/UnionValue.h Type/UnionType.h Value/VectorValue.h
-Graph/BitBuffer.o: Type/VectorType.h Value/BufferValue.h Type/BufferType.h
-Graph/BitBuffer.o: Value/LeafValue.h
-Graph/ByteBuffer.o: Graph/ByteBuffer.h
-Graph/BTree.o: Graph/BTree.h Graph/file.h
++Graph/Graph.o: Automata/BitVector.h /usr/include/stdlib.h
++Graph/Graph.o: /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h
++Graph/Graph.o: /usr/include/alloca.h /usr/include/sys/errno.h
++Graph/Graph.o: /usr/include/errno.h /usr/include/bits/errno.h
++Graph/Graph.o: /usr/include/linux/errno.h /usr/include/asm/errno.h
++Graph/Graph.o: /usr/include/fcntl.h /usr/include/bits/fcntl.h
++Graph/Graph.o: /usr/include/sys/stat.h /usr/include/bits/stat.h
++Graph/ComponentGraph.o: Graph/ComponentGraph.h Type/typedefs.h
++Graph/ComponentGraph.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/ComponentGraph.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/ComponentGraph.o: /usr/include/bits/types.h
++Graph/ComponentGraph.o: /usr/include/bits/pthreadtypes.h
++Graph/ComponentGraph.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/ComponentGraph.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/ComponentGraph.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/ComponentGraph.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/ComponentGraph.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/ComponentGraph.o: /usr/include/bits/posix1_lim.h
++Graph/ComponentGraph.o: /usr/include/bits/local_lim.h
++Graph/ComponentGraph.o: /usr/include/linux/limits.h
++Graph/ComponentGraph.o: /usr/include/bits/posix2_lim.h
++Graph/ComponentGraph.o: /usr/include/bits/xopen_lim.h
++Graph/ComponentGraph.o: /usr/include/bits/stdio_lim.h
++Graph/ComponentGraph.o: /usr/include/bits/wordsize.h Graph/file.h
++Graph/ComponentGraph.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/ComponentGraph.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/ComponentGraph.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/ComponentGraph.o: /usr/include/bits/sys_errlist.h /usr/include/unistd.h
++Graph/ComponentGraph.o: /usr/include/bits/posix_opt.h
++Graph/ComponentGraph.o: /usr/include/bits/environments.h
++Graph/ComponentGraph.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Graph/ComponentGraph.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
++Graph/ComponentGraph.o: Graph/Graph.h Graph/BitBuffer.h /usr/include/string.h
++Graph/ComponentGraph.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/ComponentGraph.o: Automata/BitVector.h /usr/include/stdlib.h
++Graph/ComponentGraph.o: /usr/include/bits/waitflags.h
++Graph/ComponentGraph.o: /usr/include/bits/waitstatus.h /usr/include/alloca.h
++Graph/ComponentGraph.o: /usr/include/errno.h /usr/include/bits/errno.h
++Graph/ComponentGraph.o: /usr/include/linux/errno.h /usr/include/asm/errno.h
++Graph/Search.o: Graph/Search.h Type/typedefs.h /usr/include/sys/types.h
++Graph/Search.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/Search.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Graph/Search.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Graph/Search.o: /usr/include/time.h /usr/include/endian.h
++Graph/Search.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Graph/Search.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Graph/Search.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Graph/Search.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Graph/Search.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/Search.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Graph/Search.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Graph/BitBuffer.o: Graph/BitBuffer.h Type/typedefs.h /usr/include/sys/types.h
++Graph/BitBuffer.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/BitBuffer.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Graph/BitBuffer.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Graph/BitBuffer.o: /usr/include/time.h /usr/include/endian.h
++Graph/BitBuffer.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Graph/BitBuffer.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Graph/BitBuffer.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Graph/BitBuffer.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Graph/BitBuffer.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/BitBuffer.o: /usr/include/bits/posix2_lim.h
++Graph/BitBuffer.o: /usr/include/bits/xopen_lim.h
++Graph/BitBuffer.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Graph/BitBuffer.o: /usr/include/string.h /usr/include/xlocale.h
++Graph/BitBuffer.o: /usr/include/assert.h Value/StructValue.h Value/Value.h
++Graph/BitBuffer.o: Value/ValueList.h Type/StructType.h Type/ComponentList.h
++Graph/BitBuffer.o: Type/Type.h parser/util.h Value/UnionValue.h
++Graph/BitBuffer.o: Type/UnionType.h Value/VectorValue.h Type/VectorType.h
++Graph/BitBuffer.o: Value/BufferValue.h Type/BufferType.h Value/LeafValue.h
++Graph/ByteBuffer.o: Graph/ByteBuffer.h /usr/include/string.h
++Graph/ByteBuffer.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/ByteBuffer.o: /usr/include/gnu/stubs.h /usr/include/xlocale.h
++Graph/ByteBuffer.o: /usr/include/assert.h
++Graph/BTree.o: Graph/BTree.h Graph/file.h /usr/include/stdio.h
++Graph/BTree.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/BTree.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Graph/BTree.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Graph/BTree.o: /usr/include/libio.h /usr/include/_G_config.h
++Graph/BTree.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Graph/BTree.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
++Graph/BTree.o: /usr/include/bits/sys_errlist.h /usr/include/unistd.h
++Graph/BTree.o: /usr/include/bits/posix_opt.h /usr/include/bits/environments.h
++Graph/BTree.o: /usr/include/bits/wordsize.h /usr/include/bits/confname.h
++Graph/BTree.o: /usr/include/getopt.h /usr/include/sys/mman.h
++Graph/BTree.o: /usr/include/bits/mman.h /usr/include/assert.h
++Graph/BTree.o: /usr/include/string.h /usr/include/xlocale.h
++Graph/BTree.o: /usr/include/stdlib.h /usr/include/bits/waitflags.h
++Graph/BTree.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
++Graph/BTree.o: /usr/include/bits/endian.h /usr/include/sys/types.h
++Graph/BTree.o: /usr/include/time.h /usr/include/sys/select.h
++Graph/BTree.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Graph/BTree.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Graph/BTree.o: /usr/include/alloca.h
Graph/States.o: Graph/States.h Graph/BitBuffer.h Type/typedefs.h
- Graph/StateReporter.o: Graph/StateReporter.h Graph/BitBuffer.h
- Graph/StateReporter.o: Type/typedefs.h Graph/States.h Graph/Graph.h
- Graph/StateReporter.o: Graph/file.h Net/Net.h parser/util.h Net/Transition.h
- Graph/StateReporter.o: Value/Error.h Value/Valuation.h Net/GlobalMarking.h
- Graph/StateReporter.o: Net/PlaceMarking.h Value/Value.h Graph/FullSet.h
- Graph/StateReporter.o: Graph/StateSet.h Graph/StateList.h
- Graph/StateReporter.o: Compilation/base/Compilation.h parser/Printer.h
- Graph/StateReporter.o: parser/StringBuffer.h
++Graph/States.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/States.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/States.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Graph/States.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/States.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/States.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/States.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/States.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/States.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Graph/States.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Graph/States.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Graph/States.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/States.o: /usr/include/xlocale.h /usr/include/assert.h
+ Graph/StateReporter.o: Graph/StateSetReporter.h Graph/StateReporter.h
-Graph/StateReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/States.h
-Graph/StateReporter.o: Net/Net.h parser/util.h Net/Transition.h Value/Error.h
-Graph/StateReporter.o: Value/Valuation.h Net/GlobalMarking.h
-Graph/StateReporter.o: Net/PlaceMarking.h Value/Value.h Graph/FullSet.h
-Graph/StateReporter.o: Graph/StateSet.h Graph/StateList.h Graph/file.h
-Graph/StateReporter.o: Graph/SyncStates.h
++Graph/StateReporter.o: Graph/BitBuffer.h Type/typedefs.h
++Graph/StateReporter.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/StateReporter.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/StateReporter.o: /usr/include/bits/types.h
++Graph/StateReporter.o: /usr/include/bits/pthreadtypes.h
++Graph/StateReporter.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/StateReporter.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/StateReporter.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/StateReporter.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/StateReporter.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/StateReporter.o: /usr/include/bits/posix1_lim.h
++Graph/StateReporter.o: /usr/include/bits/local_lim.h
++Graph/StateReporter.o: /usr/include/linux/limits.h
++Graph/StateReporter.o: /usr/include/bits/posix2_lim.h
++Graph/StateReporter.o: /usr/include/bits/xopen_lim.h
++Graph/StateReporter.o: /usr/include/bits/stdio_lim.h
++Graph/StateReporter.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/StateReporter.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/StateReporter.o: Graph/States.h Net/Net.h parser/util.h
++Graph/StateReporter.o: Net/Transition.h Value/Error.h Value/Valuation.h
++Graph/StateReporter.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
++Graph/StateReporter.o: Graph/FullSet.h Graph/StateSet.h Graph/StateList.h
++Graph/StateReporter.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/StateReporter.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/StateReporter.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/StateReporter.o: /usr/include/bits/sys_errlist.h Graph/file.h
++Graph/StateReporter.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++Graph/StateReporter.o: /usr/include/bits/environments.h
++Graph/StateReporter.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Graph/StateReporter.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
++Graph/StateReporter.o: Graph/SyncStates.h Compilation/base/Compilation.h
++Graph/StateReporter.o: parser/Printer.h parser/StringBuffer.h
Graph/StateSetReporter.o: Graph/StateSetReporter.h Graph/StateReporter.h
- Graph/StateSetReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/StateSet.h
- Graph/StateSetReporter.o: Graph/StateList.h Graph/Graph.h Graph/file.h
- Graph/StateSetReporter.o: Net/Net.h parser/util.h Net/Transition.h
- Graph/StateSetReporter.o: Value/Error.h Value/Valuation.h Net/GlobalMarking.h
- Graph/StateSetReporter.o: Net/PlaceMarking.h Value/Value.h
- Graph/StateSetReporter.o: Automata/Property.h Automata/PropertyState.h
- Graph/StateSetReporter.o: Automata/BitVector.h parser/Printer.h
- Graph/StateSetReporter.o: parser/StringBuffer.h parser/Dotty.h
- Graph/StateSetReporter.o: Compilation/base/Compilation.h
-Graph/StateSetReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/FullSet.h
-Graph/StateSetReporter.o: Graph/StateSet.h Graph/StateList.h Graph/file.h
++Graph/StateSetReporter.o: Graph/BitBuffer.h Type/typedefs.h
++Graph/StateSetReporter.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/StateSetReporter.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/StateSetReporter.o: /usr/include/bits/types.h
++Graph/StateSetReporter.o: /usr/include/bits/pthreadtypes.h
++Graph/StateSetReporter.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/StateSetReporter.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/StateSetReporter.o: /usr/include/sys/select.h
++Graph/StateSetReporter.o: /usr/include/bits/select.h
++Graph/StateSetReporter.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/StateSetReporter.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/StateSetReporter.o: /usr/include/bits/posix1_lim.h
++Graph/StateSetReporter.o: /usr/include/bits/local_lim.h
++Graph/StateSetReporter.o: /usr/include/linux/limits.h
++Graph/StateSetReporter.o: /usr/include/bits/posix2_lim.h
++Graph/StateSetReporter.o: /usr/include/bits/xopen_lim.h
++Graph/StateSetReporter.o: /usr/include/bits/stdio_lim.h
++Graph/StateSetReporter.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/StateSetReporter.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/StateSetReporter.o: Graph/FullSet.h Graph/StateSet.h Graph/StateList.h
++Graph/StateSetReporter.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/StateSetReporter.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/StateSetReporter.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/StateSetReporter.o: /usr/include/bits/sys_errlist.h Graph/file.h
++Graph/StateSetReporter.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++Graph/StateSetReporter.o: /usr/include/bits/environments.h
++Graph/StateSetReporter.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Graph/StateSetReporter.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
+ Graph/StateSetReporter.o: Graph/SyncStates.h Net/Net.h parser/util.h
+ Graph/StateSetReporter.o: Net/Transition.h Value/Error.h Value/Valuation.h
+ Graph/StateSetReporter.o: Net/GlobalMarking.h Net/PlaceMarking.h
+ Graph/StateSetReporter.o: Value/Value.h Automata/Property.h
+ Graph/StateSetReporter.o: Automata/PropertyState.h Automata/BitVector.h
+ Graph/StateSetReporter.o: parser/Printer.h parser/StringBuffer.h
-Graph/StateSetReporter.o: parser/Dotty.h
++Graph/StateSetReporter.o: parser/Dotty.h Compilation/base/Compilation.h
Graph/GraphReporter.o: Graph/GraphReporter.h Graph/StateReporter.h
--Graph/GraphReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/Search.h
--Graph/GraphReporter.o: Graph/Graph.h Graph/file.h Net/Net.h parser/util.h
--Graph/GraphReporter.o: Net/Transition.h Value/Error.h Value/Valuation.h
--Graph/GraphReporter.o: parser/Printer.h parser/StringBuffer.h Graph/LSTS.h
++Graph/GraphReporter.o: Graph/BitBuffer.h Type/typedefs.h
++Graph/GraphReporter.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/GraphReporter.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/GraphReporter.o: /usr/include/bits/types.h
++Graph/GraphReporter.o: /usr/include/bits/pthreadtypes.h
++Graph/GraphReporter.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/GraphReporter.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/GraphReporter.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/GraphReporter.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/GraphReporter.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/GraphReporter.o: /usr/include/bits/posix1_lim.h
++Graph/GraphReporter.o: /usr/include/bits/local_lim.h
++Graph/GraphReporter.o: /usr/include/linux/limits.h
++Graph/GraphReporter.o: /usr/include/bits/posix2_lim.h
++Graph/GraphReporter.o: /usr/include/bits/xopen_lim.h
++Graph/GraphReporter.o: /usr/include/bits/stdio_lim.h
++Graph/GraphReporter.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/GraphReporter.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/GraphReporter.o: Graph/Search.h Graph/Graph.h Graph/file.h
++Graph/GraphReporter.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/GraphReporter.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/GraphReporter.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/GraphReporter.o: /usr/include/bits/sys_errlist.h /usr/include/unistd.h
++Graph/GraphReporter.o: /usr/include/bits/posix_opt.h
++Graph/GraphReporter.o: /usr/include/bits/environments.h
++Graph/GraphReporter.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Graph/GraphReporter.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
++Graph/GraphReporter.o: Net/Net.h parser/util.h Net/Transition.h Value/Error.h
++Graph/GraphReporter.o: Value/Valuation.h parser/Printer.h
++Graph/GraphReporter.o: parser/StringBuffer.h Graph/LSTS.h
Graph/GraphReporter.o: Automata/PropertyState.h Net/GlobalMarking.h
Graph/GraphReporter.o: Net/PlaceMarking.h Value/Value.h
+Graph/GraphReporter.o: Compilation/base/Compilation.h
Graph/DummyReporter.o: Graph/DummyReporter.h Graph/StateReporter.h
--Graph/DummyReporter.o: Graph/BitBuffer.h Type/typedefs.h Graph/Search.h
++Graph/DummyReporter.o: Graph/BitBuffer.h Type/typedefs.h
++Graph/DummyReporter.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/DummyReporter.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/DummyReporter.o: /usr/include/bits/types.h
++Graph/DummyReporter.o: /usr/include/bits/pthreadtypes.h
++Graph/DummyReporter.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/DummyReporter.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/DummyReporter.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/DummyReporter.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/DummyReporter.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/DummyReporter.o: /usr/include/bits/posix1_lim.h
++Graph/DummyReporter.o: /usr/include/bits/local_lim.h
++Graph/DummyReporter.o: /usr/include/linux/limits.h
++Graph/DummyReporter.o: /usr/include/bits/posix2_lim.h
++Graph/DummyReporter.o: /usr/include/bits/xopen_lim.h
++Graph/DummyReporter.o: /usr/include/bits/stdio_lim.h
++Graph/DummyReporter.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/DummyReporter.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/DummyReporter.o: Graph/Search.h
+ Graph/SyncStates.o: Graph/SyncStates.h Graph/BitBuffer.h Type/typedefs.h
-Graph/SyncStates.o: Net/Net.h parser/util.h Net/Transition.h Value/Error.h
++Graph/SyncStates.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/SyncStates.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/SyncStates.o: /usr/include/bits/types.h
++Graph/SyncStates.o: /usr/include/bits/pthreadtypes.h
++Graph/SyncStates.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/SyncStates.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/SyncStates.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/SyncStates.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/SyncStates.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/SyncStates.o: /usr/include/bits/posix1_lim.h
++Graph/SyncStates.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/SyncStates.o: /usr/include/bits/posix2_lim.h
++Graph/SyncStates.o: /usr/include/bits/xopen_lim.h
++Graph/SyncStates.o: /usr/include/bits/stdio_lim.h
++Graph/SyncStates.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/SyncStates.o: /usr/include/xlocale.h /usr/include/assert.h Net/Net.h
++Graph/SyncStates.o: parser/util.h Net/Transition.h Value/Error.h
+ Graph/SyncStates.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
Graph/StateSet.o: Graph/FullSet.h Graph/StateSet.h Graph/StateList.h
--Graph/StateSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/file.h
++Graph/StateSet.o: Graph/BitBuffer.h Type/typedefs.h /usr/include/sys/types.h
++Graph/StateSet.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/StateSet.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Graph/StateSet.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Graph/StateSet.o: /usr/include/time.h /usr/include/endian.h
++Graph/StateSet.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Graph/StateSet.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Graph/StateSet.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Graph/StateSet.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Graph/StateSet.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/StateSet.o: /usr/include/bits/posix2_lim.h
++Graph/StateSet.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Graph/StateSet.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/StateSet.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/StateSet.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/StateSet.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/StateSet.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/StateSet.o: /usr/include/bits/sys_errlist.h Graph/file.h
++Graph/StateSet.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++Graph/StateSet.o: /usr/include/bits/environments.h
++Graph/StateSet.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Graph/StateSet.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
Graph/StateSet.o: parser/Printer.h parser/StringBuffer.h Net/Net.h
Graph/StateSet.o: parser/util.h parser/Dotty.h Graph/ByteBuffer.h
Graph/StateSet.o: Graph/StateSetReporter.h Graph/StateReporter.h
Graph/FullSet.o: Graph/FullSet.h Graph/StateSet.h Graph/StateList.h
--Graph/FullSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/file.h Graph/BTree.h
--Graph/FullSet.o: Graph/ByteBuffer.h
++Graph/FullSet.o: Graph/BitBuffer.h Type/typedefs.h /usr/include/sys/types.h
++Graph/FullSet.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/FullSet.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Graph/FullSet.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Graph/FullSet.o: /usr/include/time.h /usr/include/endian.h
++Graph/FullSet.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Graph/FullSet.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Graph/FullSet.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Graph/FullSet.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Graph/FullSet.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/FullSet.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Graph/FullSet.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Graph/FullSet.o: /usr/include/string.h /usr/include/xlocale.h
++Graph/FullSet.o: /usr/include/assert.h /usr/include/stdio.h
++Graph/FullSet.o: /usr/include/libio.h /usr/include/_G_config.h
++Graph/FullSet.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Graph/FullSet.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Graph/FullSet.o: Graph/file.h /usr/include/unistd.h
++Graph/FullSet.o: /usr/include/bits/posix_opt.h
++Graph/FullSet.o: /usr/include/bits/environments.h
++Graph/FullSet.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Graph/FullSet.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
++Graph/FullSet.o: Graph/BTree.h Graph/ByteBuffer.h /usr/include/stdlib.h
++Graph/FullSet.o: /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h
++Graph/FullSet.o: /usr/include/alloca.h
Graph/ParSet.o: Graph/ParSet.h Graph/StateSet.h Graph/StateList.h
--Graph/ParSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/ByteBuffer.h
--Graph/ParSet.o: Graph/file.h
++Graph/ParSet.o: Graph/BitBuffer.h Type/typedefs.h /usr/include/sys/types.h
++Graph/ParSet.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/ParSet.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Graph/ParSet.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Graph/ParSet.o: /usr/include/time.h /usr/include/endian.h
++Graph/ParSet.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Graph/ParSet.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Graph/ParSet.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Graph/ParSet.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Graph/ParSet.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/ParSet.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++Graph/ParSet.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Graph/ParSet.o: /usr/include/string.h /usr/include/xlocale.h
++Graph/ParSet.o: /usr/include/assert.h /usr/include/stdio.h
++Graph/ParSet.o: /usr/include/libio.h /usr/include/_G_config.h
++Graph/ParSet.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Graph/ParSet.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Graph/ParSet.o: Graph/ByteBuffer.h Graph/file.h /usr/include/unistd.h
++Graph/ParSet.o: /usr/include/bits/posix_opt.h
++Graph/ParSet.o: /usr/include/bits/environments.h /usr/include/bits/confname.h
++Graph/ParSet.o: /usr/include/getopt.h /usr/include/sys/mman.h
++Graph/ParSet.o: /usr/include/bits/mman.h /usr/include/sys/socket.h
++Graph/ParSet.o: /usr/include/sys/uio.h /usr/include/bits/uio.h
++Graph/ParSet.o: /usr/include/bits/socket.h /usr/include/bits/sockaddr.h
++Graph/ParSet.o: /usr/include/asm/socket.h /usr/include/asm/sockios.h
++Graph/ParSet.o: /usr/include/sys/poll.h /usr/include/bits/poll.h
++Graph/ParSet.o: /usr/include/stdlib.h /usr/include/bits/waitflags.h
++Graph/ParSet.o: /usr/include/bits/waitstatus.h /usr/include/alloca.h
++Graph/ParSet.o: /usr/include/sys/errno.h /usr/include/errno.h
++Graph/ParSet.o: /usr/include/bits/errno.h /usr/include/linux/errno.h
++Graph/ParSet.o: /usr/include/asm/errno.h
Graph/CompactSet.o: Graph/CompactSet.h Graph/StateSet.h Graph/StateList.h
--Graph/CompactSet.o: Graph/BitBuffer.h Type/typedefs.h Graph/ByteBuffer.h
++Graph/CompactSet.o: Graph/BitBuffer.h Type/typedefs.h
++Graph/CompactSet.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/CompactSet.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/CompactSet.o: /usr/include/bits/types.h
++Graph/CompactSet.o: /usr/include/bits/pthreadtypes.h
++Graph/CompactSet.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/CompactSet.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/CompactSet.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/CompactSet.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/CompactSet.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/CompactSet.o: /usr/include/bits/posix1_lim.h
++Graph/CompactSet.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/CompactSet.o: /usr/include/bits/posix2_lim.h
++Graph/CompactSet.o: /usr/include/bits/xopen_lim.h
++Graph/CompactSet.o: /usr/include/bits/stdio_lim.h
++Graph/CompactSet.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/CompactSet.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/CompactSet.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/CompactSet.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/CompactSet.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/CompactSet.o: /usr/include/bits/sys_errlist.h Graph/ByteBuffer.h
++Graph/CompactSet.o: /usr/include/stdlib.h /usr/include/bits/waitflags.h
++Graph/CompactSet.o: /usr/include/bits/waitstatus.h /usr/include/alloca.h
Graph/HashGraph.o: Graph/HashGraph.h Graph/StateSet.h Graph/StateList.h
--Graph/HashGraph.o: Graph/BitBuffer.h Type/typedefs.h Graph/ByteBuffer.h
++Graph/HashGraph.o: Graph/BitBuffer.h Type/typedefs.h /usr/include/sys/types.h
++Graph/HashGraph.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Graph/HashGraph.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++Graph/HashGraph.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++Graph/HashGraph.o: /usr/include/time.h /usr/include/endian.h
++Graph/HashGraph.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++Graph/HashGraph.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++Graph/HashGraph.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Graph/HashGraph.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Graph/HashGraph.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/HashGraph.o: /usr/include/bits/posix2_lim.h
++Graph/HashGraph.o: /usr/include/bits/xopen_lim.h
++Graph/HashGraph.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Graph/HashGraph.o: /usr/include/string.h /usr/include/xlocale.h
++Graph/HashGraph.o: /usr/include/assert.h /usr/include/stdio.h
++Graph/HashGraph.o: /usr/include/libio.h /usr/include/_G_config.h
++Graph/HashGraph.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Graph/HashGraph.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Graph/HashGraph.o: Graph/ByteBuffer.h /usr/include/stdlib.h
++Graph/HashGraph.o: /usr/include/bits/waitflags.h
++Graph/HashGraph.o: /usr/include/bits/waitstatus.h /usr/include/alloca.h
Graph/StateList.o: Graph/StateList.h Graph/BitBuffer.h Type/typedefs.h
--Graph/LSTS.o: Graph/LSTS.h Graph/BitBuffer.h Type/typedefs.h Graph/Graph.h
--Graph/LSTS.o: Graph/file.h Net/GlobalMarking.h Net/PlaceMarking.h
++Graph/StateList.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/StateList.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/StateList.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Graph/StateList.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/StateList.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/StateList.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/StateList.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/StateList.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/StateList.o: /usr/include/bits/posix1_lim.h
++Graph/StateList.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Graph/StateList.o: /usr/include/bits/posix2_lim.h
++Graph/StateList.o: /usr/include/bits/xopen_lim.h
++Graph/StateList.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++Graph/StateList.o: /usr/include/string.h /usr/include/xlocale.h
++Graph/StateList.o: /usr/include/assert.h
++Graph/LSTS.o: Graph/LSTS.h Graph/BitBuffer.h Type/typedefs.h
++Graph/LSTS.o: /usr/include/sys/types.h /usr/include/features.h
++Graph/LSTS.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Graph/LSTS.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++Graph/LSTS.o: /usr/include/bits/sched.h /usr/include/time.h
++Graph/LSTS.o: /usr/include/endian.h /usr/include/bits/endian.h
++Graph/LSTS.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Graph/LSTS.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Graph/LSTS.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Graph/LSTS.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++Graph/LSTS.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++Graph/LSTS.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++Graph/LSTS.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Graph/LSTS.o: /usr/include/xlocale.h /usr/include/assert.h
++Graph/LSTS.o: /usr/include/stdio.h /usr/include/libio.h
++Graph/LSTS.o: /usr/include/_G_config.h /usr/include/wchar.h
++Graph/LSTS.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++Graph/LSTS.o: /usr/include/bits/sys_errlist.h Graph/Graph.h Graph/file.h
++Graph/LSTS.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++Graph/LSTS.o: /usr/include/bits/environments.h /usr/include/bits/confname.h
++Graph/LSTS.o: /usr/include/getopt.h /usr/include/sys/mman.h
++Graph/LSTS.o: /usr/include/bits/mman.h Net/GlobalMarking.h Net/PlaceMarking.h
Graph/LSTS.o: Value/Value.h Net/Net.h parser/util.h Net/Transition.h
Graph/LSTS.o: Value/Error.h Value/Valuation.h Net/VariableDefinition.h
Graph/LSTS.o: Expression/Expression.h Type/Type.h Type/Constraint.h
Graph/LSTS.o: parser/Printer.h parser/StringBuffer.h
+Graph/LSTS.o: Compilation/base/Compilation.h
Automata/Property.o: Automata/Property.h Automata/PropertyState.h
--Automata/Property.o: Automata/BitVector.h Expression/Constant.h
++Automata/Property.o: /usr/include/assert.h /usr/include/features.h
++Automata/Property.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Automata/Property.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Automata/Property.o: /usr/include/bits/local_lim.h
++Automata/Property.o: /usr/include/linux/limits.h
++Automata/Property.o: /usr/include/bits/posix2_lim.h
++Automata/Property.o: /usr/include/bits/xopen_lim.h
++Automata/Property.o: /usr/include/bits/stdio_lim.h
++Automata/Property.o: /usr/include/bits/wordsize.h Automata/BitVector.h
++Automata/Property.o: /usr/include/string.h /usr/include/xlocale.h
++Automata/Property.o: /usr/include/ctype.h /usr/include/bits/types.h
++Automata/Property.o: /usr/include/bits/pthreadtypes.h
++Automata/Property.o: /usr/include/bits/sched.h /usr/include/endian.h
++Automata/Property.o: /usr/include/bits/endian.h /usr/include/stdio.h
++Automata/Property.o: /usr/include/libio.h /usr/include/_G_config.h
++Automata/Property.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Automata/Property.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Automata/Property.o: /usr/include/signal.h /usr/include/bits/sigset.h
++Automata/Property.o: /usr/include/bits/signum.h /usr/include/time.h
++Automata/Property.o: /usr/include/bits/siginfo.h
++Automata/Property.o: /usr/include/bits/sigaction.h
++Automata/Property.o: /usr/include/bits/sigcontext.h
++Automata/Property.o: /usr/include/asm/sigcontext.h
++Automata/Property.o: /usr/include/bits/sigstack.h /usr/include/ucontext.h
++Automata/Property.o: /usr/include/sys/ucontext.h
++Automata/Property.o: /usr/include/bits/sigthread.h /usr/include/stdlib.h
++Automata/Property.o: /usr/include/bits/waitflags.h
++Automata/Property.o: /usr/include/bits/waitstatus.h /usr/include/sys/types.h
++Automata/Property.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Automata/Property.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++Automata/Property.o: /usr/include/alloca.h /usr/include/unistd.h
++Automata/Property.o: /usr/include/bits/posix_opt.h
++Automata/Property.o: /usr/include/bits/environments.h
++Automata/Property.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Automata/Property.o: /usr/include/sys/wait.h /usr/include/sys/resource.h
++Automata/Property.o: /usr/include/bits/resource.h Expression/Constant.h
Automata/Property.o: Expression/Expression.h Type/Type.h parser/util.h
Automata/Property.o: Type/typedefs.h Type/Constraint.h Value/Value.h
Automata/Property.o: Value/Valuation.h Value/Error.h
Automata/Property.o: Expression/BooleanBinop.h Expression/NotExpression.h
Automata/Property.o: Value/LeafValue.h Type/BoolType.h Net/Net.h
- Automata/PropertyState.o: Automata/PropertyState.h Expression/Constant.h
+ Automata/Property.o: Graph/BitBuffer.h
-Automata/PropertyState.o: Automata/PropertyState.h Expression/Constant.h
++Automata/PropertyState.o: Automata/PropertyState.h /usr/include/assert.h
++Automata/PropertyState.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Automata/PropertyState.o: /usr/include/gnu/stubs.h /usr/include/limits.h
++Automata/PropertyState.o: /usr/include/bits/posix1_lim.h
++Automata/PropertyState.o: /usr/include/bits/local_lim.h
++Automata/PropertyState.o: /usr/include/linux/limits.h
++Automata/PropertyState.o: /usr/include/bits/posix2_lim.h
++Automata/PropertyState.o: /usr/include/bits/xopen_lim.h
++Automata/PropertyState.o: /usr/include/bits/stdio_lim.h
++Automata/PropertyState.o: /usr/include/bits/wordsize.h Expression/Constant.h
Automata/PropertyState.o: Expression/Expression.h Type/Type.h parser/util.h
--Automata/PropertyState.o: Type/typedefs.h Type/Constraint.h Value/Value.h
--Automata/PropertyState.o: Value/Valuation.h Value/Error.h
++Automata/PropertyState.o: Type/typedefs.h /usr/include/sys/types.h
++Automata/PropertyState.o: /usr/include/bits/types.h
++Automata/PropertyState.o: /usr/include/bits/pthreadtypes.h
++Automata/PropertyState.o: /usr/include/bits/sched.h /usr/include/time.h
++Automata/PropertyState.o: /usr/include/endian.h /usr/include/bits/endian.h
++Automata/PropertyState.o: /usr/include/sys/select.h
++Automata/PropertyState.o: /usr/include/bits/select.h
++Automata/PropertyState.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Automata/PropertyState.o: /usr/include/sys/sysmacros.h /usr/include/string.h
++Automata/PropertyState.o: /usr/include/xlocale.h Type/Constraint.h
++Automata/PropertyState.o: Value/Value.h Value/Valuation.h Value/Error.h
Automata/PropertyState.o: Automata/BitVector.h Value/LeafValue.h
-Automata/BitVector.o: Automata/BitVector.h
-Automata/SetList.o: Automata/SetList.h Automata/BitVector.h
-Automata/Product.o: Automata/Product.h Type/typedefs.h Automata/Property.h
-Automata/Product.o: Automata/PropertyState.h Automata/BitVector.h
-Automata/Product.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
-Automata/Product.o: Graph/BitBuffer.h Value/Valuation.h Value/Error.h
-Automata/Product.o: Net/Net.h parser/util.h Graph/Graph.h Graph/file.h
+Automata/PropertyState.o: Compilation/base/CExpression.h
+Automata/PropertyState.o: parser/StringBuffer.h
- Automata/BitVector.o: Automata/BitVector.h
- Automata/SetList.o: Automata/SetList.h Automata/BitVector.h
- Automata/Product.o: Automata/Product.h Type/typedefs.h Automata/Property.h
- Automata/Product.o: Automata/PropertyState.h Automata/BitVector.h
- Automata/Product.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
++Automata/BitVector.o: Automata/BitVector.h /usr/include/limits.h
++Automata/BitVector.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Automata/BitVector.o: /usr/include/gnu/stubs.h /usr/include/bits/posix1_lim.h
++Automata/BitVector.o: /usr/include/bits/local_lim.h
++Automata/BitVector.o: /usr/include/linux/limits.h
++Automata/BitVector.o: /usr/include/bits/posix2_lim.h
++Automata/BitVector.o: /usr/include/bits/xopen_lim.h
++Automata/BitVector.o: /usr/include/bits/stdio_lim.h
++Automata/BitVector.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Automata/BitVector.o: /usr/include/xlocale.h /usr/include/assert.h
++Automata/SetList.o: Automata/SetList.h /usr/include/assert.h
++Automata/SetList.o: /usr/include/features.h /usr/include/sys/cdefs.h
++Automata/SetList.o: /usr/include/gnu/stubs.h Automata/BitVector.h
++Automata/SetList.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++Automata/SetList.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Automata/SetList.o: /usr/include/bits/posix2_lim.h
++Automata/SetList.o: /usr/include/bits/xopen_lim.h
++Automata/SetList.o: /usr/include/bits/stdio_lim.h
++Automata/SetList.o: /usr/include/bits/wordsize.h /usr/include/string.h
++Automata/SetList.o: /usr/include/xlocale.h
++Automata/Product.o: Automata/Product.h Type/typedefs.h
++Automata/Product.o: /usr/include/sys/types.h /usr/include/features.h
++Automata/Product.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++Automata/Product.o: /usr/include/bits/types.h
++Automata/Product.o: /usr/include/bits/pthreadtypes.h
++Automata/Product.o: /usr/include/bits/sched.h /usr/include/time.h
++Automata/Product.o: /usr/include/endian.h /usr/include/bits/endian.h
++Automata/Product.o: /usr/include/sys/select.h /usr/include/bits/select.h
++Automata/Product.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++Automata/Product.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++Automata/Product.o: /usr/include/bits/posix1_lim.h
++Automata/Product.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++Automata/Product.o: /usr/include/bits/posix2_lim.h
++Automata/Product.o: /usr/include/bits/xopen_lim.h
++Automata/Product.o: /usr/include/bits/stdio_lim.h
++Automata/Product.o: /usr/include/bits/wordsize.h /usr/include/assert.h
++Automata/Product.o: Automata/Property.h Automata/PropertyState.h
++Automata/Product.o: Automata/BitVector.h /usr/include/string.h
++Automata/Product.o: /usr/include/xlocale.h Net/GlobalMarking.h
++Automata/Product.o: Net/PlaceMarking.h Value/Value.h Graph/BitBuffer.h
+Automata/Product.o: Value/Valuation.h Value/Error.h Net/Net.h parser/util.h
- Automata/Product.o: Graph/Graph.h Graph/BitBuffer.h Graph/file.h
++Automata/Product.o: Graph/Graph.h Graph/file.h /usr/include/stdio.h
++Automata/Product.o: /usr/include/libio.h /usr/include/_G_config.h
++Automata/Product.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Automata/Product.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Automata/Product.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++Automata/Product.o: /usr/include/bits/environments.h
++Automata/Product.o: /usr/include/bits/confname.h /usr/include/getopt.h
++Automata/Product.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
Automata/Product.o: Graph/GraphReporter.h Graph/StateReporter.h
Automata/Product.o: Graph/Search.h parser/Printer.h parser/StringBuffer.h
--Automata/Product.o: Net/Transition.h Automata/SetList.h
++Automata/Product.o: Net/Transition.h Automata/SetList.h /usr/include/stdlib.h
++Automata/Product.o: /usr/include/bits/waitflags.h
++Automata/Product.o: /usr/include/bits/waitstatus.h /usr/include/alloca.h
+Compilation/base/CExpression.o: Compilation/base/CExpression.h
+Compilation/base/CExpression.o: parser/StringBuffer.h Value/Error.h
+Compilation/base/CExpression.o: Expression/Variable.h Expression/Expression.h
+Compilation/base/CExpression.o: Type/Type.h parser/util.h Type/typedefs.h
- Compilation/base/CExpression.o: Type/Constraint.h Value/Value.h
- Compilation/base/CExpression.o: Value/Valuation.h Net/VariableDefinition.h
++Compilation/base/CExpression.o: /usr/include/sys/types.h
++Compilation/base/CExpression.o: /usr/include/features.h
++Compilation/base/CExpression.o: /usr/include/sys/cdefs.h
++Compilation/base/CExpression.o: /usr/include/gnu/stubs.h
++Compilation/base/CExpression.o: /usr/include/bits/types.h
++Compilation/base/CExpression.o: /usr/include/bits/pthreadtypes.h
++Compilation/base/CExpression.o: /usr/include/bits/sched.h /usr/include/time.h
++Compilation/base/CExpression.o: /usr/include/endian.h
++Compilation/base/CExpression.o: /usr/include/bits/endian.h
++Compilation/base/CExpression.o: /usr/include/sys/select.h
++Compilation/base/CExpression.o: /usr/include/bits/select.h
++Compilation/base/CExpression.o: /usr/include/bits/sigset.h
++Compilation/base/CExpression.o: /usr/include/bits/time.h
++Compilation/base/CExpression.o: /usr/include/sys/sysmacros.h
++Compilation/base/CExpression.o: /usr/include/limits.h
++Compilation/base/CExpression.o: /usr/include/bits/posix1_lim.h
++Compilation/base/CExpression.o: /usr/include/bits/local_lim.h
++Compilation/base/CExpression.o: /usr/include/linux/limits.h
++Compilation/base/CExpression.o: /usr/include/bits/posix2_lim.h
++Compilation/base/CExpression.o: /usr/include/bits/xopen_lim.h
++Compilation/base/CExpression.o: /usr/include/bits/stdio_lim.h
++Compilation/base/CExpression.o: /usr/include/bits/wordsize.h
++Compilation/base/CExpression.o: /usr/include/string.h /usr/include/xlocale.h
++Compilation/base/CExpression.o: /usr/include/assert.h Type/Constraint.h
++Compilation/base/CExpression.o: Value/Value.h Value/Valuation.h
++Compilation/base/CExpression.o: Net/VariableDefinition.h
+Compilation/base/CExpression.o: Expression/PlaceContents.h Net/Net.h
- Compilation/base/CExpression.o: Net/Transition.h Net/Place.h
- Compilation/base/CExpression.o: Expression/Constant.h
++Compilation/base/CExpression.o: Graph/BitBuffer.h Net/Transition.h
++Compilation/base/CExpression.o: Net/Place.h Expression/Constant.h
++Compilation/base/CExpression.o: /usr/include/stdio.h /usr/include/libio.h
++Compilation/base/CExpression.o: /usr/include/_G_config.h /usr/include/wchar.h
++Compilation/base/CExpression.o: /usr/include/bits/wchar.h
++Compilation/base/CExpression.o: /usr/include/gconv.h
++Compilation/base/CExpression.o: /usr/include/bits/sys_errlist.h
+Compilation/base/Compilation.o: Compilation/base/Compilation.h Value/Error.h
- Compilation/base/Compilation.o: Net/Net.h parser/util.h Type/typedefs.h
- Compilation/base/Compilation.o: Net/Place.h Net/Transition.h Type/Type.h
++Compilation/base/Compilation.o: /usr/include/sys/types.h
++Compilation/base/Compilation.o: /usr/include/features.h
++Compilation/base/Compilation.o: /usr/include/sys/cdefs.h
++Compilation/base/Compilation.o: /usr/include/gnu/stubs.h
++Compilation/base/Compilation.o: /usr/include/bits/types.h
++Compilation/base/Compilation.o: /usr/include/bits/pthreadtypes.h
++Compilation/base/Compilation.o: /usr/include/bits/sched.h /usr/include/time.h
++Compilation/base/Compilation.o: /usr/include/endian.h
++Compilation/base/Compilation.o: /usr/include/bits/endian.h
++Compilation/base/Compilation.o: /usr/include/sys/select.h
++Compilation/base/Compilation.o: /usr/include/bits/select.h
++Compilation/base/Compilation.o: /usr/include/bits/sigset.h
++Compilation/base/Compilation.o: /usr/include/bits/time.h
++Compilation/base/Compilation.o: /usr/include/sys/sysmacros.h Net/Net.h
++Compilation/base/Compilation.o: /usr/include/assert.h /usr/include/string.h
++Compilation/base/Compilation.o: /usr/include/xlocale.h parser/util.h
++Compilation/base/Compilation.o: Type/typedefs.h /usr/include/limits.h
++Compilation/base/Compilation.o: /usr/include/bits/posix1_lim.h
++Compilation/base/Compilation.o: /usr/include/bits/local_lim.h
++Compilation/base/Compilation.o: /usr/include/linux/limits.h
++Compilation/base/Compilation.o: /usr/include/bits/posix2_lim.h
++Compilation/base/Compilation.o: /usr/include/bits/xopen_lim.h
++Compilation/base/Compilation.o: /usr/include/bits/stdio_lim.h
++Compilation/base/Compilation.o: /usr/include/bits/wordsize.h
++Compilation/base/Compilation.o: Graph/BitBuffer.h Net/Place.h
++Compilation/base/Compilation.o: Net/Transition.h Type/Type.h
+Compilation/base/Compilation.o: Compilation/base/CExpression.h
+Compilation/base/Compilation.o: parser/StringBuffer.h Expression/Marking.h
+Compilation/base/Compilation.o: Expression/Expression.h Type/Constraint.h
+Compilation/base/Compilation.o: Value/Value.h Value/Valuation.h
- Compilation/base/Compilation.o: Graph/BitBuffer.h Automata/Property.h
- Compilation/base/Compilation.o: Automata/PropertyState.h Automata/BitVector.h
- parser/maria.o: Compilation/base/Compilation.h Value/Error.h parser/version.h
- parser/maria.o: parser/Dotty.h Type/typedefs.h Expression/Expression.h
- parser/maria.o: Type/Type.h parser/util.h Type/Constraint.h Value/Value.h
++Compilation/base/Compilation.o: Automata/Property.h Automata/PropertyState.h
++Compilation/base/Compilation.o: Automata/BitVector.h /usr/include/stdio.h
++Compilation/base/Compilation.o: /usr/include/libio.h /usr/include/_G_config.h
++Compilation/base/Compilation.o: /usr/include/wchar.h
++Compilation/base/Compilation.o: /usr/include/bits/wchar.h
++Compilation/base/Compilation.o: /usr/include/gconv.h
++Compilation/base/Compilation.o: /usr/include/bits/sys_errlist.h
++Compilation/base/Compilation.o: /usr/include/stdlib.h
++Compilation/base/Compilation.o: /usr/include/bits/waitflags.h
++Compilation/base/Compilation.o: /usr/include/bits/waitstatus.h
++Compilation/base/Compilation.o: /usr/include/alloca.h /usr/include/dlfcn.h
++Compilation/base/Compilation.o: /usr/include/bits/dlfcn.h
++Compilation/base/Compilation.o: /usr/include/sys/stat.h
++Compilation/base/Compilation.o: /usr/include/bits/stat.h
++Compilation/base/Compilation.o: /usr/include/sys/wait.h /usr/include/signal.h
++Compilation/base/Compilation.o: /usr/include/bits/signum.h
++Compilation/base/Compilation.o: /usr/include/bits/siginfo.h
++Compilation/base/Compilation.o: /usr/include/bits/sigaction.h
++Compilation/base/Compilation.o: /usr/include/bits/sigcontext.h
++Compilation/base/Compilation.o: /usr/include/asm/sigcontext.h
++Compilation/base/Compilation.o: /usr/include/bits/sigstack.h
++Compilation/base/Compilation.o: /usr/include/ucontext.h
++Compilation/base/Compilation.o: /usr/include/sys/ucontext.h
++Compilation/base/Compilation.o: /usr/include/bits/sigthread.h
++Compilation/base/Compilation.o: /usr/include/sys/resource.h
++Compilation/base/Compilation.o: /usr/include/bits/resource.h
++Compilation/base/Compilation.o: /usr/include/fcntl.h
++Compilation/base/Compilation.o: /usr/include/bits/fcntl.h
++Compilation/base/Compilation.o: /usr/include/unistd.h
++Compilation/base/Compilation.o: /usr/include/bits/posix_opt.h
++Compilation/base/Compilation.o: /usr/include/bits/environments.h
++Compilation/base/Compilation.o: /usr/include/bits/confname.h
++Compilation/base/Compilation.o: /usr/include/getopt.h
++Compilation/base/Compilation.o: /usr/include/sys/errno.h /usr/include/errno.h
++Compilation/base/Compilation.o: /usr/include/bits/errno.h
++Compilation/base/Compilation.o: /usr/include/linux/errno.h
++Compilation/base/Compilation.o: /usr/include/asm/errno.h
++parser/maria.o: /usr/include/stdio.h /usr/include/features.h
++parser/maria.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++parser/maria.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++parser/maria.o: /usr/include/bits/sched.h /usr/include/libio.h
++parser/maria.o: /usr/include/_G_config.h /usr/include/wchar.h
++parser/maria.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++parser/maria.o: /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h
++parser/maria.o: /usr/include/stdlib.h /usr/include/bits/waitflags.h
++parser/maria.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
++parser/maria.o: /usr/include/bits/endian.h /usr/include/xlocale.h
++parser/maria.o: /usr/include/sys/types.h /usr/include/time.h
++parser/maria.o: /usr/include/sys/select.h /usr/include/bits/select.h
++parser/maria.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++parser/maria.o: /usr/include/sys/sysmacros.h /usr/include/alloca.h
++parser/maria.o: /usr/include/string.h /usr/include/locale.h
++parser/maria.o: /usr/include/bits/locale.h /usr/include/sys/signal.h
++parser/maria.o: /usr/include/signal.h /usr/include/bits/signum.h
++parser/maria.o: /usr/include/bits/siginfo.h /usr/include/bits/wordsize.h
++parser/maria.o: /usr/include/bits/sigaction.h /usr/include/bits/sigcontext.h
++parser/maria.o: /usr/include/asm/sigcontext.h /usr/include/bits/sigstack.h
++parser/maria.o: /usr/include/ucontext.h /usr/include/sys/ucontext.h
++parser/maria.o: /usr/include/bits/sigthread.h /usr/include/sys/errno.h
++parser/maria.o: /usr/include/errno.h /usr/include/bits/errno.h
++parser/maria.o: /usr/include/linux/errno.h /usr/include/asm/errno.h
++parser/maria.o: /usr/include/sys/stat.h /usr/include/bits/stat.h
++parser/maria.o: /usr/include/sys/times.h /usr/include/sys/wait.h
++parser/maria.o: /usr/include/sys/resource.h /usr/include/bits/resource.h
++parser/maria.o: /usr/include/getopt.h /usr/include/regex.h
++parser/maria.o: Compilation/base/Compilation.h Value/Error.h
++parser/maria.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++parser/maria.o: /usr/include/bits/environments.h /usr/include/bits/confname.h
+ parser/maria.o: parser/version.h parser/Dotty.h Type/typedefs.h
++parser/maria.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++parser/maria.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++parser/maria.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
+ parser/maria.o: Expression/Expression.h Type/Type.h parser/util.h
-parser/maria.o: Type/Constraint.h Value/Value.h Value/Valuation.h
-parser/maria.o: Value/Error.h Net/GlobalMarking.h Net/PlaceMarking.h
++parser/maria.o: /usr/include/assert.h Type/Constraint.h Value/Value.h
+parser/maria.o: Value/Valuation.h Net/GlobalMarking.h Net/PlaceMarking.h
- parser/maria.o: Net/Transition.h Graph/Search.h parser/server.h
- parser/maria.o: parser/NameList.h parser/Printer.h parser/StringBuffer.h
- parser/maria.o: Net/Net.h Graph/Graph.h Graph/BitBuffer.h Graph/file.h
+ parser/maria.o: Graph/BitBuffer.h Net/Transition.h Graph/Search.h
+ parser/maria.o: parser/server.h parser/NameList.h parser/Printer.h
+ parser/maria.o: parser/StringBuffer.h Net/Net.h Graph/Graph.h Graph/file.h
++parser/maria.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
parser/maria.o: Graph/ComponentGraph.h Graph/LSTS.h Automata/Property.h
parser/maria.o: Automata/PropertyState.h Automata/BitVector.h
parser/maria.o: Automata/Product.h Net/LNet.h Graph/HashGraph.h
@@@ -607,26 -553,26 +2793,105 @@@ parser/maria.o: Graph/StateSet.h Graph/
parser/maria.o: Graph/ParSet.h Graph/ByteBuffer.h Graph/FullSet.h
parser/maria.o: Graph/GraphReporter.h Graph/StateReporter.h
parser/maria.o: Graph/StateSetReporter.h
--parser/server.o: Graph/ByteBuffer.h Graph/StateList.h Graph/BitBuffer.h
--parser/server.o: Type/typedefs.h Graph/StateSet.h Graph/StateSetReporter.h
- parser/server.o: Graph/StateReporter.h Net/Net.h parser/util.h Graph/Graph.h
- parser/server.o: Graph/file.h
- parser/Dotty.o: parser/Dotty.h Type/typedefs.h Graph/Graph.h
- parser/Dotty.o: Graph/BitBuffer.h Graph/file.h Graph/ComponentGraph.h
- parser/Dotty.o: Graph/GraphReporter.h Graph/StateReporter.h Graph/Search.h
- parser/Dotty.o: parser/Printer.h parser/StringBuffer.h Net/GlobalMarking.h
- parser/Dotty.o: Net/PlaceMarking.h Value/Value.h Net/Net.h parser/util.h
- parser/Dotty.o: Net/Place.h Net/Transition.h Value/Error.h Net/Arc.h
- parser/Dotty.o: Value/Valuation.h Net/VariableDefinition.h
- parser/Dotty.o: Expression/Marking.h Expression/Expression.h Type/Type.h
- parser/Dotty.o: Type/Constraint.h
- parser/maria.tab.o: parser/util.h Type/typedefs.h parser/Printer.h
- parser/maria.tab.o: parser/StringBuffer.h parser/VariableStackMap.h
- parser/maria.tab.o: Expression/allExpressions.h Expression/Typecast.h
- parser/maria.tab.o: Expression/Expression.h Type/Type.h Type/Constraint.h
- parser/maria.tab.o: Value/Value.h Value/Valuation.h Value/Error.h
- parser/maria.tab.o: Expression/Variable.h Expression/Constant.h
- parser/maria.tab.o: Expression/Undefined.h Expression/StructExpression.h
-parser/server.o: Graph/StateReporter.h Net/Net.h parser/util.h
-parser/server.o: Net/GlobalMarking.h Net/PlaceMarking.h Value/Value.h
-parser/Dotty.o: parser/Dotty.h Type/typedefs.h Graph/Graph.h
-parser/Dotty.o: Graph/BitBuffer.h Graph/file.h Graph/ComponentGraph.h
-parser/Dotty.o: Graph/GraphReporter.h Graph/StateReporter.h Graph/Search.h
-parser/Dotty.o: parser/Printer.h parser/StringBuffer.h Net/GlobalMarking.h
-parser/Dotty.o: Net/PlaceMarking.h Value/Value.h Net/Net.h parser/util.h
-parser/Dotty.o: Net/Place.h Net/Transition.h Value/Error.h Net/Arc.h
-parser/Dotty.o: Value/Valuation.h Net/VariableDefinition.h
-parser/Dotty.o: Expression/Marking.h Expression/Expression.h Type/Type.h
-parser/Dotty.o: Type/Constraint.h
-parser/maria.tab.o: parser/util.h Type/typedefs.h parser/Printer.h
-parser/maria.tab.o: parser/StringBuffer.h parser/VariableStackMap.h
-parser/maria.tab.o: Expression/allExpressions.h Expression/Typecast.h
-parser/maria.tab.o: Expression/Expression.h Type/Type.h Type/Constraint.h
-parser/maria.tab.o: Value/Value.h Value/Valuation.h Value/Error.h
-parser/maria.tab.o: Expression/Variable.h Expression/Constant.h
-parser/maria.tab.o: Expression/Undefined.h Expression/StructExpression.h
++parser/server.o: /usr/include/sys/types.h /usr/include/features.h
++parser/server.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++parser/server.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++parser/server.o: /usr/include/bits/sched.h /usr/include/time.h
++parser/server.o: /usr/include/endian.h /usr/include/bits/endian.h
++parser/server.o: /usr/include/sys/select.h /usr/include/bits/select.h
++parser/server.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++parser/server.o: /usr/include/sys/sysmacros.h /usr/include/unistd.h
++parser/server.o: /usr/include/bits/posix_opt.h
++parser/server.o: /usr/include/bits/environments.h
++parser/server.o: /usr/include/bits/wordsize.h /usr/include/bits/confname.h
++parser/server.o: /usr/include/getopt.h /usr/include/sys/socket.h
++parser/server.o: /usr/include/sys/uio.h /usr/include/bits/uio.h
++parser/server.o: /usr/include/bits/socket.h /usr/include/limits.h
++parser/server.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++parser/server.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++parser/server.o: /usr/include/bits/xopen_lim.h /usr/include/bits/stdio_lim.h
++parser/server.o: /usr/include/bits/sockaddr.h /usr/include/asm/socket.h
++parser/server.o: /usr/include/asm/sockios.h /usr/include/sys/un.h
++parser/server.o: /usr/include/string.h /usr/include/xlocale.h
++parser/server.o: /usr/include/netinet/in.h /usr/include/stdint.h
++parser/server.o: /usr/include/bits/wchar.h /usr/include/bits/in.h
++parser/server.o: /usr/include/bits/byteswap.h /usr/include/netdb.h
++parser/server.o: /usr/include/rpc/netdb.h /usr/include/bits/siginfo.h
++parser/server.o: /usr/include/bits/netdb.h /usr/include/sys/errno.h
++parser/server.o: /usr/include/errno.h /usr/include/bits/errno.h
++parser/server.o: /usr/include/linux/errno.h /usr/include/asm/errno.h
++parser/server.o: /usr/include/sys/signal.h /usr/include/signal.h
++parser/server.o: /usr/include/bits/signum.h /usr/include/bits/sigaction.h
++parser/server.o: /usr/include/bits/sigcontext.h /usr/include/asm/sigcontext.h
++parser/server.o: /usr/include/bits/sigstack.h /usr/include/ucontext.h
++parser/server.o: /usr/include/sys/ucontext.h /usr/include/bits/sigthread.h
++parser/server.o: /usr/include/stdlib.h /usr/include/bits/waitflags.h
++parser/server.o: /usr/include/bits/waitstatus.h /usr/include/alloca.h
++parser/server.o: Graph/ByteBuffer.h /usr/include/assert.h Graph/StateList.h
++parser/server.o: Graph/BitBuffer.h Type/typedefs.h Graph/StateSet.h
++parser/server.o: /usr/include/stdio.h /usr/include/libio.h
++parser/server.o: /usr/include/_G_config.h /usr/include/wchar.h
++parser/server.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++parser/server.o: Graph/StateSetReporter.h Graph/StateReporter.h Net/Net.h
++parser/server.o: parser/util.h Net/GlobalMarking.h Net/PlaceMarking.h
++parser/server.o: Value/Value.h
++parser/Dotty.o: parser/Dotty.h Type/typedefs.h /usr/include/sys/types.h
++parser/Dotty.o: /usr/include/features.h /usr/include/sys/cdefs.h
++parser/Dotty.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++parser/Dotty.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++parser/Dotty.o: /usr/include/time.h /usr/include/endian.h
++parser/Dotty.o: /usr/include/bits/endian.h /usr/include/sys/select.h
++parser/Dotty.o: /usr/include/bits/select.h /usr/include/bits/sigset.h
++parser/Dotty.o: /usr/include/bits/time.h /usr/include/sys/sysmacros.h
++parser/Dotty.o: /usr/include/limits.h /usr/include/bits/posix1_lim.h
++parser/Dotty.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++parser/Dotty.o: /usr/include/bits/posix2_lim.h /usr/include/bits/xopen_lim.h
++parser/Dotty.o: /usr/include/bits/stdio_lim.h /usr/include/bits/wordsize.h
++parser/Dotty.o: /usr/include/stdlib.h /usr/include/bits/waitflags.h
++parser/Dotty.o: /usr/include/bits/waitstatus.h /usr/include/xlocale.h
++parser/Dotty.o: /usr/include/alloca.h /usr/include/string.h
++parser/Dotty.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++parser/Dotty.o: /usr/include/bits/environments.h /usr/include/bits/confname.h
++parser/Dotty.o: /usr/include/getopt.h Graph/Graph.h Graph/BitBuffer.h
++parser/Dotty.o: /usr/include/assert.h Graph/file.h /usr/include/stdio.h
++parser/Dotty.o: /usr/include/libio.h /usr/include/_G_config.h
++parser/Dotty.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++parser/Dotty.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++parser/Dotty.o: /usr/include/sys/mman.h /usr/include/bits/mman.h
++parser/Dotty.o: Graph/ComponentGraph.h Graph/GraphReporter.h
++parser/Dotty.o: Graph/StateReporter.h Graph/Search.h parser/Printer.h
++parser/Dotty.o: parser/StringBuffer.h Net/GlobalMarking.h Net/PlaceMarking.h
++parser/Dotty.o: Value/Value.h Net/Net.h parser/util.h Net/Place.h
++parser/Dotty.o: Net/Transition.h Value/Error.h Net/Arc.h Value/Valuation.h
++parser/Dotty.o: Net/VariableDefinition.h Expression/Marking.h
++parser/Dotty.o: Expression/Expression.h Type/Type.h Type/Constraint.h
++parser/maria.tab.o: /usr/include/alloca.h /usr/include/features.h
++parser/maria.tab.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++parser/maria.tab.o: parser/util.h Type/typedefs.h /usr/include/sys/types.h
++parser/maria.tab.o: /usr/include/bits/types.h
++parser/maria.tab.o: /usr/include/bits/pthreadtypes.h
++parser/maria.tab.o: /usr/include/bits/sched.h /usr/include/time.h
++parser/maria.tab.o: /usr/include/endian.h /usr/include/bits/endian.h
++parser/maria.tab.o: /usr/include/sys/select.h /usr/include/bits/select.h
++parser/maria.tab.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++parser/maria.tab.o: /usr/include/sys/sysmacros.h /usr/include/limits.h
++parser/maria.tab.o: /usr/include/bits/posix1_lim.h
++parser/maria.tab.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++parser/maria.tab.o: /usr/include/bits/posix2_lim.h
++parser/maria.tab.o: /usr/include/bits/xopen_lim.h
++parser/maria.tab.o: /usr/include/bits/stdio_lim.h
++parser/maria.tab.o: /usr/include/bits/wordsize.h parser/Printer.h
++parser/maria.tab.o: parser/StringBuffer.h /usr/include/stdio.h
++parser/maria.tab.o: /usr/include/libio.h /usr/include/_G_config.h
++parser/maria.tab.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++parser/maria.tab.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++parser/maria.tab.o: parser/VariableStackMap.h Expression/allExpressions.h
++parser/maria.tab.o: Expression/Typecast.h Expression/Expression.h Type/Type.h
++parser/maria.tab.o: /usr/include/string.h /usr/include/xlocale.h
++parser/maria.tab.o: /usr/include/assert.h Type/Constraint.h Value/Value.h
++parser/maria.tab.o: Value/Valuation.h Value/Error.h Expression/Variable.h
++parser/maria.tab.o: Expression/Constant.h Expression/Undefined.h
++parser/maria.tab.o: Expression/StructExpression.h
parser/maria.tab.o: Expression/StructComponent.h Expression/StructAssign.h
parser/maria.tab.o: Expression/UnionExpression.h Expression/UnionComponent.h
parser/maria.tab.o: Expression/UnionTypeExpression.h
@@@ -646,7 -592,7 +2911,7 @@@ parser/maria.tab.o: Expression/Transiti
parser/maria.tab.o: Expression/PlaceContents.h Expression/Submarking.h
parser/maria.tab.o: Expression/Mapping.h Expression/EmptySet.h
parser/maria.tab.o: Expression/ExpressionSet.h Type/Range.h Net/Arc.h
- parser/maria.tab.o: Net/Transition.h Net/Place.h Net/Net.h
+ parser/maria.tab.o: Net/Transition.h Net/Place.h Net/Net.h Graph/BitBuffer.h
parser/maria.tab.o: Net/VariableDefinition.h Expression/VariableSet.h
parser/maria.tab.o: Expression/Function.h Expression/Quantifier.h
parser/maria.tab.o: Type/allTypes.h Type/IntType.h Type/CardType.h
@@@ -655,17 -601,16 +2920,65 @@@ parser/maria.tab.o: Type/IdType.h Type/
parser/maria.tab.o: Type/UnionType.h Value/allValues.h Value/LeafValue.h
parser/maria.tab.o: Value/StructValue.h Value/ValueList.h Value/UnionValue.h
parser/maria.tab.o: Value/VectorValue.h Value/BufferValue.h
- parser/maria.tab.o: Expression/Substitution.h
--parser/lex.pn.o: Type/typedefs.h parser/maria.tab.h parser/StringBuffer.h
--parser/lex.pn.o: parser/util.h parser/NameList.h Net/Place.h Net/Transition.h
--parser/lex.pn.o: Value/Error.h
--parser/marde.tab.o: parser/util.h Type/typedefs.h parser/StringBuffer.h
++parser/lex.pn.o: /usr/include/stdio.h /usr/include/features.h
++parser/lex.pn.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++parser/lex.pn.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++parser/lex.pn.o: /usr/include/bits/sched.h /usr/include/libio.h
++parser/lex.pn.o: /usr/include/_G_config.h /usr/include/wchar.h
++parser/lex.pn.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++parser/lex.pn.o: /usr/include/bits/stdio_lim.h
++parser/lex.pn.o: /usr/include/bits/sys_errlist.h /usr/include/errno.h
++parser/lex.pn.o: /usr/include/bits/errno.h /usr/include/linux/errno.h
++parser/lex.pn.o: /usr/include/asm/errno.h /usr/include/limits.h
++parser/lex.pn.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++parser/lex.pn.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++parser/lex.pn.o: /usr/include/bits/xopen_lim.h /usr/include/bits/wordsize.h
++parser/lex.pn.o: /usr/include/string.h /usr/include/xlocale.h Type/typedefs.h
++parser/lex.pn.o: /usr/include/sys/types.h /usr/include/time.h
++parser/lex.pn.o: /usr/include/endian.h /usr/include/bits/endian.h
++parser/lex.pn.o: /usr/include/sys/select.h /usr/include/bits/select.h
++parser/lex.pn.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++parser/lex.pn.o: /usr/include/sys/sysmacros.h parser/maria.tab.h
++parser/lex.pn.o: parser/StringBuffer.h parser/util.h parser/NameList.h
++parser/lex.pn.o: Net/Place.h Net/Transition.h /usr/include/assert.h
++parser/lex.pn.o: Value/Error.h /usr/include/stdlib.h
++parser/lex.pn.o: /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h
++parser/lex.pn.o: /usr/include/alloca.h /usr/include/unistd.h
++parser/lex.pn.o: /usr/include/bits/posix_opt.h
++parser/lex.pn.o: /usr/include/bits/environments.h
++parser/lex.pn.o: /usr/include/bits/confname.h /usr/include/getopt.h
++parser/marde.tab.o: /usr/include/alloca.h /usr/include/features.h
++parser/marde.tab.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++parser/marde.tab.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++parser/marde.tab.o: /usr/include/bits/environments.h
++parser/marde.tab.o: /usr/include/bits/wordsize.h /usr/include/bits/types.h
++parser/marde.tab.o: /usr/include/bits/pthreadtypes.h
++parser/marde.tab.o: /usr/include/bits/sched.h /usr/include/bits/confname.h
++parser/marde.tab.o: /usr/include/getopt.h /usr/include/stdlib.h
++parser/marde.tab.o: /usr/include/bits/waitflags.h
++parser/marde.tab.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
++parser/marde.tab.o: /usr/include/bits/endian.h /usr/include/xlocale.h
++parser/marde.tab.o: /usr/include/sys/types.h /usr/include/time.h
++parser/marde.tab.o: /usr/include/sys/select.h /usr/include/bits/select.h
++parser/marde.tab.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++parser/marde.tab.o: /usr/include/sys/sysmacros.h parser/util.h
++parser/marde.tab.o: Type/typedefs.h /usr/include/limits.h
++parser/marde.tab.o: /usr/include/bits/posix1_lim.h
++parser/marde.tab.o: /usr/include/bits/local_lim.h /usr/include/linux/limits.h
++parser/marde.tab.o: /usr/include/bits/posix2_lim.h
++parser/marde.tab.o: /usr/include/bits/xopen_lim.h
++parser/marde.tab.o: /usr/include/bits/stdio_lim.h parser/StringBuffer.h
parser/marde.tab.o: parser/VariableStackMap.h parser/Printer.h
++parser/marde.tab.o: /usr/include/stdio.h /usr/include/libio.h
++parser/marde.tab.o: /usr/include/_G_config.h /usr/include/wchar.h
++parser/marde.tab.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++parser/marde.tab.o: /usr/include/bits/sys_errlist.h
parser/marde.tab.o: Expression/allExpressions.h Expression/Typecast.h
--parser/marde.tab.o: Expression/Expression.h Type/Type.h Type/Constraint.h
--parser/marde.tab.o: Value/Value.h Value/Valuation.h Value/Error.h
--parser/marde.tab.o: Expression/Variable.h Expression/Constant.h
--parser/marde.tab.o: Expression/Undefined.h Expression/StructExpression.h
++parser/marde.tab.o: Expression/Expression.h Type/Type.h /usr/include/string.h
++parser/marde.tab.o: /usr/include/assert.h Type/Constraint.h Value/Value.h
++parser/marde.tab.o: Value/Valuation.h Value/Error.h Expression/Variable.h
++parser/marde.tab.o: Expression/Constant.h Expression/Undefined.h
++parser/marde.tab.o: Expression/StructExpression.h
parser/marde.tab.o: Expression/StructComponent.h Expression/StructAssign.h
parser/marde.tab.o: Expression/UnionExpression.h Expression/UnionComponent.h
parser/marde.tab.o: Expression/UnionTypeExpression.h
@@@ -685,7 -630,7 +2998,7 @@@ parser/marde.tab.o: Expression/Transiti
parser/marde.tab.o: Expression/PlaceContents.h Expression/Submarking.h
parser/marde.tab.o: Expression/Mapping.h Expression/EmptySet.h
parser/marde.tab.o: Expression/ExpressionSet.h Net/Transition.h Net/Place.h
- parser/marde.tab.o: Net/Arc.h Net/Net.h Net/GlobalMarking.h
+ parser/marde.tab.o: Net/Arc.h Net/Net.h Graph/BitBuffer.h Net/GlobalMarking.h
parser/marde.tab.o: Net/PlaceMarking.h Net/VariableDefinition.h
parser/marde.tab.o: Expression/VariableSet.h Expression/Function.h
parser/marde.tab.o: Expression/Quantifier.h Type/allTypes.h Type/IntType.h
@@@ -695,6 -640,6 +3008,58 @@@ parser/marde.tab.o: Type/ComponentList.
parser/marde.tab.o: Value/LeafValue.h Value/StructValue.h Value/ValueList.h
parser/marde.tab.o: Value/UnionValue.h Value/VectorValue.h
parser/marde.tab.o: Value/BufferValue.h parser/cmdline.h
--parser/lex.de.o: Type/typedefs.h parser/marde.tab.h parser/StringBuffer.h
--parser/lex.de.o: parser/util.h parser/Printer.h
--parser/cmdline.o: parser/cmdline.h
++parser/lex.de.o: /usr/include/stdio.h /usr/include/features.h
++parser/lex.de.o: /usr/include/sys/cdefs.h /usr/include/gnu/stubs.h
++parser/lex.de.o: /usr/include/bits/types.h /usr/include/bits/pthreadtypes.h
++parser/lex.de.o: /usr/include/bits/sched.h /usr/include/libio.h
++parser/lex.de.o: /usr/include/_G_config.h /usr/include/wchar.h
++parser/lex.de.o: /usr/include/bits/wchar.h /usr/include/gconv.h
++parser/lex.de.o: /usr/include/bits/stdio_lim.h
++parser/lex.de.o: /usr/include/bits/sys_errlist.h /usr/include/errno.h
++parser/lex.de.o: /usr/include/bits/errno.h /usr/include/linux/errno.h
++parser/lex.de.o: /usr/include/asm/errno.h /usr/include/limits.h
++parser/lex.de.o: /usr/include/bits/posix1_lim.h /usr/include/bits/local_lim.h
++parser/lex.de.o: /usr/include/linux/limits.h /usr/include/bits/posix2_lim.h
++parser/lex.de.o: /usr/include/bits/xopen_lim.h /usr/include/bits/wordsize.h
++parser/lex.de.o: /usr/include/string.h /usr/include/xlocale.h
++parser/lex.de.o: /usr/include/assert.h Type/typedefs.h
++parser/lex.de.o: /usr/include/sys/types.h /usr/include/time.h
++parser/lex.de.o: /usr/include/endian.h /usr/include/bits/endian.h
++parser/lex.de.o: /usr/include/sys/select.h /usr/include/bits/select.h
++parser/lex.de.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++parser/lex.de.o: /usr/include/sys/sysmacros.h parser/marde.tab.h
++parser/lex.de.o: parser/StringBuffer.h parser/util.h parser/Printer.h
++parser/lex.de.o: /usr/include/stdlib.h /usr/include/bits/waitflags.h
++parser/lex.de.o: /usr/include/bits/waitstatus.h /usr/include/alloca.h
++parser/lex.de.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++parser/lex.de.o: /usr/include/bits/environments.h
++parser/lex.de.o: /usr/include/bits/confname.h /usr/include/getopt.h
++parser/cmdline.o: parser/cmdline.h /usr/include/stdio.h
++parser/cmdline.o: /usr/include/features.h /usr/include/sys/cdefs.h
++parser/cmdline.o: /usr/include/gnu/stubs.h /usr/include/bits/types.h
++parser/cmdline.o: /usr/include/bits/pthreadtypes.h /usr/include/bits/sched.h
++parser/cmdline.o: /usr/include/libio.h /usr/include/_G_config.h
++parser/cmdline.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++parser/cmdline.o: /usr/include/gconv.h /usr/include/bits/stdio_lim.h
++parser/cmdline.o: /usr/include/bits/sys_errlist.h /usr/include/stdlib.h
++parser/cmdline.o: /usr/include/bits/waitflags.h
++parser/cmdline.o: /usr/include/bits/waitstatus.h /usr/include/endian.h
++parser/cmdline.o: /usr/include/bits/endian.h /usr/include/xlocale.h
++parser/cmdline.o: /usr/include/sys/types.h /usr/include/time.h
++parser/cmdline.o: /usr/include/sys/select.h /usr/include/bits/select.h
++parser/cmdline.o: /usr/include/bits/sigset.h /usr/include/bits/time.h
++parser/cmdline.o: /usr/include/sys/sysmacros.h /usr/include/alloca.h
++parser/cmdline.o: /usr/include/string.h /usr/include/sys/time.h
++parser/cmdline.o: /usr/include/unistd.h /usr/include/bits/posix_opt.h
++parser/cmdline.o: /usr/include/bits/environments.h
++parser/cmdline.o: /usr/include/bits/wordsize.h /usr/include/bits/confname.h
++parser/cmdline.o: /usr/include/getopt.h /usr/include/errno.h
++parser/cmdline.o: /usr/include/bits/errno.h /usr/include/linux/errno.h
++parser/cmdline.o: /usr/include/asm/errno.h /usr/include/assert.h
++parser/cmdline.o: /usr/include/readline/readline.h
++parser/cmdline.o: /usr/include/readline/rlstdc.h
++parser/cmdline.o: /usr/include/readline/rltypedefs.h
++parser/cmdline.o: /usr/include/readline/keymaps.h
++parser/cmdline.o: /usr/include/readline/chardefs.h /usr/include/ctype.h
++parser/cmdline.o: /usr/include/readline/tilde.h
++parser/cmdline.o: /usr/include/readline/history.h
diff --combined maria-vis
index 0351bd3,596e68a..1916fe0
--- a/maria-vis
+++ b/maria-vis
@@@ -1,4 -1,10 +1,10 @@@
-#!/usr/local/bin/lefty
+#!/usr/bin/lefty
+ # This is a graphical user interface for maria(1).
+ # It requires the lefty interpreter and the dotty*.lefty scripts of GraphViz.
+ #
+ # This script was written in 2001 by Marko Mäkelä <msmakela at tcs.hut.fi>,
+ # and it is in the public domain. See maria-vis(1) for documentation.
+
load ('dotty.lefty');
checkpath = function () {
if (tablesize (dotty) > 0) {
--
maria packaging
More information about the debian-science-commits
mailing list