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