1 files changed, 0 insertions, 503 deletions
diff --git a/omega/omega_calc/obj/Makefile.deps b/omega/omega_calc/obj/Makefile.deps
deleted file mode 100644
index cf5dddb..0000000
--- a/omega/omega_calc/obj/Makefile.deps
+++ /dev/null
@@ -1,503 +0,0 @@
-AST.o: ../src/AST.cc ../include/omega_calc/AST.h /usr/include/assert.h \
- /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \
- /usr/include/i386-linux-gnu/sys/cdefs.h \
- /usr/include/i386-linux-gnu/bits/wordsize.h \
- /usr/include/i386-linux-gnu/gnu/stubs.h \
- /usr/include/i386-linux-gnu/gnu/stubs-32.h \
- ../../omega_lib/include/omega.h \
- ../../omega_lib/include/omega/omega_core/debugging.h \
- /usr/include/stdio.h /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \
- /usr/include/i386-linux-gnu/bits/types.h \
- /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \
- /usr/include/_G_config.h /usr/include/wchar.h \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \
- /usr/include/i386-linux-gnu/bits/stdio_lim.h \
- /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/ctype.h \
- /usr/include/endian.h /usr/include/i386-linux-gnu/bits/endian.h \
- /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \
- ../../omega_lib/include/omega/pres_var.h \
- ../../omega_lib/include/omega/pres_gen.h \
- ../../omega_lib/include/omega/omega_core/oc.h \
- /usr/include/c++/4.4/string \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \
- /usr/include/c++/4.4/bits/stringfwd.h \
- /usr/include/c++/4.4/bits/char_traits.h \
- /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \
- /usr/include/c++/4.4/bits/functexcept.h \
- /usr/include/c++/4.4/exception_defines.h \
- /usr/include/c++/4.4/bits/cpp_type_traits.h \
- /usr/include/c++/4.4/ext/type_traits.h \
- /usr/include/c++/4.4/ext/numeric_traits.h \
- /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \
- /usr/include/c++/4.4/bits/concept_check.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_types.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \
- /usr/include/c++/4.4/bits/stl_iterator.h \
- /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \
- /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \
- /usr/include/c++/4.4/bits/allocator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \
- /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \
- /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \
- /usr/include/c++/4.4/clocale /usr/include/locale.h \
- /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \
- /usr/include/c++/4.4/cctype /usr/include/c++/4.4/bits/ostream_insert.h \
- /usr/include/c++/4.4/cxxabi-forced.h \
- /usr/include/c++/4.4/bits/stl_function.h \
- /usr/include/c++/4.4/backward/binders.h \
- /usr/include/c++/4.4/bits/basic_string.h \
- /usr/include/c++/4.4/ext/atomicity.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \
- /usr/include/i386-linux-gnu/bits/sched.h \
- /usr/include/i386-linux-gnu/bits/time.h \
- /usr/include/i386-linux-gnu/bits/timex.h \
- /usr/include/i386-linux-gnu/bits/pthreadtypes.h \
- /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \
- /usr/include/i386-linux-gnu/bits/posix_opt.h \
- /usr/include/i386-linux-gnu/bits/environments.h \
- /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \
- /usr/include/c++/4.4/initializer_list \
- /usr/include/c++/4.4/bits/basic_string.tcc \
- ../../basic/include/basic/util.h /usr/include/stdlib.h \
- /usr/include/i386-linux-gnu/bits/waitflags.h \
- /usr/include/i386-linux-gnu/bits/waitstatus.h \
- /usr/include/i386-linux-gnu/sys/types.h \
- /usr/include/i386-linux-gnu/sys/select.h \
- /usr/include/i386-linux-gnu/bits/select.h \
- /usr/include/i386-linux-gnu/bits/sigset.h \
- /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \
- /usr/include/c++/4.4/sstream /usr/include/c++/4.4/istream \
- /usr/include/c++/4.4/ios /usr/include/c++/4.4/bits/ios_base.h \
- /usr/include/c++/4.4/bits/locale_classes.h \
- /usr/include/c++/4.4/bits/locale_classes.tcc \
- /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \
- /usr/include/c++/4.4/bits/basic_ios.h \
- /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \
- /usr/include/wctype.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \
- /usr/include/c++/4.4/bits/streambuf_iterator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \
- /usr/include/c++/4.4/bits/locale_facets.tcc \
- /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \
- /usr/include/c++/4.4/bits/ostream.tcc \
- /usr/include/c++/4.4/bits/istream.tcc \
- /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \
- ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \
- ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \
- ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \
- ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \
- /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \
- /usr/include/c++/4.4/bits/stl_map.h \
- /usr/include/c++/4.4/bits/stl_multimap.h \
- ../../omega_lib/include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \
- /usr/include/c++/4.4/bits/stl_construct.h \
- /usr/include/c++/4.4/bits/stl_uninitialized.h \
- /usr/include/c++/4.4/bits/stl_vector.h \
- /usr/include/c++/4.4/bits/stl_bvector.h \
- /usr/include/c++/4.4/bits/vector.tcc \
- ../../omega_lib/include/omega/pres_subs.h \
- ../../omega_lib/include/omega/Relation.h \
- ../../omega_lib/include/omega/RelBody.h \
- ../../omega_lib/include/omega/pres_form.h \
- ../../omega_lib/include/omega/pres_dnf.h /usr/include/c++/4.4/iostream \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \
- /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \
- /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \
- /usr/include/i386-linux-gnu/bits/posix2_lim.h \
- /usr/include/i386-linux-gnu/bits/xopen_lim.h \
- ../../omega_lib/include/omega/Relations.h \
- ../../omega_lib/include/omega/pres_conj.h \
- ../../omega_lib/include/omega/pres_decl.h \
- ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \
- ../../omega_lib/include/omega/pres_logic.h \
- ../../omega_lib/include/omega/pres_quant.h \
- ../../omega_lib/include/omega/pres_cmpr.h \
- ../../omega_lib/include/omega/Rel_map.h \
- ../../omega_lib/include/omega/farkas.h \
- ../../omega_lib/include/omega/hull.h \
- ../../omega_lib/include/omega/closure.h /usr/include/c++/4.4/set \
- /usr/include/c++/4.4/bits/stl_set.h \
- /usr/include/c++/4.4/bits/stl_multiset.h /usr/include/string.h
-myflex.o: ../src/myflex.cc ../include/omega_calc/myflex.h FlexLexer.h \
- /usr/include/c++/4.4/iostream \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \
- /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \
- /usr/include/i386-linux-gnu/sys/cdefs.h \
- /usr/include/i386-linux-gnu/bits/wordsize.h \
- /usr/include/i386-linux-gnu/gnu/stubs.h \
- /usr/include/i386-linux-gnu/gnu/stubs-32.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \
- /usr/include/c++/4.4/ostream /usr/include/c++/4.4/ios \
- /usr/include/c++/4.4/iosfwd /usr/include/c++/4.4/bits/stringfwd.h \
- /usr/include/c++/4.4/bits/postypes.h /usr/include/c++/4.4/cwchar \
- /usr/include/c++/4.4/cstddef \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h /usr/include/wchar.h \
- /usr/include/stdio.h /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \
- /usr/include/i386-linux-gnu/bits/wchar.h /usr/include/xlocale.h \
- /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/char_traits.h \
- /usr/include/c++/4.4/bits/stl_algobase.h \
- /usr/include/c++/4.4/bits/functexcept.h \
- /usr/include/c++/4.4/exception_defines.h \
- /usr/include/c++/4.4/bits/cpp_type_traits.h \
- /usr/include/c++/4.4/ext/type_traits.h \
- /usr/include/c++/4.4/ext/numeric_traits.h \
- /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \
- /usr/include/c++/4.4/bits/concept_check.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_types.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \
- /usr/include/c++/4.4/bits/stl_iterator.h \
- /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/localefwd.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \
- /usr/include/c++/4.4/clocale /usr/include/locale.h \
- /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/cctype \
- /usr/include/ctype.h /usr/include/i386-linux-gnu/bits/types.h \
- /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/endian.h \
- /usr/include/i386-linux-gnu/bits/endian.h \
- /usr/include/i386-linux-gnu/bits/byteswap.h \
- /usr/include/c++/4.4/bits/ios_base.h \
- /usr/include/c++/4.4/ext/atomicity.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \
- /usr/include/i386-linux-gnu/bits/sched.h \
- /usr/include/i386-linux-gnu/bits/time.h \
- /usr/include/i386-linux-gnu/bits/timex.h \
- /usr/include/i386-linux-gnu/bits/pthreadtypes.h \
- /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \
- /usr/include/i386-linux-gnu/bits/posix_opt.h \
- /usr/include/i386-linux-gnu/bits/environments.h \
- /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \
- /usr/include/c++/4.4/bits/locale_classes.h /usr/include/c++/4.4/string \
- /usr/include/c++/4.4/bits/allocator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \
- /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \
- /usr/include/c++/4.4/bits/ostream_insert.h \
- /usr/include/c++/4.4/cxxabi-forced.h \
- /usr/include/c++/4.4/bits/stl_function.h \
- /usr/include/c++/4.4/backward/binders.h \
- /usr/include/c++/4.4/bits/basic_string.h \
- /usr/include/c++/4.4/initializer_list \
- /usr/include/c++/4.4/bits/basic_string.tcc \
- /usr/include/c++/4.4/bits/locale_classes.tcc \
- /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \
- /usr/include/c++/4.4/bits/basic_ios.h \
- /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \
- /usr/include/wctype.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \
- /usr/include/c++/4.4/bits/streambuf_iterator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \
- /usr/include/c++/4.4/bits/locale_facets.tcc \
- /usr/include/c++/4.4/bits/basic_ios.tcc \
- /usr/include/c++/4.4/bits/ostream.tcc /usr/include/c++/4.4/istream \
- /usr/include/c++/4.4/bits/istream.tcc /usr/include/c++/4.4/vector \
- /usr/include/c++/4.4/bits/stl_construct.h \
- /usr/include/c++/4.4/bits/stl_uninitialized.h \
- /usr/include/c++/4.4/bits/stl_vector.h \
- /usr/include/c++/4.4/bits/stl_bvector.h \
- /usr/include/c++/4.4/bits/vector.tcc ../../basic/include/basic/util.h \
- /usr/include/libio.h /usr/include/_G_config.h \
- /usr/include/i386-linux-gnu/bits/stdio_lim.h \
- /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \
- /usr/include/i386-linux-gnu/bits/waitflags.h \
- /usr/include/i386-linux-gnu/bits/waitstatus.h \
- /usr/include/i386-linux-gnu/sys/types.h \
- /usr/include/i386-linux-gnu/sys/select.h \
- /usr/include/i386-linux-gnu/bits/select.h \
- /usr/include/i386-linux-gnu/bits/sigset.h \
- /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \
- /usr/include/assert.h /usr/include/c++/4.4/sstream \
- /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \
- /usr/include/string.h /usr/include/termios.h \
- /usr/include/i386-linux-gnu/bits/termios.h \
- /usr/include/i386-linux-gnu/sys/ttydefaults.h \
- /usr/include/i386-linux-gnu/sys/ioctl.h \
- /usr/include/i386-linux-gnu/bits/ioctls.h \
- /usr/include/i386-linux-gnu/asm/ioctls.h \
- /usr/include/asm-generic/ioctls.h /usr/include/linux/ioctl.h \
- /usr/include/i386-linux-gnu/asm/ioctl.h /usr/include/asm-generic/ioctl.h \
- /usr/include/i386-linux-gnu/bits/ioctl-types.h
-lex.yy.o: lex.yy.cc /usr/include/c++/4.4/iostream \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \
- /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \
- /usr/include/i386-linux-gnu/sys/cdefs.h \
- /usr/include/i386-linux-gnu/bits/wordsize.h \
- /usr/include/i386-linux-gnu/gnu/stubs.h \
- /usr/include/i386-linux-gnu/gnu/stubs-32.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \
- /usr/include/c++/4.4/ostream /usr/include/c++/4.4/ios \
- /usr/include/c++/4.4/iosfwd /usr/include/c++/4.4/bits/stringfwd.h \
- /usr/include/c++/4.4/bits/postypes.h /usr/include/c++/4.4/cwchar \
- /usr/include/c++/4.4/cstddef \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h /usr/include/wchar.h \
- /usr/include/stdio.h /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \
- /usr/include/i386-linux-gnu/bits/wchar.h /usr/include/xlocale.h \
- /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/char_traits.h \
- /usr/include/c++/4.4/bits/stl_algobase.h \
- /usr/include/c++/4.4/bits/functexcept.h \
- /usr/include/c++/4.4/exception_defines.h \
- /usr/include/c++/4.4/bits/cpp_type_traits.h \
- /usr/include/c++/4.4/ext/type_traits.h \
- /usr/include/c++/4.4/ext/numeric_traits.h \
- /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \
- /usr/include/c++/4.4/bits/concept_check.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_types.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \
- /usr/include/c++/4.4/bits/stl_iterator.h \
- /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/localefwd.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \
- /usr/include/c++/4.4/clocale /usr/include/locale.h \
- /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/cctype \
- /usr/include/ctype.h /usr/include/i386-linux-gnu/bits/types.h \
- /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/endian.h \
- /usr/include/i386-linux-gnu/bits/endian.h \
- /usr/include/i386-linux-gnu/bits/byteswap.h \
- /usr/include/c++/4.4/bits/ios_base.h \
- /usr/include/c++/4.4/ext/atomicity.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \
- /usr/include/i386-linux-gnu/bits/sched.h \
- /usr/include/i386-linux-gnu/bits/time.h \
- /usr/include/i386-linux-gnu/bits/timex.h \
- /usr/include/i386-linux-gnu/bits/pthreadtypes.h \
- /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \
- /usr/include/i386-linux-gnu/bits/posix_opt.h \
- /usr/include/i386-linux-gnu/bits/environments.h \
- /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \
- /usr/include/c++/4.4/bits/locale_classes.h /usr/include/c++/4.4/string \
- /usr/include/c++/4.4/bits/allocator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \
- /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \
- /usr/include/c++/4.4/bits/ostream_insert.h \
- /usr/include/c++/4.4/cxxabi-forced.h \
- /usr/include/c++/4.4/bits/stl_function.h \
- /usr/include/c++/4.4/backward/binders.h \
- /usr/include/c++/4.4/bits/basic_string.h \
- /usr/include/c++/4.4/initializer_list \
- /usr/include/c++/4.4/bits/basic_string.tcc \
- /usr/include/c++/4.4/bits/locale_classes.tcc \
- /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \
- /usr/include/c++/4.4/bits/basic_ios.h \
- /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \
- /usr/include/wctype.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \
- /usr/include/c++/4.4/bits/streambuf_iterator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \
- /usr/include/c++/4.4/bits/locale_facets.tcc \
- /usr/include/c++/4.4/bits/basic_ios.tcc \
- /usr/include/c++/4.4/bits/ostream.tcc /usr/include/c++/4.4/istream \
- /usr/include/c++/4.4/bits/istream.tcc /usr/include/errno.h \
- /usr/include/i386-linux-gnu/bits/errno.h /usr/include/linux/errno.h \
- /usr/include/i386-linux-gnu/asm/errno.h /usr/include/asm-generic/errno.h \
- /usr/include/asm-generic/errno-base.h /usr/include/c++/4.4/cstdlib \
- /usr/include/stdlib.h /usr/include/i386-linux-gnu/bits/waitflags.h \
- /usr/include/i386-linux-gnu/bits/waitstatus.h \
- /usr/include/i386-linux-gnu/sys/types.h \
- /usr/include/i386-linux-gnu/sys/select.h \
- /usr/include/i386-linux-gnu/bits/select.h \
- /usr/include/i386-linux-gnu/bits/sigset.h \
- /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \
- /usr/include/c++/4.4/cstdio /usr/include/libio.h \
- /usr/include/_G_config.h /usr/include/i386-linux-gnu/bits/stdio_lim.h \
- /usr/include/i386-linux-gnu/bits/sys_errlist.h \
- /usr/include/c++/4.4/cstring /usr/include/string.h FlexLexer.h \
- /usr/include/c++/4.4/sstream /usr/include/c++/4.4/bits/sstream.tcc \
- /usr/include/c++/4.4/fstream /usr/include/c++/4.4/bits/codecvt.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/basic_file.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++io.h \
- /usr/include/c++/4.4/bits/fstream.tcc ../include/omega_calc/AST.h \
- /usr/include/assert.h ../../omega_lib/include/omega.h \
- ../../omega_lib/include/omega/omega_core/debugging.h \
- ../../omega_lib/include/omega/pres_var.h \
- ../../omega_lib/include/omega/pres_gen.h \
- ../../omega_lib/include/omega/omega_core/oc.h \
- ../../basic/include/basic/util.h /usr/include/c++/4.4/stdexcept \
- ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \
- ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \
- ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \
- ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \
- /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \
- /usr/include/c++/4.4/bits/stl_map.h \
- /usr/include/c++/4.4/bits/stl_multimap.h \
- ../../omega_lib/include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \
- /usr/include/c++/4.4/bits/stl_construct.h \
- /usr/include/c++/4.4/bits/stl_uninitialized.h \
- /usr/include/c++/4.4/bits/stl_vector.h \
- /usr/include/c++/4.4/bits/stl_bvector.h \
- /usr/include/c++/4.4/bits/vector.tcc \
- ../../omega_lib/include/omega/pres_subs.h \
- ../../omega_lib/include/omega/Relation.h \
- ../../omega_lib/include/omega/RelBody.h \
- ../../omega_lib/include/omega/pres_form.h \
- ../../omega_lib/include/omega/pres_dnf.h \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \
- /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \
- /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \
- /usr/include/i386-linux-gnu/bits/posix2_lim.h \
- /usr/include/i386-linux-gnu/bits/xopen_lim.h \
- ../../omega_lib/include/omega/Relations.h \
- ../../omega_lib/include/omega/pres_conj.h \
- ../../omega_lib/include/omega/pres_decl.h \
- ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \
- ../../omega_lib/include/omega/pres_logic.h \
- ../../omega_lib/include/omega/pres_quant.h \
- ../../omega_lib/include/omega/pres_cmpr.h \
- ../../omega_lib/include/omega/Rel_map.h \
- ../../omega_lib/include/omega/farkas.h \
- ../../omega_lib/include/omega/hull.h \
- ../../omega_lib/include/omega/closure.h /usr/include/c++/4.4/set \
- /usr/include/c++/4.4/bits/stl_set.h \
- /usr/include/c++/4.4/bits/stl_multiset.h \
- ../../basic/include/basic/Dynamic_Array.h \
- ../../basic/include/basic/Dynamic_Array.c parser.tab.hh \
- ../include/omega_calc/myflex.h
-parser.tab.o: parser.tab.cc ../../basic/include/basic/Dynamic_Array.h \
- ../../basic/include/basic/Dynamic_Array.c /usr/include/assert.h \
- /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \
- /usr/include/i386-linux-gnu/sys/cdefs.h \
- /usr/include/i386-linux-gnu/bits/wordsize.h \
- /usr/include/i386-linux-gnu/gnu/stubs.h \
- /usr/include/i386-linux-gnu/gnu/stubs-32.h \
- ../../basic/include/basic/Iterator.h \
- ../../basic/include/basic/Collection.h ../include/omega_calc/AST.h \
- ../../omega_lib/include/omega.h \
- ../../omega_lib/include/omega/omega_core/debugging.h \
- /usr/include/stdio.h /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \
- /usr/include/i386-linux-gnu/bits/types.h \
- /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \
- /usr/include/_G_config.h /usr/include/wchar.h \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \
- /usr/include/i386-linux-gnu/bits/stdio_lim.h \
- /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/ctype.h \
- /usr/include/endian.h /usr/include/i386-linux-gnu/bits/endian.h \
- /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \
- ../../omega_lib/include/omega/pres_var.h \
- ../../omega_lib/include/omega/pres_gen.h \
- ../../omega_lib/include/omega/omega_core/oc.h \
- /usr/include/c++/4.4/string \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \
- /usr/include/c++/4.4/bits/stringfwd.h \
- /usr/include/c++/4.4/bits/char_traits.h \
- /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \
- /usr/include/c++/4.4/bits/functexcept.h \
- /usr/include/c++/4.4/exception_defines.h \
- /usr/include/c++/4.4/bits/cpp_type_traits.h \
- /usr/include/c++/4.4/ext/type_traits.h \
- /usr/include/c++/4.4/ext/numeric_traits.h \
- /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \
- /usr/include/c++/4.4/bits/concept_check.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_types.h \
- /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \
- /usr/include/c++/4.4/bits/stl_iterator.h \
- /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \
- /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \
- /usr/include/c++/4.4/bits/allocator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \
- /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \
- /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \
- /usr/include/c++/4.4/clocale /usr/include/locale.h \
- /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \
- /usr/include/c++/4.4/cctype /usr/include/c++/4.4/bits/ostream_insert.h \
- /usr/include/c++/4.4/cxxabi-forced.h \
- /usr/include/c++/4.4/bits/stl_function.h \
- /usr/include/c++/4.4/backward/binders.h \
- /usr/include/c++/4.4/bits/basic_string.h \
- /usr/include/c++/4.4/ext/atomicity.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \
- /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \
- /usr/include/i386-linux-gnu/bits/sched.h \
- /usr/include/i386-linux-gnu/bits/time.h \
- /usr/include/i386-linux-gnu/bits/timex.h \
- /usr/include/i386-linux-gnu/bits/pthreadtypes.h \
- /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \
- /usr/include/i386-linux-gnu/bits/posix_opt.h \
- /usr/include/i386-linux-gnu/bits/environments.h \
- /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \
- /usr/include/c++/4.4/initializer_list \
- /usr/include/c++/4.4/bits/basic_string.tcc \
- ../../basic/include/basic/util.h /usr/include/stdlib.h \
- /usr/include/i386-linux-gnu/bits/waitflags.h \
- /usr/include/i386-linux-gnu/bits/waitstatus.h \
- /usr/include/i386-linux-gnu/sys/types.h \
- /usr/include/i386-linux-gnu/sys/select.h \
- /usr/include/i386-linux-gnu/bits/select.h \
- /usr/include/i386-linux-gnu/bits/sigset.h \
- /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \
- /usr/include/c++/4.4/sstream /usr/include/c++/4.4/istream \
- /usr/include/c++/4.4/ios /usr/include/c++/4.4/bits/ios_base.h \
- /usr/include/c++/4.4/bits/locale_classes.h \
- /usr/include/c++/4.4/bits/locale_classes.tcc \
- /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \
- /usr/include/c++/4.4/bits/basic_ios.h \
- /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \
- /usr/include/wctype.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \
- /usr/include/c++/4.4/bits/streambuf_iterator.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \
- /usr/include/c++/4.4/bits/locale_facets.tcc \
- /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \
- /usr/include/c++/4.4/bits/ostream.tcc \
- /usr/include/c++/4.4/bits/istream.tcc \
- /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \
- ../../basic/include/basic/Tuple.h ../../basic/include/basic/Tuple.c \
- ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \
- ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \
- /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \
- /usr/include/c++/4.4/bits/stl_map.h \
- /usr/include/c++/4.4/bits/stl_multimap.h \
- ../../omega_lib/include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \
- /usr/include/c++/4.4/bits/stl_construct.h \
- /usr/include/c++/4.4/bits/stl_uninitialized.h \
- /usr/include/c++/4.4/bits/stl_vector.h \
- /usr/include/c++/4.4/bits/stl_bvector.h \
- /usr/include/c++/4.4/bits/vector.tcc \
- ../../omega_lib/include/omega/pres_subs.h \
- ../../omega_lib/include/omega/Relation.h \
- ../../omega_lib/include/omega/RelBody.h \
- ../../omega_lib/include/omega/pres_form.h \
- ../../omega_lib/include/omega/pres_dnf.h /usr/include/c++/4.4/iostream \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \
- /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \
- /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \
- /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \
- /usr/include/i386-linux-gnu/bits/posix2_lim.h \
- /usr/include/i386-linux-gnu/bits/xopen_lim.h \
- ../../omega_lib/include/omega/Relations.h \
- ../../omega_lib/include/omega/pres_conj.h \
- ../../omega_lib/include/omega/pres_decl.h \
- ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \
- ../../omega_lib/include/omega/pres_logic.h \
- ../../omega_lib/include/omega/pres_quant.h \
- ../../omega_lib/include/omega/pres_cmpr.h \
- ../../omega_lib/include/omega/Rel_map.h \
- ../../omega_lib/include/omega/farkas.h \
- ../../omega_lib/include/omega/hull.h \
- ../../omega_lib/include/omega/closure.h /usr/include/c++/4.4/set \
- /usr/include/c++/4.4/bits/stl_set.h \
- /usr/include/c++/4.4/bits/stl_multiset.h \
- ../../omega_lib/include/omega/reach.h /usr/include/c++/4.4/fstream \
- /usr/include/c++/4.4/bits/codecvt.h /usr/include/c++/4.4/cstdio \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/basic_file.h \
- /usr/include/c++/4.4/i686-linux-gnu/./bits/c++io.h \
- /usr/include/c++/4.4/bits/fstream.tcc parser.tab.hh \
- ../include/omega_calc/myflex.h FlexLexer.h \
- /usr/include/i386-linux-gnu/sys/time.h \
- /usr/include/i386-linux-gnu/sys/resource.h \
- /usr/include/i386-linux-gnu/bits/resource.h