diff options
| author | dhuth <derickhuth@gmail.com> | 2014-10-06 11:56:47 -0600 |
|---|---|---|
| committer | dhuth <derickhuth@gmail.com> | 2014-10-06 11:56:47 -0600 |
| commit | e4b20015a4ee35f1279af4caa983478fa2ff0d4a (patch) | |
| tree | f47cbff8b2bba458b54a739e91a87b303f7665f1 /omega/omega_lib/obj | |
| parent | 600fa18324c21a162c50c40ae5f00c899a41dd24 (diff) | |
| download | chill-e4b20015a4ee35f1279af4caa983478fa2ff0d4a.tar.gz chill-e4b20015a4ee35f1279af4caa983478fa2ff0d4a.tar.bz2 chill-e4b20015a4ee35f1279af4caa983478fa2ff0d4a.zip | |
Added omega to source
Diffstat (limited to 'omega/omega_lib/obj')
| -rw-r--r-- | omega/omega_lib/obj/Makefile | 57 | ||||
| -rw-r--r-- | omega/omega_lib/obj/Makefile.deps | 3772 |
2 files changed, 3829 insertions, 0 deletions
diff --git a/omega/omega_lib/obj/Makefile b/omega/omega_lib/obj/Makefile new file mode 100644 index 0000000..3d0ffd2 --- /dev/null +++ b/omega/omega_lib/obj/Makefile @@ -0,0 +1,57 @@ +# Makefile for release 1.0 of the omega system +# DON'T EDIT -- put any locally required changes in Makefile.config. +# See INSTALL for more details. + +LIB_TARGET = libomega.a + +all: $(LIB_TARGET) +depend: depend_self +clean: clean_self +veryclean: veryclean_self + + + +BASIC_SRC = $(BASEDIR)/basic/src/ConstString.cc $(BASEDIR)/basic/src/Link.cc +BASIC_OBJ = ConstString.o Link.o + +OC_SRC = ../src/omega_core/oc.cc ../src/omega_core/oc_solve.cc \ + ../src/omega_core/oc_simple.cc ../src/omega_core/oc_eq.cc \ + ../src/omega_core/oc_problems.cc ../src/omega_core/oc_print.cc \ + ../src/omega_core/oc_quick_kill.cc ../src/omega_core/oc_exp_kill.cc \ + ../src/omega_core/oc_query.cc ../src/omega_core/oc_util.cc \ + ../src/omega_core/oc_global.cc +OC_OBJ = $(addsuffix .o, $(basename $(notdir $(OC_SRC)))) + +PRES_SRC = ../src/pres_print.cc ../src/pres_rear.cc ../src/pres_beaut.cc \ + ../src/pres_dnf.cc ../src/pres_conj.cc ../src/pres_quant.cc \ + ../src/pres_decl.cc ../src/pres_logic.cc ../src/pres_form.cc \ + ../src/pres_cnstr.cc ../src/pres_var.cc ../src/pres_gen.cc \ + ../src/pres_col.cc ../src/pres_subs.cc +PRES_OBJ = $(addsuffix .o, $(basename $(notdir $(PRES_SRC)))) + +REL_SRC = ../src/Relations.cc ../src/Relation.cc ../src/RelBody.cc ../src/RelVar.cc \ + ../src/evac.cc ../src/farkas.cc ../src/hull_legacy.cc ../src/hull_simple.cc +REL_OBJ = $(addsuffix .o, $(basename $(notdir $(REL_SRC)))) + +FANCY_SRC = ../src/reach.cc ../src/closure.cc +FANCY_OBJ = $(addsuffix .o, $(basename $(notdir $(FANCY_SRC)))) + + +LIB_SRC = ${FANCY_SRC} ${REL_SRC} ${PRES_SRC} ${OC_SRC} ${BASIC_SRC} +LIB_OBJ = ${OC_OBJ} ${BASIC_OBJ} ${FANCY_OBJ} ${REL_OBJ} ${PRES_OBJ} + +OBJS=$(LIB_OBJ) +SRCS=$(LIB_SRC) +OBJS=$(LIB_OBJ) + +BASEDIR=../.. +include $(BASEDIR)/Makefile.config +include $(BASEDIR)/Makefile.rules + +#Extra rule for nonstandard source layout +%.o: ../src/omega_core/%.cc + $(CC) $(CFLAGS) $(INCL_PATH) -c $< -o $@ + +ifeq ($(shell test -f Makefile.deps && echo "true"), true) +include Makefile.deps +endif diff --git a/omega/omega_lib/obj/Makefile.deps b/omega/omega_lib/obj/Makefile.deps new file mode 100644 index 0000000..2978456 --- /dev/null +++ b/omega/omega_lib/obj/Makefile.deps @@ -0,0 +1,3772 @@ +reach.o: ../src/reach.cc ../include/omega.h \ + ../include/omega/omega_core/debugging.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/ctype.h \ + /usr/include/endian.h /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/Dynamic_Array.h \ + ../../basic/include/basic/Dynamic_Array.c ../include/omega/reach.h +closure.o: ../src/closure.cc /usr/include/c++/4.4/typeinfo \ + /usr/include/c++/4.4/exception \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/assert.h ../include/omega.h \ + ../include/omega/omega_core/debugging.h /usr/include/stdio.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/ctype.h \ + /usr/include/endian.h /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/c++/4.4/sstream /usr/include/c++/4.4/istream \ + /usr/include/c++/4.4/ios /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/SimpleList.h \ + ../../basic/include/basic/SimpleList.c +Relations.o: ../src/Relations.cc ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/pres_dnf.h ../include/omega/pres_cnstr.h \ + ../include/omega/pres_var.h /usr/include/c++/4.4/map \ + /usr/include/c++/4.4/bits/stl_tree.h /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/Rel_map.h \ + ../include/omega/pres_tree.h ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_decl.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_conj.h ../include/omega/hull.h \ + ../include/omega/farkas.h ../../basic/include/basic/Map.h \ + ../../basic/include/basic/Map.c ../include/omega/omega_i.h +Relation.o: ../src/Relation.cc ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/pres_dnf.h ../include/omega/pres_cnstr.h \ + ../include/omega/pres_var.h /usr/include/c++/4.4/map \ + /usr/include/c++/4.4/bits/stl_tree.h /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/Rel_map.h ../include/omega/omega_i.h +RelBody.o: ../src/RelBody.cc ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/RelBody.h ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/pres_dnf.h ../include/omega/Relation.h \ + ../include/omega/pres_cnstr.h ../include/omega/pres_var.h \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_tree.h \ + ../include/omega/pres_logic.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.h \ + ../include/omega/omega_i.h +RelVar.o: ../src/RelVar.cc ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/pres_dnf.h ../include/omega/omega_i.h \ + ../include/omega/pres_var.h /usr/include/c++/4.4/map \ + /usr/include/c++/4.4/bits/stl_tree.h /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/Relation.h \ + ../include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h +evac.o: ../src/evac.cc +farkas.o: ../src/farkas.cc ../../basic/include/basic/Bag.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + ../../basic/include/basic/Iterator.h \ + ../../basic/include/basic/Collection.h ../../basic/include/basic/Link.h \ + ../../basic/include/basic/Bag.c /usr/include/assert.h \ + ../../basic/include/basic/Map.h ../../basic/include/basic/Map.c \ + ../include/omega.h ../include/omega/omega_core/debugging.h \ + /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/c++/4.4/sstream /usr/include/c++/4.4/istream \ + /usr/include/c++/4.4/ios /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/List.c /usr/include/c++/4.4/map \ + /usr/include/c++/4.4/bits/stl_tree.h /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h +hull_legacy.o: ../src/hull_legacy.cc ../include/omega.h \ + ../include/omega/omega_core/debugging.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/ctype.h \ + /usr/include/endian.h /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/Bag.h ../../basic/include/basic/Bag.c \ + ../../basic/include/basic/omega_error.h /usr/include/c++/4.4/list \ + /usr/include/c++/4.4/bits/stl_list.h /usr/include/c++/4.4/bits/list.tcc \ + /usr/include/c++/4.4/set /usr/include/c++/4.4/bits/stl_set.h \ + /usr/include/c++/4.4/bits/stl_multiset.h +hull_simple.o: ../src/hull_simple.cc /usr/include/assert.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h ../include/omega.h \ + ../include/omega/omega_core/debugging.h /usr/include/stdio.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/ctype.h \ + /usr/include/endian.h /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/c++/4.4/sstream /usr/include/c++/4.4/istream \ + /usr/include/c++/4.4/ios /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_subs.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_cmpr.h \ + ../include/omega/Rel_map.h ../include/omega/farkas.h \ + ../include/omega/hull.h ../include/omega/closure.h \ + ../../basic/include/basic/boolset.h /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h /usr/include/c++/4.4/list \ + /usr/include/c++/4.4/bits/stl_list.h /usr/include/c++/4.4/bits/list.tcc \ + /usr/include/c++/4.4/set /usr/include/c++/4.4/bits/stl_set.h \ + /usr/include/c++/4.4/bits/stl_multiset.h /usr/include/c++/4.4/algorithm \ + /usr/include/c++/4.4/bits/stl_algo.h /usr/include/c++/4.4/cstdlib \ + /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h +pres_print.o: ../src/pres_print.cc ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/pres_var.h /usr/include/c++/4.4/map \ + /usr/include/c++/4.4/bits/stl_tree.h /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_tree.h \ + ../include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../../basic/include/basic/Bag.h ../../basic/include/basic/Bag.c \ + ../include/omega/omega_i.h +pres_rear.o: ../src/pres_rear.cc ../include/omega/pres_tree.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_beaut.o: ../src/pres_beaut.cc ../include/omega/pres_tree.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_dnf.o: ../src/pres_dnf.cc ../../basic/include/basic/Bag.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + ../../basic/include/basic/Iterator.h \ + ../../basic/include/basic/Collection.h ../../basic/include/basic/Link.h \ + ../../basic/include/basic/Bag.c /usr/include/assert.h \ + ../include/omega/pres_dnf.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/c++/4.4/sstream /usr/include/c++/4.4/istream \ + /usr/include/c++/4.4/ios /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/List.c ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_tree.h \ + ../include/omega/pres_quant.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h ../include/omega/omega_i.h +pres_conj.o: ../src/pres_conj.cc ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../../basic/include/basic/ConstString.h \ + ../../basic/include/basic/List.h ../../basic/include/basic/Link.h \ + ../../basic/include/basic/List.c /usr/include/c++/4.4/map \ + /usr/include/c++/4.4/bits/stl_tree.h /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_cmpr.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_dnf.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h ../include/omega/omega_i.h \ + /usr/include/c++/4.4/set /usr/include/c++/4.4/bits/stl_set.h \ + /usr/include/c++/4.4/bits/stl_multiset.h +pres_quant.o: ../src/pres_quant.cc ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/omega_i.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + ../include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h +pres_decl.o: ../src/pres_decl.cc ../include/omega/pres_decl.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/omega_i.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + ../include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h +pres_logic.o: ../src/pres_logic.cc ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_quant.h \ + ../include/omega/omega_i.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h +pres_form.o: ../src/pres_form.cc ../include/omega/pres_form.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/pres_tree.h ../include/omega/pres_var.h \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_logic.h \ + ../include/omega/pres_quant.h ../include/omega/pres_decl.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_cnstr.o: ../src/pres_cnstr.cc ../include/omega/pres_cnstr.h \ + ../include/omega/pres_var.h ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/pres_decl.h ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../include/omega/Relation.h \ + ../include/omega/RelBody.h ../include/omega/pres_dnf.h \ + /usr/include/c++/4.4/iostream ../include/omega/Relations.h \ + ../include/omega/omega_i.h +pres_var.o: ../src/pres_var.cc ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_tree.h \ + ../include/omega/pres_cnstr.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/pres_logic.h \ + ../include/omega/pres_form.h ../include/omega/pres_quant.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h ../include/omega/omega_i.h \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_dnf.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h +pres_gen.o: ../src/pres_gen.cc ../include/omega/pres_gen.h \ + ../include/omega/omega_core/oc.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c +pres_col.o: ../src/pres_col.cc ../include/omega/pres_conj.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + ../include/omega/pres_decl.h ../include/omega/pres_var.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h ../include/omega/pres_form.h \ + ../../basic/include/basic/Section.h ../../basic/include/basic/Section.c \ + ../include/omega/pres_logic.h ../include/omega/pres_cnstr.h \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../include/omega/RelBody.h \ + ../include/omega/pres_dnf.h ../include/omega/omega_i.h \ + ../include/omega/Relation.h /usr/include/c++/4.4/iostream \ + ../include/omega/Relations.h +pres_subs.o: ../src/pres_subs.cc ../include/omega/pres_subs.h \ + ../include/omega/pres_gen.h ../include/omega/omega_core/oc.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h \ + /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/xlocale.h /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc \ + ../../basic/include/basic/util.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + ../../basic/include/basic/ConstString.h ../../basic/include/basic/List.h \ + ../../basic/include/basic/Link.h ../../basic/include/basic/List.c \ + ../include/omega/Relation.h ../include/omega/RelBody.h \ + ../include/omega/pres_form.h ../include/omega/pres_dnf.h \ + ../include/omega/pres_cnstr.h ../include/omega/pres_var.h \ + /usr/include/c++/4.4/map /usr/include/c++/4.4/bits/stl_tree.h \ + /usr/include/c++/4.4/bits/stl_map.h \ + /usr/include/c++/4.4/bits/stl_multimap.h /usr/include/c++/4.4/vector \ + /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/iostream \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/limits.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include-fixed/syslimits.h \ + /usr/include/limits.h /usr/include/i386-linux-gnu/bits/posix1_lim.h \ + /usr/include/i386-linux-gnu/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/i386-linux-gnu/bits/posix2_lim.h \ + /usr/include/i386-linux-gnu/bits/xopen_lim.h \ + ../include/omega/Relations.h ../include/omega/pres_conj.h \ + ../include/omega/pres_decl.h ../../basic/include/basic/Section.h \ + ../../basic/include/basic/Section.c ../include/omega/pres_logic.h +oc.o: ../src/omega_core/oc.cc ../include/omega/omega_core/oc_i.h \ + ../../basic/include/basic/util.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc +oc_solve.o: ../src/omega_core/oc_solve.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc +oc_simple.o: ../src/omega_core/oc_simple.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../../basic/include/basic/boolset.h \ + /usr/include/c++/4.4/iostream /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h \ + /usr/include/c++/4.4/algorithm /usr/include/c++/4.4/bits/stl_algo.h \ + /usr/include/c++/4.4/cstdlib /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h +oc_eq.o: ../src/omega_core/oc_eq.cc ../include/omega/omega_core/oc_i.h \ + ../../basic/include/basic/util.h /usr/include/stdio.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc +oc_problems.o: ../src/omega_core/oc_problems.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc \ + ../../basic/include/basic/omega_error.h +oc_print.o: ../src/omega_core/oc_print.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc +oc_quick_kill.o: ../src/omega_core/oc_quick_kill.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/algorithm \ + /usr/include/c++/4.4/bits/stl_algo.h /usr/include/c++/4.4/cstdlib \ + /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h \ + ../../basic/include/basic/boolset.h /usr/include/c++/4.4/iostream \ + /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h +oc_exp_kill.o: ../src/omega_core/oc_exp_kill.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc ../../basic/include/basic/boolset.h \ + /usr/include/c++/4.4/iostream /usr/include/c++/4.4/iterator \ + /usr/include/c++/4.4/bits/stream_iterator.h +oc_query.o: ../src/omega_core/oc_query.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc +oc_util.o: ../src/omega_core/oc_util.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc /usr/include/c++/4.4/algorithm \ + /usr/include/c++/4.4/bits/stl_algo.h /usr/include/c++/4.4/cstdlib \ + /usr/include/c++/4.4/bits/algorithmfwd.h \ + /usr/include/c++/4.4/bits/stl_heap.h \ + /usr/include/c++/4.4/bits/stl_tempbuf.h +oc_global.o: ../src/omega_core/oc_global.cc \ + ../include/omega/omega_core/oc_i.h ../../basic/include/basic/util.h \ + /usr/include/stdio.h /usr/include/features.h \ + /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/libio.h \ + /usr/include/_G_config.h /usr/include/wchar.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h /usr/include/xlocale.h \ + /usr/include/i386-linux-gnu/sys/types.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h /usr/include/alloca.h \ + /usr/include/assert.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/i386-linux-gnu/bits/wchar.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/c++/4.4/sstream \ + /usr/include/c++/4.4/istream /usr/include/c++/4.4/ios \ + /usr/include/c++/4.4/bits/ios_base.h \ + /usr/include/c++/4.4/bits/locale_classes.h \ + /usr/include/c++/4.4/bits/locale_classes.tcc \ + /usr/include/c++/4.4/streambuf /usr/include/c++/4.4/bits/streambuf.tcc \ + /usr/include/c++/4.4/bits/basic_ios.h \ + /usr/include/c++/4.4/bits/locale_facets.h /usr/include/c++/4.4/cwctype \ + /usr/include/wctype.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_base.h \ + /usr/include/c++/4.4/bits/streambuf_iterator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/ctype_inline.h \ + /usr/include/c++/4.4/bits/locale_facets.tcc \ + /usr/include/c++/4.4/bits/basic_ios.tcc /usr/include/c++/4.4/ostream \ + /usr/include/c++/4.4/bits/ostream.tcc \ + /usr/include/c++/4.4/bits/istream.tcc \ + /usr/include/c++/4.4/bits/sstream.tcc /usr/include/c++/4.4/stdexcept \ + ../include/omega/omega_core/oc.h ../include/omega/omega_core/debugging.h \ + ../../basic/include/basic/Tuple.h ../../basic/include/basic/Collection.h \ + ../../basic/include/basic/Iterator.h ../../basic/include/basic/Tuple.c \ + /usr/include/c++/4.4/vector /usr/include/c++/4.4/bits/stl_construct.h \ + /usr/include/c++/4.4/bits/stl_uninitialized.h \ + /usr/include/c++/4.4/bits/stl_vector.h \ + /usr/include/c++/4.4/bits/stl_bvector.h \ + /usr/include/c++/4.4/bits/vector.tcc +ConstString.o: ../../basic/src/ConstString.cc \ + ../../basic/include/basic/ConstString.h /usr/include/c++/4.4/string \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++config.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/os_defines.h \ + /usr/include/features.h /usr/include/i386-linux-gnu/bits/predefs.h \ + /usr/include/i386-linux-gnu/sys/cdefs.h \ + /usr/include/i386-linux-gnu/bits/wordsize.h \ + /usr/include/i386-linux-gnu/gnu/stubs.h \ + /usr/include/i386-linux-gnu/gnu/stubs-32.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/cpu_defines.h \ + /usr/include/c++/4.4/bits/stringfwd.h \ + /usr/include/c++/4.4/bits/char_traits.h \ + /usr/include/c++/4.4/bits/stl_algobase.h /usr/include/c++/4.4/cstddef \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h \ + /usr/include/c++/4.4/bits/functexcept.h \ + /usr/include/c++/4.4/exception_defines.h \ + /usr/include/c++/4.4/bits/cpp_type_traits.h \ + /usr/include/c++/4.4/ext/type_traits.h \ + /usr/include/c++/4.4/ext/numeric_traits.h \ + /usr/include/c++/4.4/bits/stl_pair.h /usr/include/c++/4.4/bits/move.h \ + /usr/include/c++/4.4/bits/concept_check.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_types.h \ + /usr/include/c++/4.4/bits/stl_iterator_base_funcs.h \ + /usr/include/c++/4.4/bits/stl_iterator.h \ + /usr/include/c++/4.4/debug/debug.h /usr/include/c++/4.4/bits/postypes.h \ + /usr/include/c++/4.4/cwchar /usr/include/wchar.h /usr/include/stdio.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stdarg.h \ + /usr/include/i386-linux-gnu/bits/wchar.h /usr/include/xlocale.h \ + /usr/include/c++/4.4/bits/allocator.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++allocator.h \ + /usr/include/c++/4.4/ext/new_allocator.h /usr/include/c++/4.4/new \ + /usr/include/c++/4.4/exception /usr/include/c++/4.4/bits/localefwd.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/c++locale.h \ + /usr/include/c++/4.4/clocale /usr/include/locale.h \ + /usr/include/i386-linux-gnu/bits/locale.h /usr/include/c++/4.4/iosfwd \ + /usr/include/c++/4.4/cctype /usr/include/ctype.h \ + /usr/include/i386-linux-gnu/bits/types.h \ + /usr/include/i386-linux-gnu/bits/typesizes.h /usr/include/endian.h \ + /usr/include/i386-linux-gnu/bits/endian.h \ + /usr/include/i386-linux-gnu/bits/byteswap.h \ + /usr/include/c++/4.4/bits/ostream_insert.h \ + /usr/include/c++/4.4/cxxabi-forced.h \ + /usr/include/c++/4.4/bits/stl_function.h \ + /usr/include/c++/4.4/backward/binders.h \ + /usr/include/c++/4.4/bits/basic_string.h \ + /usr/include/c++/4.4/ext/atomicity.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/gthr-default.h \ + /usr/include/pthread.h /usr/include/sched.h /usr/include/time.h \ + /usr/include/i386-linux-gnu/bits/sched.h \ + /usr/include/i386-linux-gnu/bits/time.h \ + /usr/include/i386-linux-gnu/bits/timex.h \ + /usr/include/i386-linux-gnu/bits/pthreadtypes.h \ + /usr/include/i386-linux-gnu/bits/setjmp.h /usr/include/unistd.h \ + /usr/include/i386-linux-gnu/bits/posix_opt.h \ + /usr/include/i386-linux-gnu/bits/environments.h \ + /usr/include/i386-linux-gnu/bits/confname.h /usr/include/getopt.h \ + /usr/include/c++/4.4/i686-linux-gnu/./bits/atomic_word.h \ + /usr/include/c++/4.4/initializer_list \ + /usr/include/c++/4.4/bits/basic_string.tcc /usr/include/stdlib.h \ + /usr/include/i386-linux-gnu/bits/waitflags.h \ + /usr/include/i386-linux-gnu/bits/waitstatus.h \ + /usr/include/i386-linux-gnu/sys/types.h \ + /usr/include/i386-linux-gnu/sys/select.h \ + /usr/include/i386-linux-gnu/bits/select.h \ + /usr/include/i386-linux-gnu/bits/sigset.h \ + /usr/include/i386-linux-gnu/sys/sysmacros.h /usr/include/alloca.h \ + /usr/include/libio.h /usr/include/_G_config.h \ + /usr/include/i386-linux-gnu/bits/stdio_lim.h \ + /usr/include/i386-linux-gnu/bits/sys_errlist.h /usr/include/assert.h \ + /usr/include/string.h +Link.o: ../../basic/src/Link.cc ../../basic/include/basic/Link.h \ + ../../basic/include/basic/Iterator.h \ + ../../basic/include/basic/Collection.h \ + /usr/lib/gcc/i686-linux-gnu/4.4.7/include/stddef.h |