diff options
Diffstat (limited to 'omega/omega_lib/obj/Makefile.deps')
| -rw-r--r-- | omega/omega_lib/obj/Makefile.deps | 3772 |
1 files changed, 3772 insertions, 0 deletions
diff --git a/omega/omega_lib/obj/Makefile.deps b/omega/omega_lib/obj/Makefile.deps new file mode 100644 index 0000000..2978456 --- /dev/null +++ b/omega/omega_lib/obj/Makefile.deps @@ -0,0 +1,3772 @@ +reach.o: ../src/reach.cc ../include/omega.h \ + ../include/omega/omega_core/debugging.h /usr/include/stdio.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/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 \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../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/assert.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 ../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 ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../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 \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/Dynamic_Array.h \ + ../../basic/include/basic/Dynamic_Array.c ../include/omega/reach.h +closure.o: ../src/closure.cc /usr/include/c++/4.4/typeinfo \ + /usr/include/c++/4.4/exception \ + /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/assert.h ../include/omega.h \ + ../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 \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/c++/4.4/string \ + /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/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 ../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 ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../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 \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/SimpleList.h \ + ../../basic/include/basic/SimpleList.c +Relations.o: ../src/Relations.cc ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/pres_dnf.h ../include/omega/pres_cnstr.h \ + ../include/omega/pres_var.h /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 /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 /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 \ + ../include/omega/Relations.h ../include/omega/Rel_map.h \ + ../include/omega/pres_tree.h ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_decl.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_conj.h ../include/omega/hull.h \ + ../include/omega/farkas.h ../../basic/include/basic/Map.h \ + ../../basic/include/basic/Map.c ../include/omega/omega_i.h +Relation.o: ../src/Relation.cc ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/pres_dnf.h ../include/omega/pres_cnstr.h \ + ../include/omega/pres_var.h /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 /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 /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 \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/Rel_map.h ../include/omega/omega_i.h +RelBody.o: ../src/RelBody.cc ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/RelBody.h ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/pres_dnf.h ../include/omega/Relation.h \ + ../include/omega/pres_cnstr.h ../include/omega/pres_var.h \ + /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 /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 /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 \ + ../include/omega/Relations.h ../include/omega/pres_tree.h \ + ../include/omega/pres_logic.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.h \ + ../include/omega/omega_i.h +RelVar.o: ../src/RelVar.cc ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/pres_dnf.h ../include/omega/omega_i.h \ + ../include/omega/pres_var.h /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 ../include/omega/Relation.h \ + ../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 /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 \ + ../include/omega/Relations.h +evac.o: ../src/evac.cc +farkas.o: ../src/farkas.cc ../../basic/include/basic/Bag.h \ + /usr/include/stdio.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/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 \ + ../../basic/include/basic/Iterator.h \ + ../../basic/include/basic/Collection.h ../../basic/include/basic/Link.h \ + ../../basic/include/basic/Bag.c /usr/include/assert.h \ + ../../basic/include/basic/Map.h ../../basic/include/basic/Map.c \ + ../include/omega.h ../include/omega/omega_core/debugging.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 \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../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/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 ../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 ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../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 \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h +hull_legacy.o: ../src/hull_legacy.cc ../include/omega.h \ + ../include/omega/omega_core/debugging.h /usr/include/stdio.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/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 \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../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/assert.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 ../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 ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../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 \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/Bag.h ../../basic/include/basic/Bag.c \ + ../../basic/include/basic/omega_error.h /usr/include/c++/4.4/list \ + /usr/include/c++/4.4/bits/stl_list.h /usr/include/c++/4.4/bits/list.tcc \ + /usr/include/c++/4.4/set /usr/include/c++/4.4/bits/stl_set.h \ + /usr/include/c++/4.4/bits/stl_multiset.h +hull_simple.o: ../src/hull_simple.cc /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 ../include/omega.h \ + ../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 \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../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 ../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 ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../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 \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/boolset.h /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h /usr/include/c++/4.4/list \ + /usr/include/c++/4.4/bits/stl_list.h /usr/include/c++/4.4/bits/list.tcc \ + /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/c++/4.4/algorithm \ + /usr/include/c++/4.4/bits/stl_algo.h /usr/include/c++/4.4/cstdlib \ + /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h +pres_print.o: ../src/pres_print.cc ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/pres_var.h /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 ../include/omega/pres_tree.h \ + ../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 ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.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 ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../../basic/include/basic/Bag.h ../../basic/include/basic/Bag.c \ + ../include/omega/omega_i.h +pres_rear.o: ../src/pres_rear.cc ../include/omega/pres_tree.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 ../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 ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.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 ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_beaut.o: ../src/pres_beaut.cc ../include/omega/pres_tree.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 ../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 ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.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 ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_dnf.o: ../src/pres_dnf.cc ../../basic/include/basic/Bag.h \ + /usr/include/stdio.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/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 \ + ../../basic/include/basic/Iterator.h \ + ../../basic/include/basic/Collection.h ../../basic/include/basic/Link.h \ + ../../basic/include/basic/Bag.c /usr/include/assert.h \ + ../include/omega/pres_dnf.h ../include/omega/pres_gen.h \ + ../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/xlocale.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/ctype.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/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 \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/List.c ../include/omega/pres_conj.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 \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + /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 ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../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 ../include/omega/pres_tree.h \ + ../include/omega/pres_quant.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h ../include/omega/omega_i.h +pres_conj.o: ../src/pres_conj.cc ../include/omega/omega_core/oc.h \ + /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../include/omega/pres_conj.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 \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../../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 ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../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 ../include/omega/pres_cmpr.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_dnf.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h ../include/omega/omega_i.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 +pres_quant.o: ../src/pres_quant.cc ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/omega_i.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + ../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 /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 \ + ../include/omega/Relations.h +pres_decl.o: ../src/pres_decl.cc ../include/omega/pres_decl.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/omega_i.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + ../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 /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 \ + ../include/omega/Relations.h +pres_logic.o: ../src/pres_logic.cc ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/pres_conj.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 \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + /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 \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../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 ../include/omega/pres_quant.h \ + ../include/omega/omega_i.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h +pres_form.o: ../src/pres_form.cc ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/pres_tree.h ../include/omega/pres_var.h \ + /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 ../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 ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_decl.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_conj.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 ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_cnstr.o: ../src/pres_cnstr.cc ../include/omega/pres_cnstr.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 /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 ../include/omega/pres_conj.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 \ + ../include/omega/pres_decl.h ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_var.o: ../src/pres_var.cc ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 ../include/omega/pres_tree.h \ + ../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 ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.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 ../include/omega/omega_i.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_dnf.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h +pres_gen.o: ../src/pres_gen.cc ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 +pres_col.o: ../src/pres_col.cc ../include/omega/pres_conj.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/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/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 \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.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/sys_errlist.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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../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 ../include/omega/RelBody.h \ + ../include/omega/pres_dnf.h ../include/omega/omega_i.h \ + ../include/omega/Relation.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h +pres_subs.o: ../src/pres_subs.cc ../include/omega/pres_subs.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.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/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/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/xlocale.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/ctype.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/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/assert.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 \ + ../include/omega/omega_core/debugging.h \ + ../../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 \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_dnf.h \ + ../include/omega/pres_cnstr.h ../include/omega/pres_var.h \ + /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 /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 /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 \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h +oc.o: ../src/omega_core/oc.cc ../include/omega/omega_core/oc_i.h \ + ../../basic/include/basic/util.h /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 +oc_solve.o: ../src/omega_core/oc_solve.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 +oc_simple.o: ../src/omega_core/oc_simple.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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/boolset.h \ + /usr/include/c++/4.4/iostream /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h \ + /usr/include/c++/4.4/algorithm /usr/include/c++/4.4/bits/stl_algo.h \ + /usr/include/c++/4.4/cstdlib /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h +oc_eq.o: ../src/omega_core/oc_eq.cc ../include/omega/omega_core/oc_i.h \ + ../../basic/include/basic/util.h /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 +oc_problems.o: ../src/omega_core/oc_problems.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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/omega_error.h +oc_print.o: ../src/omega_core/oc_print.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 +oc_quick_kill.o: ../src/omega_core/oc_quick_kill.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 /usr/include/c++/4.4/algorithm \ + /usr/include/c++/4.4/bits/stl_algo.h /usr/include/c++/4.4/cstdlib \ + /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h \ + ../../basic/include/basic/boolset.h /usr/include/c++/4.4/iostream \ + /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h +oc_exp_kill.o: ../src/omega_core/oc_exp_kill.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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/boolset.h \ + /usr/include/c++/4.4/iostream /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h +oc_query.o: ../src/omega_core/oc_query.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 +oc_util.o: ../src/omega_core/oc_util.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 /usr/include/c++/4.4/algorithm \ + /usr/include/c++/4.4/bits/stl_algo.h /usr/include/c++/4.4/cstdlib \ + /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h +oc_global.o: ../src/omega_core/oc_global.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.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/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/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.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 \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.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/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.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/ctype.h \ + /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/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.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 /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 \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /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 +ConstString.o: ../../basic/src/ConstString.cc \ + ../../basic/include/basic/ConstString.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/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/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/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.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/postypes.h \ + /usr/include/c++/4.4/cwchar /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/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/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/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 /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/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/assert.h \ + /usr/include/string.h +Link.o: ../../basic/src/Link.cc ../../basic/include/basic/Link.h \ + ../../basic/include/basic/Iterator.h \ + ../../basic/include/basic/Collection.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h |