1# Makefile.in generated by automake 1.14.1 from Makefile.am.
2# @configure_input@
3
4# Copyright (C) 1994-2013 Free Software Foundation, Inc.
5
6# This Makefile.in is free software; the Free Software Foundation
7# gives unlimited permission to copy and/or distribute it,
8# with or without modifications, as long as this notice is preserved.
9
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
12# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
13# PARTICULAR PURPOSE.
14
15@SET_MAKE@
16
17
18VPATH = @srcdir@
19am__is_gnu_make = test -n '$(MAKEFILE_LIST)' && test -n '$(MAKELEVEL)'
20am__make_running_with_option = \
21  case $${target_option-} in \
22      ?) ;; \
23      *) echo "am__make_running_with_option: internal error: invalid" \
24              "target option '$${target_option-}' specified" >&2; \
25         exit 1;; \
26  esac; \
27  has_opt=no; \
28  sane_makeflags=$$MAKEFLAGS; \
29  if $(am__is_gnu_make); then \
30    sane_makeflags=$$MFLAGS; \
31  else \
32    case $$MAKEFLAGS in \
33      *\\[\ \	]*) \
34        bs=\\; \
35        sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \
36          | sed "s/$$bs$$bs[$$bs $$bs	]*//g"`;; \
37    esac; \
38  fi; \
39  skip_next=no; \
40  strip_trailopt () \
41  { \
42    flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
43  }; \
44  for flg in $$sane_makeflags; do \
45    test $$skip_next = yes && { skip_next=no; continue; }; \
46    case $$flg in \
47      *=*|--*) continue;; \
48        -*I) strip_trailopt 'I'; skip_next=yes;; \
49      -*I?*) strip_trailopt 'I';; \
50        -*O) strip_trailopt 'O'; skip_next=yes;; \
51      -*O?*) strip_trailopt 'O';; \
52        -*l) strip_trailopt 'l'; skip_next=yes;; \
53      -*l?*) strip_trailopt 'l';; \
54      -[dEDm]) skip_next=yes;; \
55      -[JT]) skip_next=yes;; \
56    esac; \
57    case $$flg in \
58      *$$target_option*) has_opt=yes; break;; \
59    esac; \
60  done; \
61  test $$has_opt = yes
62am__make_dryrun = (target_option=n; $(am__make_running_with_option))
63am__make_keepgoing = (target_option=k; $(am__make_running_with_option))
64pkgdatadir = $(datadir)/@PACKAGE@
65pkgincludedir = $(includedir)/@PACKAGE@
66pkglibdir = $(libdir)/@PACKAGE@
67pkglibexecdir = $(libexecdir)/@PACKAGE@
68am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
69install_sh_DATA = $(install_sh) -c -m 644
70install_sh_PROGRAM = $(install_sh) -c
71install_sh_SCRIPT = $(install_sh) -c
72INSTALL_HEADER = $(INSTALL_DATA)
73transform = $(program_transform_name)
74NORMAL_INSTALL = :
75PRE_INSTALL = :
76POST_INSTALL = :
77NORMAL_UNINSTALL = :
78PRE_UNINSTALL = :
79POST_UNINSTALL = :
80build_triplet = @build@
81host_triplet = @host@
82subdir = src/CUI_Theory
83DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/Makefile.am \
84	$(top_srcdir)/mkinstalldirs $(top_srcdir)/depcomp \
85	$(noinst_HEADERS) ChangeLog
86ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
87am__aclocal_m4_deps = $(top_srcdir)/configure.ac
88am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
89	$(ACLOCAL_M4)
90mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
91CONFIG_HEADER = $(top_builddir)/config.h
92CONFIG_CLEAN_FILES =
93CONFIG_CLEAN_VPATH_FILES =
94LIBRARIES = $(noinst_LIBRARIES)
95AR = ar
96ARFLAGS = cru
97AM_V_AR = $(am__v_AR_@AM_V@)
98am__v_AR_ = $(am__v_AR_@AM_DEFAULT_V@)
99am__v_AR_0 = @echo "  AR      " $@;
100am__v_AR_1 =
101libCUI_Theory_a_AR = $(AR) $(ARFLAGS)
102libCUI_Theory_a_LIBADD =
103am_libCUI_Theory_a_OBJECTS = libCUI_Theory_a-CUI_Symbol.$(OBJEXT) \
104	libCUI_Theory_a-CUI_DagNode.$(OBJEXT) \
105	libCUI_Theory_a-CUI_DagArgumentIterator.$(OBJEXT) \
106	libCUI_Theory_a-CUI_RhsAutomaton.$(OBJEXT) \
107	libCUI_Theory_a-CUI_Term.$(OBJEXT) \
108	libCUI_Theory_a-CUI_ArgumentIterator.$(OBJEXT) \
109	libCUI_Theory_a-CUI_UnificationSubproblem.$(OBJEXT) \
110	libCUI_Theory_a-CUI_UnificationSubproblem2.$(OBJEXT) \
111	libCUI_Theory_a-CUI_LhsAutomaton.$(OBJEXT)
112libCUI_Theory_a_OBJECTS = $(am_libCUI_Theory_a_OBJECTS)
113AM_V_P = $(am__v_P_@AM_V@)
114am__v_P_ = $(am__v_P_@AM_DEFAULT_V@)
115am__v_P_0 = false
116am__v_P_1 = :
117AM_V_GEN = $(am__v_GEN_@AM_V@)
118am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@)
119am__v_GEN_0 = @echo "  GEN     " $@;
120am__v_GEN_1 =
121AM_V_at = $(am__v_at_@AM_V@)
122am__v_at_ = $(am__v_at_@AM_DEFAULT_V@)
123am__v_at_0 = @
124am__v_at_1 =
125DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
126depcomp = $(SHELL) $(top_srcdir)/depcomp
127am__depfiles_maybe = depfiles
128am__mv = mv -f
129AM_V_lt = $(am__v_lt_@AM_V@)
130am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@)
131am__v_lt_0 = --silent
132am__v_lt_1 =
133CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
134	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
135AM_V_CXX = $(am__v_CXX_@AM_V@)
136am__v_CXX_ = $(am__v_CXX_@AM_DEFAULT_V@)
137am__v_CXX_0 = @echo "  CXX     " $@;
138am__v_CXX_1 =
139CXXLD = $(CXX)
140CXXLINK = $(CXXLD) $(AM_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) \
141	-o $@
142AM_V_CXXLD = $(am__v_CXXLD_@AM_V@)
143am__v_CXXLD_ = $(am__v_CXXLD_@AM_DEFAULT_V@)
144am__v_CXXLD_0 = @echo "  CXXLD   " $@;
145am__v_CXXLD_1 =
146SOURCES = $(libCUI_Theory_a_SOURCES)
147DIST_SOURCES = $(libCUI_Theory_a_SOURCES)
148am__can_run_installinfo = \
149  case $$AM_UPDATE_INFO_DIR in \
150    n|no|NO) false;; \
151    *) (install-info --version) >/dev/null 2>&1;; \
152  esac
153HEADERS = $(noinst_HEADERS)
154am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
155# Read a list of newline-separated strings from the standard input,
156# and print each of them once, without duplicates.  Input order is
157# *not* preserved.
158am__uniquify_input = $(AWK) '\
159  BEGIN { nonempty = 0; } \
160  { items[$$0] = 1; nonempty = 1; } \
161  END { if (nonempty) { for (i in items) print i; }; } \
162'
163# Make sure the list of sources is unique.  This is necessary because,
164# e.g., the same source file might be shared among _SOURCES variables
165# for different programs/libraries.
166am__define_uniq_tagged_files = \
167  list='$(am__tagged_files)'; \
168  unique=`for i in $$list; do \
169    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
170  done | $(am__uniquify_input)`
171ETAGS = etags
172CTAGS = ctags
173DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
174ACLOCAL = @ACLOCAL@
175AMTAR = @AMTAR@
176AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@
177AUTOCONF = @AUTOCONF@
178AUTOHEADER = @AUTOHEADER@
179AUTOMAKE = @AUTOMAKE@
180AWK = @AWK@
181BISON = @BISON@
182BUDDY_LIB = @BUDDY_LIB@
183CC = @CC@
184CCDEPMODE = @CCDEPMODE@
185CFLAGS = @CFLAGS@
186CPPFLAGS = @CPPFLAGS@
187CVC4_LIB = @CVC4_LIB@
188CXX = @CXX@
189CXXCPP = @CXXCPP@
190CXXDEPMODE = @CXXDEPMODE@
191CXXFLAGS = @CXXFLAGS@
192CYGPATH_W = @CYGPATH_W@
193DEFS = @DEFS@
194DEPDIR = @DEPDIR@
195ECHO_C = @ECHO_C@
196ECHO_N = @ECHO_N@
197ECHO_T = @ECHO_T@
198EGREP = @EGREP@
199EXEEXT = @EXEEXT@
200FLEX = @FLEX@
201GCC_LIBS = @GCC_LIBS@
202GMP_LIBS = @GMP_LIBS@
203GREP = @GREP@
204INSTALL = @INSTALL@
205INSTALL_DATA = @INSTALL_DATA@
206INSTALL_PROGRAM = @INSTALL_PROGRAM@
207INSTALL_SCRIPT = @INSTALL_SCRIPT@
208INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
209LDFLAGS = @LDFLAGS@
210LIBOBJS = @LIBOBJS@
211LIBS = @LIBS@
212LIBSIGSEGV_LIB = @LIBSIGSEGV_LIB@
213LTLIBOBJS = @LTLIBOBJS@
214MAKEINFO = @MAKEINFO@
215MKDIR_P = @MKDIR_P@
216OBJEXT = @OBJEXT@
217PACKAGE = @PACKAGE@
218PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
219PACKAGE_NAME = @PACKAGE_NAME@
220PACKAGE_STRING = @PACKAGE_STRING@
221PACKAGE_TARNAME = @PACKAGE_TARNAME@
222PACKAGE_URL = @PACKAGE_URL@
223PACKAGE_VERSION = @PACKAGE_VERSION@
224PATH_SEPARATOR = @PATH_SEPARATOR@
225RANLIB = @RANLIB@
226SET_MAKE = @SET_MAKE@
227SHELL = @SHELL@
228STRIP = @STRIP@
229TECLA_LIBS = @TECLA_LIBS@
230VERSION = @VERSION@
231abs_builddir = @abs_builddir@
232abs_srcdir = @abs_srcdir@
233abs_top_builddir = @abs_top_builddir@
234abs_top_srcdir = @abs_top_srcdir@
235ac_ct_CC = @ac_ct_CC@
236ac_ct_CXX = @ac_ct_CXX@
237am__include = @am__include@
238am__leading_dot = @am__leading_dot@
239am__quote = @am__quote@
240am__tar = @am__tar@
241am__untar = @am__untar@
242bindir = @bindir@
243build = @build@
244build_alias = @build_alias@
245build_cpu = @build_cpu@
246build_os = @build_os@
247build_vendor = @build_vendor@
248builddir = @builddir@
249datadir = @datadir@
250datarootdir = @datarootdir@
251docdir = @docdir@
252dvidir = @dvidir@
253exec_prefix = @exec_prefix@
254host = @host@
255host_alias = @host_alias@
256host_cpu = @host_cpu@
257host_os = @host_os@
258host_vendor = @host_vendor@
259htmldir = @htmldir@
260includedir = @includedir@
261infodir = @infodir@
262install_sh = @install_sh@
263libdir = @libdir@
264libexecdir = @libexecdir@
265localedir = @localedir@
266localstatedir = @localstatedir@
267mandir = @mandir@
268mkdir_p = @mkdir_p@
269oldincludedir = @oldincludedir@
270pdfdir = @pdfdir@
271prefix = @prefix@
272program_transform_name = @program_transform_name@
273psdir = @psdir@
274sbindir = @sbindir@
275sharedstatedir = @sharedstatedir@
276srcdir = @srcdir@
277sysconfdir = @sysconfdir@
278target_alias = @target_alias@
279top_build_prefix = @top_build_prefix@
280top_builddir = @top_builddir@
281top_srcdir = @top_srcdir@
282noinst_LIBRARIES = libCUI_Theory.a
283libCUI_Theory_a_CPPFLAGS = \
284	-I$(top_srcdir)/src/Utility \
285	-I$(top_srcdir)/src/Interface \
286	-I$(top_srcdir)/src/Core \
287	-I$(top_srcdir)/src/Variable \
288	-I$(top_srcdir)/src/FullCompiler
289
290libCUI_Theory_a_SOURCES = \
291	CUI_Symbol.cc \
292	CUI_DagNode.cc \
293	CUI_DagArgumentIterator.cc \
294	CUI_RhsAutomaton.cc \
295	CUI_Term.cc \
296	CUI_ArgumentIterator.cc \
297	CUI_UnificationSubproblem.cc \
298	CUI_UnificationSubproblem2.cc \
299	CUI_LhsAutomaton.cc
300
301EXTRA_DIST = \
302	CUI_LhsCompiler.cc \
303	CUI_Matcher.cc
304
305noinst_HEADERS = \
306	CUI_ArgumentIterator.hh \
307	CUI_DagArgumentIterator.hh \
308	CUI_DagNode.hh \
309	CUI_LhsAutomaton.hh \
310	CUI_RhsAutomaton.hh \
311	CUI_Symbol.hh \
312	CUI_Term.hh \
313	CUI_UnificationSubproblem.hh \
314	CUI_UnificationSubproblem2.hh \
315	CUI_Theory.hh
316
317all: all-am
318
319.SUFFIXES:
320.SUFFIXES: .cc .o .obj
321$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
322	@for dep in $?; do \
323	  case '$(am__configure_deps)' in \
324	    *$$dep*) \
325	      ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
326	        && { if test -f $@; then exit 0; else break; fi; }; \
327	      exit 1;; \
328	  esac; \
329	done; \
330	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu src/CUI_Theory/Makefile'; \
331	$(am__cd) $(top_srcdir) && \
332	  $(AUTOMAKE) --gnu src/CUI_Theory/Makefile
333.PRECIOUS: Makefile
334Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
335	@case '$?' in \
336	  *config.status*) \
337	    cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
338	  *) \
339	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
340	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
341	esac;
342
343$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
344	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
345
346$(top_srcdir)/configure:  $(am__configure_deps)
347	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
348$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
349	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
350$(am__aclocal_m4_deps):
351
352clean-noinstLIBRARIES:
353	-test -z "$(noinst_LIBRARIES)" || rm -f $(noinst_LIBRARIES)
354
355libCUI_Theory.a: $(libCUI_Theory_a_OBJECTS) $(libCUI_Theory_a_DEPENDENCIES) $(EXTRA_libCUI_Theory_a_DEPENDENCIES)
356	$(AM_V_at)-rm -f libCUI_Theory.a
357	$(AM_V_AR)$(libCUI_Theory_a_AR) libCUI_Theory.a $(libCUI_Theory_a_OBJECTS) $(libCUI_Theory_a_LIBADD)
358	$(AM_V_at)$(RANLIB) libCUI_Theory.a
359
360mostlyclean-compile:
361	-rm -f *.$(OBJEXT)
362
363distclean-compile:
364	-rm -f *.tab.c
365
366@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_ArgumentIterator.Po@am__quote@
367@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_DagArgumentIterator.Po@am__quote@
368@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_DagNode.Po@am__quote@
369@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_LhsAutomaton.Po@am__quote@
370@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_RhsAutomaton.Po@am__quote@
371@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Po@am__quote@
372@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_Term.Po@am__quote@
373@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Po@am__quote@
374@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem2.Po@am__quote@
375
376.cc.o:
377@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
378@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
379@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
380@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
381@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ $<
382
383.cc.obj:
384@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
385@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
386@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
387@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
388@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'`
389
390libCUI_Theory_a-CUI_Symbol.o: CUI_Symbol.cc
391@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_Symbol.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Tpo -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo '$(srcdir)/'`CUI_Symbol.cc
392@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Po
393@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_Symbol.cc' object='libCUI_Theory_a-CUI_Symbol.o' libtool=no @AMDEPBACKSLASH@
394@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
395@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo '$(srcdir)/'`CUI_Symbol.cc
396
397libCUI_Theory_a-CUI_Symbol.obj: CUI_Symbol.cc
398@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_Symbol.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Tpo -c -o libCUI_Theory_a-CUI_Symbol.obj `if test -f 'CUI_Symbol.cc'; then $(CYGPATH_W) 'CUI_Symbol.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_Symbol.cc'; fi`
399@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Po
400@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_Symbol.cc' object='libCUI_Theory_a-CUI_Symbol.obj' libtool=no @AMDEPBACKSLASH@
401@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
402@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_Symbol.obj `if test -f 'CUI_Symbol.cc'; then $(CYGPATH_W) 'CUI_Symbol.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_Symbol.cc'; fi`
403
404libCUI_Theory_a-CUI_DagNode.o: CUI_DagNode.cc
405@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_DagNode.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_DagNode.Tpo -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo '$(srcdir)/'`CUI_DagNode.cc
406@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_DagNode.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_DagNode.Po
407@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_DagNode.cc' object='libCUI_Theory_a-CUI_DagNode.o' libtool=no @AMDEPBACKSLASH@
408@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
409@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo '$(srcdir)/'`CUI_DagNode.cc
410
411libCUI_Theory_a-CUI_DagNode.obj: CUI_DagNode.cc
412@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_DagNode.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_DagNode.Tpo -c -o libCUI_Theory_a-CUI_DagNode.obj `if test -f 'CUI_DagNode.cc'; then $(CYGPATH_W) 'CUI_DagNode.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_DagNode.cc'; fi`
413@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_DagNode.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_DagNode.Po
414@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_DagNode.cc' object='libCUI_Theory_a-CUI_DagNode.obj' libtool=no @AMDEPBACKSLASH@
415@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
416@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_DagNode.obj `if test -f 'CUI_DagNode.cc'; then $(CYGPATH_W) 'CUI_DagNode.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_DagNode.cc'; fi`
417
418libCUI_Theory_a-CUI_DagArgumentIterator.o: CUI_DagArgumentIterator.cc
419@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_DagArgumentIterator.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo '$(srcdir)/'`CUI_DagArgumentIterator.cc
420@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_DagArgumentIterator.Po
421@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_DagArgumentIterator.cc' object='libCUI_Theory_a-CUI_DagArgumentIterator.o' libtool=no @AMDEPBACKSLASH@
422@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
423@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo '$(srcdir)/'`CUI_DagArgumentIterator.cc
424
425libCUI_Theory_a-CUI_DagArgumentIterator.obj: CUI_DagArgumentIterator.cc
426@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_DagArgumentIterator.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_DagArgumentIterator.obj `if test -f 'CUI_DagArgumentIterator.cc'; then $(CYGPATH_W) 'CUI_DagArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_DagArgumentIterator.cc'; fi`
427@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_DagArgumentIterator.Po
428@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_DagArgumentIterator.cc' object='libCUI_Theory_a-CUI_DagArgumentIterator.obj' libtool=no @AMDEPBACKSLASH@
429@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
430@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_DagArgumentIterator.obj `if test -f 'CUI_DagArgumentIterator.cc'; then $(CYGPATH_W) 'CUI_DagArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_DagArgumentIterator.cc'; fi`
431
432libCUI_Theory_a-CUI_RhsAutomaton.o: CUI_RhsAutomaton.cc
433@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_RhsAutomaton.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_RhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo '$(srcdir)/'`CUI_RhsAutomaton.cc
434@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_RhsAutomaton.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_RhsAutomaton.Po
435@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_RhsAutomaton.cc' object='libCUI_Theory_a-CUI_RhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
436@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
437@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo '$(srcdir)/'`CUI_RhsAutomaton.cc
438
439libCUI_Theory_a-CUI_RhsAutomaton.obj: CUI_RhsAutomaton.cc
440@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_RhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_RhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_RhsAutomaton.obj `if test -f 'CUI_RhsAutomaton.cc'; then $(CYGPATH_W) 'CUI_RhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_RhsAutomaton.cc'; fi`
441@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_RhsAutomaton.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_RhsAutomaton.Po
442@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_RhsAutomaton.cc' object='libCUI_Theory_a-CUI_RhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
443@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
444@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_RhsAutomaton.obj `if test -f 'CUI_RhsAutomaton.cc'; then $(CYGPATH_W) 'CUI_RhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_RhsAutomaton.cc'; fi`
445
446libCUI_Theory_a-CUI_Term.o: CUI_Term.cc
447@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_Term.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_Term.Tpo -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo '$(srcdir)/'`CUI_Term.cc
448@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_Term.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_Term.Po
449@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_Term.cc' object='libCUI_Theory_a-CUI_Term.o' libtool=no @AMDEPBACKSLASH@
450@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
451@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo '$(srcdir)/'`CUI_Term.cc
452
453libCUI_Theory_a-CUI_Term.obj: CUI_Term.cc
454@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_Term.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_Term.Tpo -c -o libCUI_Theory_a-CUI_Term.obj `if test -f 'CUI_Term.cc'; then $(CYGPATH_W) 'CUI_Term.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_Term.cc'; fi`
455@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_Term.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_Term.Po
456@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_Term.cc' object='libCUI_Theory_a-CUI_Term.obj' libtool=no @AMDEPBACKSLASH@
457@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
458@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_Term.obj `if test -f 'CUI_Term.cc'; then $(CYGPATH_W) 'CUI_Term.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_Term.cc'; fi`
459
460libCUI_Theory_a-CUI_ArgumentIterator.o: CUI_ArgumentIterator.cc
461@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_ArgumentIterator.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_ArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo '$(srcdir)/'`CUI_ArgumentIterator.cc
462@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_ArgumentIterator.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_ArgumentIterator.Po
463@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_ArgumentIterator.cc' object='libCUI_Theory_a-CUI_ArgumentIterator.o' libtool=no @AMDEPBACKSLASH@
464@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
465@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo '$(srcdir)/'`CUI_ArgumentIterator.cc
466
467libCUI_Theory_a-CUI_ArgumentIterator.obj: CUI_ArgumentIterator.cc
468@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_ArgumentIterator.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_ArgumentIterator.Tpo -c -o libCUI_Theory_a-CUI_ArgumentIterator.obj `if test -f 'CUI_ArgumentIterator.cc'; then $(CYGPATH_W) 'CUI_ArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_ArgumentIterator.cc'; fi`
469@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_ArgumentIterator.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_ArgumentIterator.Po
470@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_ArgumentIterator.cc' object='libCUI_Theory_a-CUI_ArgumentIterator.obj' libtool=no @AMDEPBACKSLASH@
471@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
472@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_ArgumentIterator.obj `if test -f 'CUI_ArgumentIterator.cc'; then $(CYGPATH_W) 'CUI_ArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_ArgumentIterator.cc'; fi`
473
474libCUI_Theory_a-CUI_UnificationSubproblem.o: CUI_UnificationSubproblem.cc
475@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_UnificationSubproblem.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo '$(srcdir)/'`CUI_UnificationSubproblem.cc
476@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Po
477@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_UnificationSubproblem.cc' object='libCUI_Theory_a-CUI_UnificationSubproblem.o' libtool=no @AMDEPBACKSLASH@
478@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
479@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo '$(srcdir)/'`CUI_UnificationSubproblem.cc
480
481libCUI_Theory_a-CUI_UnificationSubproblem.obj: CUI_UnificationSubproblem.cc
482@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_UnificationSubproblem.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo -c -o libCUI_Theory_a-CUI_UnificationSubproblem.obj `if test -f 'CUI_UnificationSubproblem.cc'; then $(CYGPATH_W) 'CUI_UnificationSubproblem.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_UnificationSubproblem.cc'; fi`
483@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem.Po
484@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_UnificationSubproblem.cc' object='libCUI_Theory_a-CUI_UnificationSubproblem.obj' libtool=no @AMDEPBACKSLASH@
485@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
486@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_UnificationSubproblem.obj `if test -f 'CUI_UnificationSubproblem.cc'; then $(CYGPATH_W) 'CUI_UnificationSubproblem.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_UnificationSubproblem.cc'; fi`
487
488libCUI_Theory_a-CUI_UnificationSubproblem2.o: CUI_UnificationSubproblem2.cc
489@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_UnificationSubproblem2.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem2.Tpo -c -o libCUI_Theory_a-CUI_UnificationSubproblem2.o `test -f 'CUI_UnificationSubproblem2.cc' || echo '$(srcdir)/'`CUI_UnificationSubproblem2.cc
490@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem2.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem2.Po
491@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_UnificationSubproblem2.cc' object='libCUI_Theory_a-CUI_UnificationSubproblem2.o' libtool=no @AMDEPBACKSLASH@
492@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
493@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_UnificationSubproblem2.o `test -f 'CUI_UnificationSubproblem2.cc' || echo '$(srcdir)/'`CUI_UnificationSubproblem2.cc
494
495libCUI_Theory_a-CUI_UnificationSubproblem2.obj: CUI_UnificationSubproblem2.cc
496@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_UnificationSubproblem2.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem2.Tpo -c -o libCUI_Theory_a-CUI_UnificationSubproblem2.obj `if test -f 'CUI_UnificationSubproblem2.cc'; then $(CYGPATH_W) 'CUI_UnificationSubproblem2.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_UnificationSubproblem2.cc'; fi`
497@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem2.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_UnificationSubproblem2.Po
498@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_UnificationSubproblem2.cc' object='libCUI_Theory_a-CUI_UnificationSubproblem2.obj' libtool=no @AMDEPBACKSLASH@
499@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
500@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_UnificationSubproblem2.obj `if test -f 'CUI_UnificationSubproblem2.cc'; then $(CYGPATH_W) 'CUI_UnificationSubproblem2.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_UnificationSubproblem2.cc'; fi`
501
502libCUI_Theory_a-CUI_LhsAutomaton.o: CUI_LhsAutomaton.cc
503@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_LhsAutomaton.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_LhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo '$(srcdir)/'`CUI_LhsAutomaton.cc
504@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_LhsAutomaton.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_LhsAutomaton.Po
505@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_LhsAutomaton.cc' object='libCUI_Theory_a-CUI_LhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
506@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
507@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo '$(srcdir)/'`CUI_LhsAutomaton.cc
508
509libCUI_Theory_a-CUI_LhsAutomaton.obj: CUI_LhsAutomaton.cc
510@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libCUI_Theory_a-CUI_LhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_LhsAutomaton.Tpo -c -o libCUI_Theory_a-CUI_LhsAutomaton.obj `if test -f 'CUI_LhsAutomaton.cc'; then $(CYGPATH_W) 'CUI_LhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_LhsAutomaton.cc'; fi`
511@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_LhsAutomaton.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_LhsAutomaton.Po
512@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='CUI_LhsAutomaton.cc' object='libCUI_Theory_a-CUI_LhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
513@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
514@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libCUI_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_LhsAutomaton.obj `if test -f 'CUI_LhsAutomaton.cc'; then $(CYGPATH_W) 'CUI_LhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/CUI_LhsAutomaton.cc'; fi`
515
516ID: $(am__tagged_files)
517	$(am__define_uniq_tagged_files); mkid -fID $$unique
518tags: tags-am
519TAGS: tags
520
521tags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
522	set x; \
523	here=`pwd`; \
524	$(am__define_uniq_tagged_files); \
525	shift; \
526	if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
527	  test -n "$$unique" || unique=$$empty_fix; \
528	  if test $$# -gt 0; then \
529	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
530	      "$$@" $$unique; \
531	  else \
532	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
533	      $$unique; \
534	  fi; \
535	fi
536ctags: ctags-am
537
538CTAGS: ctags
539ctags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
540	$(am__define_uniq_tagged_files); \
541	test -z "$(CTAGS_ARGS)$$unique" \
542	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
543	     $$unique
544
545GTAGS:
546	here=`$(am__cd) $(top_builddir) && pwd` \
547	  && $(am__cd) $(top_srcdir) \
548	  && gtags -i $(GTAGS_ARGS) "$$here"
549cscopelist: cscopelist-am
550
551cscopelist-am: $(am__tagged_files)
552	list='$(am__tagged_files)'; \
553	case "$(srcdir)" in \
554	  [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
555	  *) sdir=$(subdir)/$(srcdir) ;; \
556	esac; \
557	for i in $$list; do \
558	  if test -f "$$i"; then \
559	    echo "$(subdir)/$$i"; \
560	  else \
561	    echo "$$sdir/$$i"; \
562	  fi; \
563	done >> $(top_builddir)/cscope.files
564
565distclean-tags:
566	-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
567
568distdir: $(DISTFILES)
569	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
570	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
571	list='$(DISTFILES)'; \
572	  dist_files=`for file in $$list; do echo $$file; done | \
573	  sed -e "s|^$$srcdirstrip/||;t" \
574	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
575	case $$dist_files in \
576	  */*) $(MKDIR_P) `echo "$$dist_files" | \
577			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
578			   sort -u` ;; \
579	esac; \
580	for file in $$dist_files; do \
581	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
582	  if test -d $$d/$$file; then \
583	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
584	    if test -d "$(distdir)/$$file"; then \
585	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
586	    fi; \
587	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
588	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
589	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
590	    fi; \
591	    cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
592	  else \
593	    test -f "$(distdir)/$$file" \
594	    || cp -p $$d/$$file "$(distdir)/$$file" \
595	    || exit 1; \
596	  fi; \
597	done
598check-am: all-am
599check: check-am
600all-am: Makefile $(LIBRARIES) $(HEADERS)
601installdirs:
602install: install-am
603install-exec: install-exec-am
604install-data: install-data-am
605uninstall: uninstall-am
606
607install-am: all-am
608	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
609
610installcheck: installcheck-am
611install-strip:
612	if test -z '$(STRIP)'; then \
613	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
614	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
615	      install; \
616	else \
617	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
618	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
619	    "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
620	fi
621mostlyclean-generic:
622
623clean-generic:
624
625distclean-generic:
626	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
627	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)
628
629maintainer-clean-generic:
630	@echo "This command is intended for maintainers to use"
631	@echo "it deletes files that may require special tools to rebuild."
632clean: clean-am
633
634clean-am: clean-generic clean-noinstLIBRARIES mostlyclean-am
635
636distclean: distclean-am
637	-rm -rf ./$(DEPDIR)
638	-rm -f Makefile
639distclean-am: clean-am distclean-compile distclean-generic \
640	distclean-tags
641
642dvi: dvi-am
643
644dvi-am:
645
646html: html-am
647
648html-am:
649
650info: info-am
651
652info-am:
653
654install-data-am:
655
656install-dvi: install-dvi-am
657
658install-dvi-am:
659
660install-exec-am:
661
662install-html: install-html-am
663
664install-html-am:
665
666install-info: install-info-am
667
668install-info-am:
669
670install-man:
671
672install-pdf: install-pdf-am
673
674install-pdf-am:
675
676install-ps: install-ps-am
677
678install-ps-am:
679
680installcheck-am:
681
682maintainer-clean: maintainer-clean-am
683	-rm -rf ./$(DEPDIR)
684	-rm -f Makefile
685maintainer-clean-am: distclean-am maintainer-clean-generic
686
687mostlyclean: mostlyclean-am
688
689mostlyclean-am: mostlyclean-compile mostlyclean-generic
690
691pdf: pdf-am
692
693pdf-am:
694
695ps: ps-am
696
697ps-am:
698
699uninstall-am:
700
701.MAKE: install-am install-strip
702
703.PHONY: CTAGS GTAGS TAGS all all-am check check-am clean clean-generic \
704	clean-noinstLIBRARIES cscopelist-am ctags ctags-am distclean \
705	distclean-compile distclean-generic distclean-tags distdir dvi \
706	dvi-am html html-am info info-am install install-am \
707	install-data install-data-am install-dvi install-dvi-am \
708	install-exec install-exec-am install-html install-html-am \
709	install-info install-info-am install-man install-pdf \
710	install-pdf-am install-ps install-ps-am install-strip \
711	installcheck installcheck-am installdirs maintainer-clean \
712	maintainer-clean-generic mostlyclean mostlyclean-compile \
713	mostlyclean-generic pdf pdf-am ps ps-am tags tags-am uninstall \
714	uninstall-am
715
716
717# Tell versions [3.59,3.63) of GNU make to not export all variables.
718# Otherwise a system limit (for SysV at least) may be exceeded.
719.NOEXPORT:
720