[SCM] maria packaging branch, master, updated. upstream/1.2-22-gc4c33c2
Ralf Treinen
treinen at free.fr
Fri May 13 19:26:05 UTC 2011
The following commit has been merged in the master branch:
commit 95af61d00e98be4143bbd264781ad77443a95bf0
Merge: 2e0dda3f4abd0113e67c7c90a7bd423e7871c397 a75d4ea6fb7bcb7c2c5e1461439aa317404e7ee2
Author: Ralf Treinen <treinen at debian.org>
Date: Thu Dec 5 21:32:26 2002 +0100
Imported Debian patch 1.3.2-1
diff --combined Compilation/runtime/codec.h
index 68e8d6f,68e8d6f..9ab18de
--- a/Compilation/runtime/codec.h
+++ b/Compilation/runtime/codec.h
@@@ -4,8 -4,8 +4,15 @@@
#include<string.h>
/* determine the endianness */
--#if defined __alpha
--# include <machine/endian.h>
++#if defined __linux
++# include <endian.h>
++# if !defined BYTE_ORDER
++# define BYTE_ORDER __BYTE_ORDER
++# define LITTLE_ENDIAN __LITTLE_ENDIAN
++# define BIG_ENDIAN __BIG_ENDIAN
++# endif /* !defined BYTE_ORDER */
++#elif defined __alpha
++# include <endian.h>
#elif defined __sun || defined __hpux
# include <sys/byteorder.h>
# if !defined BYTE_ORDER
@@@ -24,13 -24,13 +31,6 @@@
# define BYTE_ORDER BIG_ENDIAN
# endif /* little/big endian */
# endif /* !defined BYTE_ORDER */
--#elif defined __linux
--# include <endian.h>
--# if !defined BYTE_ORDER
--# define BYTE_ORDER __BYTE_ORDER
--# define LITTLE_ENDIAN __LITTLE_ENDIAN
--# define BIG_ENDIAN __BIG_ENDIAN
--# endif /* !defined BYTE_ORDER */
#elif defined __sgi
# include <standards.h>
# include <sys/endian.h>
diff --combined Graph/BitBuffer.h
index 29519ee,29519ee..94af517
--- a/Graph/BitBuffer.h
+++ b/Graph/BitBuffer.h
@@@ -13,7 -13,7 +13,14 @@@
# include "typedefs.h"
# include <string.h>
# include <assert.h>
--# if defined (__alpha)
++# if defined (__linux__)
++# include <endian.h>
++# if !defined BYTE_ORDER
++# define BYTE_ORDER __BYTE_ORDER
++# define LITTLE_ENDIAN __LITTLE_ENDIAN
++# define BIG_ENDIAN __BIG_ENDIAN
++# endif /* !defined BYTE_ORDER */
++# elif defined (__alpha)
# include <machine/endian.h>
# elif defined (__sun) || defined (__hpux)
# include <sys/byteorder.h>
@@@ -33,13 -33,13 +40,6 @@@
# define BYTE_ORDER BIG_ENDIAN
# endif // little/big endian
# endif // !defined(BYTE_ORDER)
--# elif defined (__linux__)
--# include <endian.h>
--# if !defined BYTE_ORDER
--# define BYTE_ORDER __BYTE_ORDER
--# define LITTLE_ENDIAN __LITTLE_ENDIAN
--# define BIG_ENDIAN __BIG_ENDIAN
--# endif /* !defined BYTE_ORDER */
# elif defined (__sgi)
# include <standards.h>
# include <sys/endian.h>
diff --combined Makefile.Linux
index 5beae05,8d45c3c..ecbc840
--- a/Makefile.Linux
+++ b/Makefile.Linux
@@@ -4,25 -4,24 +4,25 @@@
## 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
#EXPR_COMPILE =
- CXX = g++-3.0
- CC = gcc-3.0
- EXTRA_INCLUDES = -I/usr/include/g++-3
+ CXX = g++
+ CC = gcc
+ EXTRA_INCLUDES =
EXTRA_LIBS = -ldl# -lstlport
## The following is for g++ 2.95
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>'
+ #DEFINES = -DHAS_REGEX -DHAS_GETOPT_LONG -DHASH_MAP_LOC='<ext/hash_map>' -DSLIST_LOC='<ext/slist>' -DEXT_NS=std::
## 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 ab8376c,0000000..8d99a35
mode 100644,000000..100644
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,38 -1,0 +1,48 @@@
++maria (1.3.2-1) unstable; urgency=low
++
++ * New upstream release.
++ * Applied a patch to maria.texinfo sent by Marko Mäkelä.
++ * Compilation/runtime/codec.h, and Graph/BitBuffer.h: Put the test for
++ __linux before tests on specific architectures (solution suggested by
++ Marko Mäkelä). This should resolve the autobuilder failure on alpha.
++
++ -- Ralf Treinen <treinen at debian.org> Thu, 5 Dec 2002 21:32:26 +0100
++
+maria (1.3.1-3) unstable; urgency=low
+
+ * Build-Dependency on debhelper bumped up to >= 4.0
+ * debian/rules: target "build" does no longer depend on target "build-doc"
+
+ -- Ralf Treinen <treinen at debian.org> Fri, 29 Nov 2002 23:02:38 +0100
+
+maria (1.3.1-2) unstable; urgency=low
+
+ * Added build-dependency on xutils (needed since Makefile calls makedepend).
+ This should resolve the autobuilder failures on 1.3.1-1.
+ * DH_COMPAT=4 in debian/rules, and added ${misc:Depends} to the Depends
+ field in debian/control.
+
+ -- Ralf Treinen <treinen at debian.org> Thu, 28 Nov 2002 19:50:02 +0100
+
+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 726157e,0000000..0f42394
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 (>= 4.0), libreadline4-dev, libncurses5-dev, flex, bison, xutils
+Build-Depends-Indep: texinfo, texi2html
+Standards-Version: 3.5.8
+
+Package: maria
+Section: math
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Recommends: maria-doc, lbt
+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.
++ analyzer for algebraic system nets, both in the formats info and html.
diff --combined debian/maria-vis.install
index 8862ee1,0000000..273ff29
mode 100644,000000..100644
--- a/debian/maria-vis.install
+++ b/debian/maria-vis.install
@@@ -1,2 -1,0 +1,2 @@@
+maria-vis usr/bin
- maria-vis.1 usr/share/man/man1
++maria-vis.1 usr/share/man/man1
diff --combined debian/maria.install
index 2ba3089,0000000..037f2d5
mode 100644,000000..100644
--- a/debian/maria.install
+++ b/debian/maria.install
@@@ -1,1 -1,0 +1,1 @@@
- elisp/* usr/share/emacs/site-lisp/maria
++elisp/* usr/share/emacs/site-lisp/maria
diff --combined depend
index 2f7b4be,f1ba6d3..fb6f126
--- a/depend
+++ b/depend
@@@ -1,223 -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
@@@ -241,721 -61,182 +241,721 @@@ Expression/Expression.o: Expression/Tra
Expression/Expression.o: Expression/PlaceContents.h Expression/Submarking.h
Expression/Expression.o: Expression/Mapping.h Expression/EmptySet.h
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: Automata/BitVector.h 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 /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 Compilation/base/CExpression.h
- Expression/Constant.o: parser/StringBuffer.h
+ Expression/Constant.o: Value/Error.h Value/LeafValue.h Automata/Property.h
+ Expression/Constant.o: Automata/PropertyState.h Automata/BitVector.h
+ Expression/Constant.o: Compilation/base/CExpression.h 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: /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 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 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 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 Graph/BitBuffer.h
Expression/BufferUnop.o: Type/CardType.h 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: 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: 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 Graph/BitBuffer.h Expression/Constant.h
@@@ -963,416 -244,103 +963,416 @@@ Expression/BooleanBinop.o: Expression/N
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 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: 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: 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 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 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 /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
@@@ -1381,888 -349,180 +1381,887 @@@ Expression/Marking.o: Expression/Expres
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 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 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 /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 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/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: 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/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 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: Graph/BitBuffer.h Compilation/base/CExpression.h Value/Error.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 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 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 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 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/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 /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 /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
+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: Net/VariableDefinition.h parser/Printer.h
++Value/Valuation.o: parser/StringBuffer.h /usr/include/stdio.h
++Value/Valuation.o: /usr/include/libio.h /usr/include/_G_config.h
++Value/Valuation.o: /usr/include/wchar.h /usr/include/bits/wchar.h
++Value/Valuation.o: /usr/include/gconv.h /usr/include/bits/sys_errlist.h
++Value/Valuation.o: Expression/Expression.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/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/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/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
@@@ -2271,436 -531,77 +2270,436 @@@ Graph/StateSetReporter.o: Automata/Prop
Graph/StateSetReporter.o: parser/Printer.h parser/StringBuffer.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/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/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/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/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/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: 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: /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
@@@ -2708,84 -609,14 +2707,84 @@@ Compilation/base/Compilation.o: parser/
Compilation/base/Compilation.o: Expression/Expression.h Type/Constraint.h
Compilation/base/Compilation.o: Value/Value.h Value/Valuation.h
Compilation/base/Compilation.o: Automata/Property.h Automata/PropertyState.h
-Compilation/base/Compilation.o: 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/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: /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: 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
@@@ -2793,105 -624,26 +2792,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
-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
@@@ -2920,65 -672,16 +2919,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/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
@@@ -3008,58 -711,6 +3007,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 doc/maria.texinfo
index 8b223df,4030986..61f8b3d
--- a/doc/maria.texinfo
+++ b/doc/maria.texinfo
@@@ -2,8 -2,8 +2,8 @@@
@c %**start of header
@setfilename maria.info
@settitle Maria
- @set UPDATED 15 November 2002
- @set VERSION 1.3.1
+ @set UPDATED 5 December 2002
+ @set VERSION 1.3.2
@iftex
@syncodeindex fn cp
@@@ -2978,6 -2978,7 +2978,7 @@@ place name @samp{exit}, for instance
* Dump:: Displaying a model
* Unfold:: Unfolding a model
* LSTS:: Exporting a Labelled State Transition System
+ * Dumpgraph:: Exporting a reachability graph
* Depth and Breadth:: Exhaustive reachability analysis
* Eval:: Evaluating expressions and formulae
* Show:: Displaying markings
@@@ -3048,7 -3049,7 +3049,7 @@@ The @samp{unfold} command unfolds the c
The argument takes the same format as the command line option @samp{-u}
(@pxref{Maria Options}).
- @node LSTS, Depth and Breadth, Unfold, Query Language
+ @node LSTS, Dumpgraph, Unfold, Query Language
@subsubsection Exporting a Labelled State Transition System
@findex lsts at r{, query language}
@@@ -3082,7 -3083,25 +3083,25 @@@ The LSTS output can be controlled by hi
instances (@pxref{Transitions}) and by specifying state propositions
(@pxref{Propositions}).
- @node Depth and Breadth, Eval, LSTS, Query Language
+ @node Dumpgraph, Depth and Breadth, LSTS, Query Language
+ @subsubsection Exporting the Reachability Graph
+ @findex dumpgraph at r{, query language}
+ @findex visual at r{, query language}
+
+ @example
+ @group
+ statement:
+ [ VISUAL ] DUMPGRAPH
+ @end group
+ @end example
+
+ The command @samp{dumpgraph} exports the portion of the reachability
+ graph that has been generated so far. When the @samp{visual} prefix
+ is present, the reachability graph will be displayed graphically
+ (@pxref{Visual}). @xref{Depth and Breadth}, for information on
+ generating the reachability graph.
+
- at node Depth and Breadth, Eval, LSTS, Query Language
++ at node Depth and Breadth, Eval, Dumpgraph, Query Language
@subsubsection Exhaustive Analysis
@findex breadth at r{, query language}
@findex depth at r{, query language}
@@@ -3836,6 -3855,12 +3855,12 @@@ default @file{lefty} search path or in
@file{@var{progname}-vis} must be found in the search path, where
@file{@var{progname}} is the name used to invoke the analyzer.
+ On the Microsoft Windows platform, Maria does not invoke GraphViz as a
+ subprocess. Instead, it writes the visualization data to the file
+ @file{maria-vis.out} in the current directory. This file must be
+ slightly edited before feeding it to the @file{dotty} or @file{dot}
+ programs of GraphViz.
+
The visualization program reacts to some keyboard and mouse commands.
Pressing the left or middle mouse button while the mouse pointer is
located on a graph node requests for the successors or predecessors of
@@@ -4586,6 -4611,8 +4611,8 @@@ statement
|
LSTS [ name ]
|
+ [ VISUAL ] DUMPGRAPH
+ |
( BREADTH | DEPTH ) [ STATE ]
|
[ VISUAL ] ( BREADTH | DEPTH ) formula
--
maria packaging
More information about the debian-science-commits
mailing list