# Makefile.in generated by automake 1.16.1 from Makefile.am.
# @configure_input@

# Copyright (C) 1994-2018 Free Software Foundation, Inc.

# This Makefile.in is free software; the Free Software Foundation
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.

# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
# PARTICULAR PURPOSE.

@SET_MAKE@


VPATH = @srcdir@
am__is_gnu_make = { \
  if test -z '$(MAKELEVEL)'; then \
    false; \
  elif test -n '$(MAKE_HOST)'; then \
    true; \
  elif test -n '$(MAKE_VERSION)' && test -n '$(CURDIR)'; then \
    true; \
  else \
    false; \
  fi; \
}
am__make_running_with_option = \
  case $${target_option-} in \
      ?) ;; \
      *) echo "am__make_running_with_option: internal error: invalid" \
              "target option '$${target_option-}' specified" >&2; \
         exit 1;; \
  esac; \
  has_opt=no; \
  sane_makeflags=$$MAKEFLAGS; \
  if $(am__is_gnu_make); then \
    sane_makeflags=$$MFLAGS; \
  else \
    case $$MAKEFLAGS in \
      *\\[\ \	]*) \
        bs=\\; \
        sane_makeflags=`printf '%s\n' "$$MAKEFLAGS" \
          | sed "s/$$bs$$bs[$$bs $$bs	]*//g"`;; \
    esac; \
  fi; \
  skip_next=no; \
  strip_trailopt () \
  { \
    flg=`printf '%s\n' "$$flg" | sed "s/$$1.*$$//"`; \
  }; \
  for flg in $$sane_makeflags; do \
    test $$skip_next = yes && { skip_next=no; continue; }; \
    case $$flg in \
      *=*|--*) continue;; \
        -*I) strip_trailopt 'I'; skip_next=yes;; \
      -*I?*) strip_trailopt 'I';; \
        -*O) strip_trailopt 'O'; skip_next=yes;; \
      -*O?*) strip_trailopt 'O';; \
        -*l) strip_trailopt 'l'; skip_next=yes;; \
      -*l?*) strip_trailopt 'l';; \
      -[dEDm]) skip_next=yes;; \
      -[JT]) skip_next=yes;; \
    esac; \
    case $$flg in \
      *$$target_option*) has_opt=yes; break;; \
    esac; \
  done; \
  test $$has_opt = yes
am__make_dryrun = (target_option=n; $(am__make_running_with_option))
am__make_keepgoing = (target_option=k; $(am__make_running_with_option))
pkgdatadir = $(datadir)/@PACKAGE@
pkgincludedir = $(includedir)/@PACKAGE@
pkglibdir = $(libdir)/@PACKAGE@
pkglibexecdir = $(libexecdir)/@PACKAGE@
am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
install_sh_DATA = $(install_sh) -c -m 644
install_sh_PROGRAM = $(install_sh) -c
install_sh_SCRIPT = $(install_sh) -c
INSTALL_HEADER = $(INSTALL_DATA)
transform = $(program_transform_name)
NORMAL_INSTALL = :
PRE_INSTALL = :
POST_INSTALL = :
NORMAL_UNINSTALL = :
PRE_UNINSTALL = :
POST_UNINSTALL = :
build_triplet = @build@
host_triplet = @host@
subdir = src/ACU_Theory
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/m4/ax_have_poll.m4 \
	$(top_srcdir)/configure.ac
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
	$(ACLOCAL_M4)
DIST_COMMON = $(srcdir)/Makefile.am $(noinst_HEADERS) \
	$(am__DIST_COMMON)
mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
CONFIG_HEADER = $(top_builddir)/config.h
CONFIG_CLEAN_FILES =
CONFIG_CLEAN_VPATH_FILES =
LIBRARIES = $(noinst_LIBRARIES)
AR = ar
ARFLAGS = cru
AM_V_AR = $(am__v_AR_@AM_V@)
am__v_AR_ = $(am__v_AR_@AM_DEFAULT_V@)
am__v_AR_0 = @echo "  AR      " $@;
am__v_AR_1 = 
libACU_Theory_a_AR = $(AR) $(ARFLAGS)
libACU_Theory_a_LIBADD =
am_libACU_Theory_a_OBJECTS = libACU_Theory_a-ACU_Symbol.$(OBJEXT) \
	libACU_Theory_a-ACU_Term.$(OBJEXT) \
	libACU_Theory_a-ACU_BaseDagNode.$(OBJEXT) \
	libACU_Theory_a-ACU_DagNode.$(OBJEXT) \
	libACU_Theory_a-ACU_TreeDagNode.$(OBJEXT) \
	libACU_Theory_a-ACU_RhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_LhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_Subproblem.$(OBJEXT) \
	libACU_Theory_a-ACU_ExtensionInfo.$(OBJEXT) \
	libACU_Theory_a-ACU_CollectorLhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_NGA_LhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_VarLhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_GndLhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_NonLinearLhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_ArgumentIterator.$(OBJEXT) \
	libACU_Theory_a-ACU_DagArgumentIterator.$(OBJEXT) \
	libACU_Theory_a-ACU_TreeDagArgumentIterator.$(OBJEXT) \
	libACU_Theory_a-ACU_LazySubproblem.$(OBJEXT) \
	libACU_Theory_a-ACU_UnificationSubproblem2.$(OBJEXT) \
	libACU_Theory_a-ACU_BndVarLhsAutomaton.$(OBJEXT) \
	libACU_Theory_a-ACU_TreeVariableSubproblem.$(OBJEXT)
libACU_Theory_a_OBJECTS = $(am_libACU_Theory_a_OBJECTS)
AM_V_P = $(am__v_P_@AM_V@)
am__v_P_ = $(am__v_P_@AM_DEFAULT_V@)
am__v_P_0 = false
am__v_P_1 = :
AM_V_GEN = $(am__v_GEN_@AM_V@)
am__v_GEN_ = $(am__v_GEN_@AM_DEFAULT_V@)
am__v_GEN_0 = @echo "  GEN     " $@;
am__v_GEN_1 = 
AM_V_at = $(am__v_at_@AM_V@)
am__v_at_ = $(am__v_at_@AM_DEFAULT_V@)
am__v_at_0 = @
am__v_at_1 = 
DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
depcomp = $(SHELL) $(top_srcdir)/depcomp
am__maybe_remake_depfiles = depfiles
am__depfiles_remade =  \
	./$(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_DagNode.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_Symbol.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_Term.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Po \
	./$(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Po
am__mv = mv -f
AM_V_lt = $(am__v_lt_@AM_V@)
am__v_lt_ = $(am__v_lt_@AM_DEFAULT_V@)
am__v_lt_0 = --silent
am__v_lt_1 = 
CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
AM_V_CXX = $(am__v_CXX_@AM_V@)
am__v_CXX_ = $(am__v_CXX_@AM_DEFAULT_V@)
am__v_CXX_0 = @echo "  CXX     " $@;
am__v_CXX_1 = 
CXXLD = $(CXX)
CXXLINK = $(CXXLD) $(AM_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) \
	-o $@
AM_V_CXXLD = $(am__v_CXXLD_@AM_V@)
am__v_CXXLD_ = $(am__v_CXXLD_@AM_DEFAULT_V@)
am__v_CXXLD_0 = @echo "  CXXLD   " $@;
am__v_CXXLD_1 = 
SOURCES = $(libACU_Theory_a_SOURCES)
DIST_SOURCES = $(libACU_Theory_a_SOURCES)
am__can_run_installinfo = \
  case $$AM_UPDATE_INFO_DIR in \
    n|no|NO) false;; \
    *) (install-info --version) >/dev/null 2>&1;; \
  esac
HEADERS = $(noinst_HEADERS)
am__tagged_files = $(HEADERS) $(SOURCES) $(TAGS_FILES) $(LISP)
# Read a list of newline-separated strings from the standard input,
# and print each of them once, without duplicates.  Input order is
# *not* preserved.
am__uniquify_input = $(AWK) '\
  BEGIN { nonempty = 0; } \
  { items[$$0] = 1; nonempty = 1; } \
  END { if (nonempty) { for (i in items) print i; }; } \
'
# Make sure the list of sources is unique.  This is necessary because,
# e.g., the same source file might be shared among _SOURCES variables
# for different programs/libraries.
am__define_uniq_tagged_files = \
  list='$(am__tagged_files)'; \
  unique=`for i in $$list; do \
    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
  done | $(am__uniquify_input)`
ETAGS = etags
CTAGS = ctags
am__DIST_COMMON = $(srcdir)/Makefile.in $(top_srcdir)/depcomp \
	$(top_srcdir)/mkinstalldirs ChangeLog
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
ACLOCAL = @ACLOCAL@
AMTAR = @AMTAR@
AM_DEFAULT_VERBOSITY = @AM_DEFAULT_VERBOSITY@
AUTOCONF = @AUTOCONF@
AUTOHEADER = @AUTOHEADER@
AUTOMAKE = @AUTOMAKE@
AWK = @AWK@
BISON = @BISON@
BUDDY_LIB = @BUDDY_LIB@
CC = @CC@
CCDEPMODE = @CCDEPMODE@
CFLAGS = @CFLAGS@
CPPFLAGS = @CPPFLAGS@
CVC4_LIB = @CVC4_LIB@
CXX = @CXX@
CXXCPP = @CXXCPP@
CXXDEPMODE = @CXXDEPMODE@
CXXFLAGS = @CXXFLAGS@
CYGPATH_W = @CYGPATH_W@
DEFS = @DEFS@
DEPDIR = @DEPDIR@
ECHO_C = @ECHO_C@
ECHO_N = @ECHO_N@
ECHO_T = @ECHO_T@
EGREP = @EGREP@
EXEEXT = @EXEEXT@
FLEX = @FLEX@
GCC_LIBS = @GCC_LIBS@
GMP_LIBS = @GMP_LIBS@
GREP = @GREP@
INSTALL = @INSTALL@
INSTALL_DATA = @INSTALL_DATA@
INSTALL_PROGRAM = @INSTALL_PROGRAM@
INSTALL_SCRIPT = @INSTALL_SCRIPT@
INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
LDFLAGS = @LDFLAGS@
LIBOBJS = @LIBOBJS@
LIBS = @LIBS@
LIBSIGSEGV_LIB = @LIBSIGSEGV_LIB@
LTLIBOBJS = @LTLIBOBJS@
MAKEINFO = @MAKEINFO@
MKDIR_P = @MKDIR_P@
OBJEXT = @OBJEXT@
PACKAGE = @PACKAGE@
PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
PACKAGE_NAME = @PACKAGE_NAME@
PACKAGE_STRING = @PACKAGE_STRING@
PACKAGE_TARNAME = @PACKAGE_TARNAME@
PACKAGE_URL = @PACKAGE_URL@
PACKAGE_VERSION = @PACKAGE_VERSION@
PATH_SEPARATOR = @PATH_SEPARATOR@
RANLIB = @RANLIB@
SET_MAKE = @SET_MAKE@
SHELL = @SHELL@
STRIP = @STRIP@
TECLA_LIBS = @TECLA_LIBS@
VERSION = @VERSION@
YICES2_LIB = @YICES2_LIB@
abs_builddir = @abs_builddir@
abs_srcdir = @abs_srcdir@
abs_top_builddir = @abs_top_builddir@
abs_top_srcdir = @abs_top_srcdir@
ac_ct_CC = @ac_ct_CC@
ac_ct_CXX = @ac_ct_CXX@
am__include = @am__include@
am__leading_dot = @am__leading_dot@
am__quote = @am__quote@
am__tar = @am__tar@
am__untar = @am__untar@
bindir = @bindir@
build = @build@
build_alias = @build_alias@
build_cpu = @build_cpu@
build_os = @build_os@
build_vendor = @build_vendor@
builddir = @builddir@
datadir = @datadir@
datarootdir = @datarootdir@
docdir = @docdir@
dvidir = @dvidir@
exec_prefix = @exec_prefix@
host = @host@
host_alias = @host_alias@
host_cpu = @host_cpu@
host_os = @host_os@
host_vendor = @host_vendor@
htmldir = @htmldir@
includedir = @includedir@
infodir = @infodir@
install_sh = @install_sh@
libdir = @libdir@
libexecdir = @libexecdir@
localedir = @localedir@
localstatedir = @localstatedir@
mandir = @mandir@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
pdfdir = @pdfdir@
prefix = @prefix@
program_transform_name = @program_transform_name@
psdir = @psdir@
runstatedir = @runstatedir@
sbindir = @sbindir@
sharedstatedir = @sharedstatedir@
srcdir = @srcdir@
sysconfdir = @sysconfdir@
target_alias = @target_alias@
top_build_prefix = @top_build_prefix@
top_builddir = @top_builddir@
top_srcdir = @top_srcdir@
noinst_LIBRARIES = libACU_Theory.a
libACU_Theory_a_CPPFLAGS = \
	-I$(top_srcdir)/src/Utility \
	-I$(top_srcdir)/src/Interface \
	-I$(top_srcdir)/src/Core \
	-I$(top_srcdir)/src/Variable \
	-I$(top_srcdir)/src/ACU_Persistent \
	-I$(top_srcdir)/src/FullCompiler

libACU_Theory_a_SOURCES = \
	ACU_Symbol.cc \
	ACU_Term.cc \
	ACU_BaseDagNode.cc \
	ACU_DagNode.cc \
	ACU_TreeDagNode.cc \
	ACU_RhsAutomaton.cc \
	ACU_LhsAutomaton.cc \
	ACU_Subproblem.cc \
	ACU_ExtensionInfo.cc \
	ACU_CollectorLhsAutomaton.cc \
	ACU_NGA_LhsAutomaton.cc \
	ACU_VarLhsAutomaton.cc \
	ACU_GndLhsAutomaton.cc \
	ACU_NonLinearLhsAutomaton.cc \
	ACU_ArgumentIterator.cc \
	ACU_DagArgumentIterator.cc \
	ACU_TreeDagArgumentIterator.cc \
	ACU_LazySubproblem.cc \
	ACU_UnificationSubproblem2.cc \
	ACU_BndVarLhsAutomaton.cc \
	ACU_TreeVariableSubproblem.cc

EXTRA_DIST = \
	ACU_LhsCompiler0.cc \
	ACU_LhsCompiler1.cc \
	ACU_LhsCompiler2.cc \
	ACU_LhsCompiler3.cc \
	ACU_Matcher.cc \
	ACU_GreedyMatcher.cc \
	ACU_CollapseMatcher.cc \
	ACU_TreeMatcher.cc \
	ACU_TreeGreedyMatcher.cc \
	ACU_DagOperations.cc \
	ACU_FastMerge.cc \
	ACU_Normalize.cc \
	ACU_MergeSort.cc \
	ChangeLog.AC_Theory

noinst_HEADERS = \
	ACU_ArgumentIterator.hh \
	ACU_BaseDagNode.hh \
	ACU_CollectorLhsAutomaton.hh \
	ACU_DagArgumentIterator.hh \
	ACU_DagNode.hh \
	ACU_ExtensionInfo.hh \
	ACU_GndLhsAutomaton.hh \
	ACU_LazySubproblem.hh \
	ACU_LhsAutomaton.hh \
	ACU_NGA_LhsAutomaton.hh \
	ACU_NonLinearLhsAutomaton.hh \
	ACU_RhsAutomaton.hh \
	ACU_Subproblem.hh \
	ACU_Symbol.hh \
	ACU_Term.hh \
	ACU_Theory.hh \
	ACU_TreeDagArgumentIterator.hh \
	ACU_TreeDagNode.hh \
	ACU_VarLhsAutomaton.hh \
	ACU_UnificationSubproblem2.hh \
	ACU_BndVarLhsAutomaton.hh \
	ACU_TreeVariableSubproblem.hh

all: all-am

.SUFFIXES:
.SUFFIXES: .cc .o .obj
$(srcdir)/Makefile.in:  $(srcdir)/Makefile.am  $(am__configure_deps)
	@for dep in $?; do \
	  case '$(am__configure_deps)' in \
	    *$$dep*) \
	      ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
	        && { if test -f $@; then exit 0; else break; fi; }; \
	      exit 1;; \
	  esac; \
	done; \
	echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/ACU_Theory/Makefile'; \
	$(am__cd) $(top_srcdir) && \
	  $(AUTOMAKE) --foreign src/ACU_Theory/Makefile
Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
	@case '$?' in \
	  *config.status*) \
	    cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
	  *) \
	    echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
	esac;

$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh

$(top_srcdir)/configure:  $(am__configure_deps)
	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
$(ACLOCAL_M4):  $(am__aclocal_m4_deps)
	cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
$(am__aclocal_m4_deps):

clean-noinstLIBRARIES:
	-test -z "$(noinst_LIBRARIES)" || rm -f $(noinst_LIBRARIES)

libACU_Theory.a: $(libACU_Theory_a_OBJECTS) $(libACU_Theory_a_DEPENDENCIES) $(EXTRA_libACU_Theory_a_DEPENDENCIES) 
	$(AM_V_at)-rm -f libACU_Theory.a
	$(AM_V_AR)$(libACU_Theory_a_AR) libACU_Theory.a $(libACU_Theory_a_OBJECTS) $(libACU_Theory_a_LIBADD)
	$(AM_V_at)$(RANLIB) libACU_Theory.a

mostlyclean-compile:
	-rm -f *.$(OBJEXT)

distclean-compile:
	-rm -f *.tab.c

@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_DagNode.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_Symbol.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_Term.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Po@am__quote@ # am--include-marker
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Po@am__quote@ # am--include-marker

$(am__depfiles_remade):
	@$(MKDIR_P) $(@D)
	@echo '# dummy' >$@-t && $(am__mv) $@-t $@

am--depfiles: $(am__depfiles_remade)

.cc.o:
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ $<

.cc.obj:
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'`

libACU_Theory_a-ACU_Symbol.o: ACU_Symbol.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_Symbol.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_Symbol.Tpo -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo '$(srcdir)/'`ACU_Symbol.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_Symbol.Tpo $(DEPDIR)/libACU_Theory_a-ACU_Symbol.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_Symbol.cc' object='libACU_Theory_a-ACU_Symbol.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo '$(srcdir)/'`ACU_Symbol.cc

libACU_Theory_a-ACU_Symbol.obj: ACU_Symbol.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_Symbol.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_Symbol.Tpo -c -o libACU_Theory_a-ACU_Symbol.obj `if test -f 'ACU_Symbol.cc'; then $(CYGPATH_W) 'ACU_Symbol.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_Symbol.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_Symbol.Tpo $(DEPDIR)/libACU_Theory_a-ACU_Symbol.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_Symbol.cc' object='libACU_Theory_a-ACU_Symbol.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_Symbol.obj `if test -f 'ACU_Symbol.cc'; then $(CYGPATH_W) 'ACU_Symbol.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_Symbol.cc'; fi`

libACU_Theory_a-ACU_Term.o: ACU_Term.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_Term.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_Term.Tpo -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo '$(srcdir)/'`ACU_Term.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_Term.Tpo $(DEPDIR)/libACU_Theory_a-ACU_Term.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_Term.cc' object='libACU_Theory_a-ACU_Term.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo '$(srcdir)/'`ACU_Term.cc

libACU_Theory_a-ACU_Term.obj: ACU_Term.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_Term.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_Term.Tpo -c -o libACU_Theory_a-ACU_Term.obj `if test -f 'ACU_Term.cc'; then $(CYGPATH_W) 'ACU_Term.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_Term.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_Term.Tpo $(DEPDIR)/libACU_Theory_a-ACU_Term.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_Term.cc' object='libACU_Theory_a-ACU_Term.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_Term.obj `if test -f 'ACU_Term.cc'; then $(CYGPATH_W) 'ACU_Term.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_Term.cc'; fi`

libACU_Theory_a-ACU_BaseDagNode.o: ACU_BaseDagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_BaseDagNode.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Tpo -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo '$(srcdir)/'`ACU_BaseDagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Tpo $(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_BaseDagNode.cc' object='libACU_Theory_a-ACU_BaseDagNode.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo '$(srcdir)/'`ACU_BaseDagNode.cc

libACU_Theory_a-ACU_BaseDagNode.obj: ACU_BaseDagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_BaseDagNode.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Tpo -c -o libACU_Theory_a-ACU_BaseDagNode.obj `if test -f 'ACU_BaseDagNode.cc'; then $(CYGPATH_W) 'ACU_BaseDagNode.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_BaseDagNode.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Tpo $(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_BaseDagNode.cc' object='libACU_Theory_a-ACU_BaseDagNode.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_BaseDagNode.obj `if test -f 'ACU_BaseDagNode.cc'; then $(CYGPATH_W) 'ACU_BaseDagNode.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_BaseDagNode.cc'; fi`

libACU_Theory_a-ACU_DagNode.o: ACU_DagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_DagNode.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_DagNode.Tpo -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo '$(srcdir)/'`ACU_DagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_DagNode.Tpo $(DEPDIR)/libACU_Theory_a-ACU_DagNode.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_DagNode.cc' object='libACU_Theory_a-ACU_DagNode.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo '$(srcdir)/'`ACU_DagNode.cc

libACU_Theory_a-ACU_DagNode.obj: ACU_DagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_DagNode.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_DagNode.Tpo -c -o libACU_Theory_a-ACU_DagNode.obj `if test -f 'ACU_DagNode.cc'; then $(CYGPATH_W) 'ACU_DagNode.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_DagNode.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_DagNode.Tpo $(DEPDIR)/libACU_Theory_a-ACU_DagNode.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_DagNode.cc' object='libACU_Theory_a-ACU_DagNode.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_DagNode.obj `if test -f 'ACU_DagNode.cc'; then $(CYGPATH_W) 'ACU_DagNode.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_DagNode.cc'; fi`

libACU_Theory_a-ACU_TreeDagNode.o: ACU_TreeDagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_TreeDagNode.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Tpo -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo '$(srcdir)/'`ACU_TreeDagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Tpo $(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_TreeDagNode.cc' object='libACU_Theory_a-ACU_TreeDagNode.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo '$(srcdir)/'`ACU_TreeDagNode.cc

libACU_Theory_a-ACU_TreeDagNode.obj: ACU_TreeDagNode.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_TreeDagNode.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Tpo -c -o libACU_Theory_a-ACU_TreeDagNode.obj `if test -f 'ACU_TreeDagNode.cc'; then $(CYGPATH_W) 'ACU_TreeDagNode.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_TreeDagNode.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Tpo $(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_TreeDagNode.cc' object='libACU_Theory_a-ACU_TreeDagNode.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_TreeDagNode.obj `if test -f 'ACU_TreeDagNode.cc'; then $(CYGPATH_W) 'ACU_TreeDagNode.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_TreeDagNode.cc'; fi`

libACU_Theory_a-ACU_RhsAutomaton.o: ACU_RhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_RhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo '$(srcdir)/'`ACU_RhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_RhsAutomaton.cc' object='libACU_Theory_a-ACU_RhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo '$(srcdir)/'`ACU_RhsAutomaton.cc

libACU_Theory_a-ACU_RhsAutomaton.obj: ACU_RhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_RhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_RhsAutomaton.obj `if test -f 'ACU_RhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_RhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_RhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_RhsAutomaton.cc' object='libACU_Theory_a-ACU_RhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_RhsAutomaton.obj `if test -f 'ACU_RhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_RhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_RhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_LhsAutomaton.o: ACU_LhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_LhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo '$(srcdir)/'`ACU_LhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_LhsAutomaton.cc' object='libACU_Theory_a-ACU_LhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo '$(srcdir)/'`ACU_LhsAutomaton.cc

libACU_Theory_a-ACU_LhsAutomaton.obj: ACU_LhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_LhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_LhsAutomaton.obj `if test -f 'ACU_LhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_LhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_LhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_LhsAutomaton.cc' object='libACU_Theory_a-ACU_LhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_LhsAutomaton.obj `if test -f 'ACU_LhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_LhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_LhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_Subproblem.o: ACU_Subproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_Subproblem.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Tpo -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo '$(srcdir)/'`ACU_Subproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Tpo $(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_Subproblem.cc' object='libACU_Theory_a-ACU_Subproblem.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo '$(srcdir)/'`ACU_Subproblem.cc

libACU_Theory_a-ACU_Subproblem.obj: ACU_Subproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_Subproblem.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Tpo -c -o libACU_Theory_a-ACU_Subproblem.obj `if test -f 'ACU_Subproblem.cc'; then $(CYGPATH_W) 'ACU_Subproblem.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_Subproblem.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Tpo $(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_Subproblem.cc' object='libACU_Theory_a-ACU_Subproblem.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_Subproblem.obj `if test -f 'ACU_Subproblem.cc'; then $(CYGPATH_W) 'ACU_Subproblem.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_Subproblem.cc'; fi`

libACU_Theory_a-ACU_ExtensionInfo.o: ACU_ExtensionInfo.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_ExtensionInfo.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Tpo -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo '$(srcdir)/'`ACU_ExtensionInfo.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Tpo $(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_ExtensionInfo.cc' object='libACU_Theory_a-ACU_ExtensionInfo.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo '$(srcdir)/'`ACU_ExtensionInfo.cc

libACU_Theory_a-ACU_ExtensionInfo.obj: ACU_ExtensionInfo.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_ExtensionInfo.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Tpo -c -o libACU_Theory_a-ACU_ExtensionInfo.obj `if test -f 'ACU_ExtensionInfo.cc'; then $(CYGPATH_W) 'ACU_ExtensionInfo.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_ExtensionInfo.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Tpo $(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_ExtensionInfo.cc' object='libACU_Theory_a-ACU_ExtensionInfo.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_ExtensionInfo.obj `if test -f 'ACU_ExtensionInfo.cc'; then $(CYGPATH_W) 'ACU_ExtensionInfo.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_ExtensionInfo.cc'; fi`

libACU_Theory_a-ACU_CollectorLhsAutomaton.o: ACU_CollectorLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_CollectorLhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_CollectorLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_CollectorLhsAutomaton.cc' object='libACU_Theory_a-ACU_CollectorLhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_CollectorLhsAutomaton.cc

libACU_Theory_a-ACU_CollectorLhsAutomaton.obj: ACU_CollectorLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_CollectorLhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.obj `if test -f 'ACU_CollectorLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_CollectorLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_CollectorLhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_CollectorLhsAutomaton.cc' object='libACU_Theory_a-ACU_CollectorLhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.obj `if test -f 'ACU_CollectorLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_CollectorLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_CollectorLhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_NGA_LhsAutomaton.o: ACU_NGA_LhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_NGA_LhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo '$(srcdir)/'`ACU_NGA_LhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_NGA_LhsAutomaton.cc' object='libACU_Theory_a-ACU_NGA_LhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo '$(srcdir)/'`ACU_NGA_LhsAutomaton.cc

libACU_Theory_a-ACU_NGA_LhsAutomaton.obj: ACU_NGA_LhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_NGA_LhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.obj `if test -f 'ACU_NGA_LhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_NGA_LhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_NGA_LhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_NGA_LhsAutomaton.cc' object='libACU_Theory_a-ACU_NGA_LhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.obj `if test -f 'ACU_NGA_LhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_NGA_LhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_NGA_LhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_VarLhsAutomaton.o: ACU_VarLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_VarLhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_VarLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_VarLhsAutomaton.cc' object='libACU_Theory_a-ACU_VarLhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_VarLhsAutomaton.cc

libACU_Theory_a-ACU_VarLhsAutomaton.obj: ACU_VarLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_VarLhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_VarLhsAutomaton.obj `if test -f 'ACU_VarLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_VarLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_VarLhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_VarLhsAutomaton.cc' object='libACU_Theory_a-ACU_VarLhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_VarLhsAutomaton.obj `if test -f 'ACU_VarLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_VarLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_VarLhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_GndLhsAutomaton.o: ACU_GndLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_GndLhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_GndLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_GndLhsAutomaton.cc' object='libACU_Theory_a-ACU_GndLhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_GndLhsAutomaton.cc

libACU_Theory_a-ACU_GndLhsAutomaton.obj: ACU_GndLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_GndLhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_GndLhsAutomaton.obj `if test -f 'ACU_GndLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_GndLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_GndLhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_GndLhsAutomaton.cc' object='libACU_Theory_a-ACU_GndLhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_GndLhsAutomaton.obj `if test -f 'ACU_GndLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_GndLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_GndLhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_NonLinearLhsAutomaton.o: ACU_NonLinearLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_NonLinearLhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_NonLinearLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_NonLinearLhsAutomaton.cc' object='libACU_Theory_a-ACU_NonLinearLhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_NonLinearLhsAutomaton.cc

libACU_Theory_a-ACU_NonLinearLhsAutomaton.obj: ACU_NonLinearLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_NonLinearLhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.obj `if test -f 'ACU_NonLinearLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_NonLinearLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_NonLinearLhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_NonLinearLhsAutomaton.cc' object='libACU_Theory_a-ACU_NonLinearLhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.obj `if test -f 'ACU_NonLinearLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_NonLinearLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_NonLinearLhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_ArgumentIterator.o: ACU_ArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_ArgumentIterator.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo '$(srcdir)/'`ACU_ArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Tpo $(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_ArgumentIterator.cc' object='libACU_Theory_a-ACU_ArgumentIterator.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo '$(srcdir)/'`ACU_ArgumentIterator.cc

libACU_Theory_a-ACU_ArgumentIterator.obj: ACU_ArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_ArgumentIterator.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_ArgumentIterator.obj `if test -f 'ACU_ArgumentIterator.cc'; then $(CYGPATH_W) 'ACU_ArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_ArgumentIterator.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Tpo $(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_ArgumentIterator.cc' object='libACU_Theory_a-ACU_ArgumentIterator.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_ArgumentIterator.obj `if test -f 'ACU_ArgumentIterator.cc'; then $(CYGPATH_W) 'ACU_ArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_ArgumentIterator.cc'; fi`

libACU_Theory_a-ACU_DagArgumentIterator.o: ACU_DagArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_DagArgumentIterator.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo '$(srcdir)/'`ACU_DagArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Tpo $(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_DagArgumentIterator.cc' object='libACU_Theory_a-ACU_DagArgumentIterator.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo '$(srcdir)/'`ACU_DagArgumentIterator.cc

libACU_Theory_a-ACU_DagArgumentIterator.obj: ACU_DagArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_DagArgumentIterator.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_DagArgumentIterator.obj `if test -f 'ACU_DagArgumentIterator.cc'; then $(CYGPATH_W) 'ACU_DagArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_DagArgumentIterator.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Tpo $(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_DagArgumentIterator.cc' object='libACU_Theory_a-ACU_DagArgumentIterator.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_DagArgumentIterator.obj `if test -f 'ACU_DagArgumentIterator.cc'; then $(CYGPATH_W) 'ACU_DagArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_DagArgumentIterator.cc'; fi`

libACU_Theory_a-ACU_TreeDagArgumentIterator.o: ACU_TreeDagArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_TreeDagArgumentIterator.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo '$(srcdir)/'`ACU_TreeDagArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo $(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_TreeDagArgumentIterator.cc' object='libACU_Theory_a-ACU_TreeDagArgumentIterator.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo '$(srcdir)/'`ACU_TreeDagArgumentIterator.cc

libACU_Theory_a-ACU_TreeDagArgumentIterator.obj: ACU_TreeDagArgumentIterator.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_TreeDagArgumentIterator.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.obj `if test -f 'ACU_TreeDagArgumentIterator.cc'; then $(CYGPATH_W) 'ACU_TreeDagArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_TreeDagArgumentIterator.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo $(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_TreeDagArgumentIterator.cc' object='libACU_Theory_a-ACU_TreeDagArgumentIterator.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.obj `if test -f 'ACU_TreeDagArgumentIterator.cc'; then $(CYGPATH_W) 'ACU_TreeDagArgumentIterator.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_TreeDagArgumentIterator.cc'; fi`

libACU_Theory_a-ACU_LazySubproblem.o: ACU_LazySubproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_LazySubproblem.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Tpo -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo '$(srcdir)/'`ACU_LazySubproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Tpo $(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_LazySubproblem.cc' object='libACU_Theory_a-ACU_LazySubproblem.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo '$(srcdir)/'`ACU_LazySubproblem.cc

libACU_Theory_a-ACU_LazySubproblem.obj: ACU_LazySubproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_LazySubproblem.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Tpo -c -o libACU_Theory_a-ACU_LazySubproblem.obj `if test -f 'ACU_LazySubproblem.cc'; then $(CYGPATH_W) 'ACU_LazySubproblem.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_LazySubproblem.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Tpo $(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_LazySubproblem.cc' object='libACU_Theory_a-ACU_LazySubproblem.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_LazySubproblem.obj `if test -f 'ACU_LazySubproblem.cc'; then $(CYGPATH_W) 'ACU_LazySubproblem.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_LazySubproblem.cc'; fi`

libACU_Theory_a-ACU_UnificationSubproblem2.o: ACU_UnificationSubproblem2.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_UnificationSubproblem2.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo '$(srcdir)/'`ACU_UnificationSubproblem2.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo $(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_UnificationSubproblem2.cc' object='libACU_Theory_a-ACU_UnificationSubproblem2.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo '$(srcdir)/'`ACU_UnificationSubproblem2.cc

libACU_Theory_a-ACU_UnificationSubproblem2.obj: ACU_UnificationSubproblem2.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_UnificationSubproblem2.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo -c -o libACU_Theory_a-ACU_UnificationSubproblem2.obj `if test -f 'ACU_UnificationSubproblem2.cc'; then $(CYGPATH_W) 'ACU_UnificationSubproblem2.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_UnificationSubproblem2.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo $(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_UnificationSubproblem2.cc' object='libACU_Theory_a-ACU_UnificationSubproblem2.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_UnificationSubproblem2.obj `if test -f 'ACU_UnificationSubproblem2.cc'; then $(CYGPATH_W) 'ACU_UnificationSubproblem2.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_UnificationSubproblem2.cc'; fi`

libACU_Theory_a-ACU_BndVarLhsAutomaton.o: ACU_BndVarLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_BndVarLhsAutomaton.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_BndVarLhsAutomaton.o `test -f 'ACU_BndVarLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_BndVarLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_BndVarLhsAutomaton.cc' object='libACU_Theory_a-ACU_BndVarLhsAutomaton.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_BndVarLhsAutomaton.o `test -f 'ACU_BndVarLhsAutomaton.cc' || echo '$(srcdir)/'`ACU_BndVarLhsAutomaton.cc

libACU_Theory_a-ACU_BndVarLhsAutomaton.obj: ACU_BndVarLhsAutomaton.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_BndVarLhsAutomaton.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Tpo -c -o libACU_Theory_a-ACU_BndVarLhsAutomaton.obj `if test -f 'ACU_BndVarLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_BndVarLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_BndVarLhsAutomaton.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Tpo $(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_BndVarLhsAutomaton.cc' object='libACU_Theory_a-ACU_BndVarLhsAutomaton.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_BndVarLhsAutomaton.obj `if test -f 'ACU_BndVarLhsAutomaton.cc'; then $(CYGPATH_W) 'ACU_BndVarLhsAutomaton.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_BndVarLhsAutomaton.cc'; fi`

libACU_Theory_a-ACU_TreeVariableSubproblem.o: ACU_TreeVariableSubproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_TreeVariableSubproblem.o -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Tpo -c -o libACU_Theory_a-ACU_TreeVariableSubproblem.o `test -f 'ACU_TreeVariableSubproblem.cc' || echo '$(srcdir)/'`ACU_TreeVariableSubproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Tpo $(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_TreeVariableSubproblem.cc' object='libACU_Theory_a-ACU_TreeVariableSubproblem.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_TreeVariableSubproblem.o `test -f 'ACU_TreeVariableSubproblem.cc' || echo '$(srcdir)/'`ACU_TreeVariableSubproblem.cc

libACU_Theory_a-ACU_TreeVariableSubproblem.obj: ACU_TreeVariableSubproblem.cc
@am__fastdepCXX_TRUE@	$(AM_V_CXX)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libACU_Theory_a-ACU_TreeVariableSubproblem.obj -MD -MP -MF $(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Tpo -c -o libACU_Theory_a-ACU_TreeVariableSubproblem.obj `if test -f 'ACU_TreeVariableSubproblem.cc'; then $(CYGPATH_W) 'ACU_TreeVariableSubproblem.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_TreeVariableSubproblem.cc'; fi`
@am__fastdepCXX_TRUE@	$(AM_V_at)$(am__mv) $(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Tpo $(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Po
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	$(AM_V_CXX)source='ACU_TreeVariableSubproblem.cc' object='libACU_Theory_a-ACU_TreeVariableSubproblem.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(AM_V_CXX@am__nodep@)$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libACU_Theory_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libACU_Theory_a-ACU_TreeVariableSubproblem.obj `if test -f 'ACU_TreeVariableSubproblem.cc'; then $(CYGPATH_W) 'ACU_TreeVariableSubproblem.cc'; else $(CYGPATH_W) '$(srcdir)/ACU_TreeVariableSubproblem.cc'; fi`

ID: $(am__tagged_files)
	$(am__define_uniq_tagged_files); mkid -fID $$unique
tags: tags-am
TAGS: tags

tags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
	set x; \
	here=`pwd`; \
	$(am__define_uniq_tagged_files); \
	shift; \
	if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \
	  test -n "$$unique" || unique=$$empty_fix; \
	  if test $$# -gt 0; then \
	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
	      "$$@" $$unique; \
	  else \
	    $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
	      $$unique; \
	  fi; \
	fi
ctags: ctags-am

CTAGS: ctags
ctags-am: $(TAGS_DEPENDENCIES) $(am__tagged_files)
	$(am__define_uniq_tagged_files); \
	test -z "$(CTAGS_ARGS)$$unique" \
	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
	     $$unique

GTAGS:
	here=`$(am__cd) $(top_builddir) && pwd` \
	  && $(am__cd) $(top_srcdir) \
	  && gtags -i $(GTAGS_ARGS) "$$here"
cscopelist: cscopelist-am

cscopelist-am: $(am__tagged_files)
	list='$(am__tagged_files)'; \
	case "$(srcdir)" in \
	  [\\/]* | ?:[\\/]*) sdir="$(srcdir)" ;; \
	  *) sdir=$(subdir)/$(srcdir) ;; \
	esac; \
	for i in $$list; do \
	  if test -f "$$i"; then \
	    echo "$(subdir)/$$i"; \
	  else \
	    echo "$$sdir/$$i"; \
	  fi; \
	done >> $(top_builddir)/cscope.files

distclean-tags:
	-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags

distdir: $(BUILT_SOURCES)
	$(MAKE) $(AM_MAKEFLAGS) distdir-am

distdir-am: $(DISTFILES)
	@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
	list='$(DISTFILES)'; \
	  dist_files=`for file in $$list; do echo $$file; done | \
	  sed -e "s|^$$srcdirstrip/||;t" \
	      -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
	case $$dist_files in \
	  */*) $(MKDIR_P) `echo "$$dist_files" | \
			   sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
			   sort -u` ;; \
	esac; \
	for file in $$dist_files; do \
	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
	  if test -d $$d/$$file; then \
	    dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
	    if test -d "$(distdir)/$$file"; then \
	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
	    fi; \
	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
	      cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \
	      find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \
	    fi; \
	    cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \
	  else \
	    test -f "$(distdir)/$$file" \
	    || cp -p $$d/$$file "$(distdir)/$$file" \
	    || exit 1; \
	  fi; \
	done
check-am: all-am
check: check-am
all-am: Makefile $(LIBRARIES) $(HEADERS)
installdirs:
install: install-am
install-exec: install-exec-am
install-data: install-data-am
uninstall: uninstall-am

install-am: all-am
	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am

installcheck: installcheck-am
install-strip:
	if test -z '$(STRIP)'; then \
	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
	      install; \
	else \
	  $(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	    install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
	    "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'" install; \
	fi
mostlyclean-generic:

clean-generic:

distclean-generic:
	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
	-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES)

maintainer-clean-generic:
	@echo "This command is intended for maintainers to use"
	@echo "it deletes files that may require special tools to rebuild."
clean: clean-am

clean-am: clean-generic clean-noinstLIBRARIES mostlyclean-am

distclean: distclean-am
		-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_DagNode.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_Symbol.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_Term.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Po
	-rm -f Makefile
distclean-am: clean-am distclean-compile distclean-generic \
	distclean-tags

dvi: dvi-am

dvi-am:

html: html-am

html-am:

info: info-am

info-am:

install-data-am:

install-dvi: install-dvi-am

install-dvi-am:

install-exec-am:

install-html: install-html-am

install-html-am:

install-info: install-info-am

install-info-am:

install-man:

install-pdf: install-pdf-am

install-pdf-am:

install-ps: install-ps-am

install-ps-am:

installcheck-am:

maintainer-clean: maintainer-clean-am
		-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_ArgumentIterator.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_BaseDagNode.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_BndVarLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_DagArgumentIterator.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_DagNode.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_ExtensionInfo.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_GndLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_LazySubproblem.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_LhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_RhsAutomaton.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_Subproblem.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_Symbol.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_Term.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_TreeDagNode.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_TreeVariableSubproblem.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_UnificationSubproblem2.Po
	-rm -f ./$(DEPDIR)/libACU_Theory_a-ACU_VarLhsAutomaton.Po
	-rm -f Makefile
maintainer-clean-am: distclean-am maintainer-clean-generic

mostlyclean: mostlyclean-am

mostlyclean-am: mostlyclean-compile mostlyclean-generic

pdf: pdf-am

pdf-am:

ps: ps-am

ps-am:

uninstall-am:

.MAKE: install-am install-strip

.PHONY: CTAGS GTAGS TAGS all all-am am--depfiles check check-am clean \
	clean-generic clean-noinstLIBRARIES cscopelist-am ctags \
	ctags-am distclean distclean-compile distclean-generic \
	distclean-tags distdir dvi dvi-am html html-am info info-am \
	install install-am install-data install-data-am install-dvi \
	install-dvi-am install-exec install-exec-am install-html \
	install-html-am install-info install-info-am install-man \
	install-pdf install-pdf-am install-ps install-ps-am \
	install-strip installcheck installcheck-am installdirs \
	maintainer-clean maintainer-clean-generic mostlyclean \
	mostlyclean-compile mostlyclean-generic pdf pdf-am ps ps-am \
	tags tags-am uninstall uninstall-am

.PRECIOUS: Makefile


# Tell versions [3.59,3.63) of GNU make to not export all variables.
# Otherwise a system limit (for SysV at least) may be exceeded.
.NOEXPORT:
