diff options
Diffstat (limited to 'omega/omega_lib/obj/Makefile.deps')
| -rw-r--r-- | omega/omega_lib/obj/Makefile.deps | 3772 |
1 files changed, 0 insertions, 3772 deletions
diff --git a/omega/omega_lib/obj/Makefile.deps b/omega/omega_lib/obj/Makefile.deps deleted file mode 100644 index 2978456..0000000 --- a/omega/omega_lib/obj/Makefile.deps +++ /dev/null @@ -1,3772 +0,0 @@ -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 |