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

# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
# 2003, 2004  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@


SOURCES = $(libhigher_a_SOURCES)

srcdir = @srcdir@
top_srcdir = @top_srcdir@
VPATH = @srcdir@
pkgdatadir = $(datadir)/@PACKAGE@
pkglibdir = $(libdir)/@PACKAGE@
pkgincludedir = $(includedir)/@PACKAGE@
top_builddir = ../..
am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
INSTALL = @INSTALL@
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/Higher
DIST_COMMON = $(noinst_HEADERS) $(srcdir)/Makefile.am \
	$(srcdir)/Makefile.in ChangeLog
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
am__aclocal_m4_deps = $(top_srcdir)/configure.ac
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
	$(ACLOCAL_M4)
mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
CONFIG_HEADER = $(top_builddir)/config.h
CONFIG_CLEAN_FILES =
LIBRARIES = $(noinst_LIBRARIES)
AR = ar
ARFLAGS = cru
libhigher_a_AR = $(AR) $(ARFLAGS)
libhigher_a_LIBADD =
am_libhigher_a_OBJECTS = libhigher_a-rewriteSearchState.$(OBJEXT) \
	libhigher_a-matchSearchState.$(OBJEXT) \
	libhigher_a-positionState.$(OBJEXT) \
	libhigher_a-pattern.$(OBJEXT) \
	libhigher_a-searchState.$(OBJEXT) \
	libhigher_a-rewriteSequenceSearch.$(OBJEXT) \
	libhigher_a-modelCheckerSymbol.$(OBJEXT) \
	libhigher_a-stateTransitionGraph3.$(OBJEXT) \
	libhigher_a-rewriteConditionFragment.$(OBJEXT) \
	libhigher_a-assignmentConditionFragment.$(OBJEXT) \
	libhigher_a-sortTestConditionFragment.$(OBJEXT) \
	libhigher_a-equalityConditionFragment.$(OBJEXT) \
	libhigher_a-assignmentConditionState.$(OBJEXT) \
	libhigher_a-rewriteConditionState.$(OBJEXT) \
	libhigher_a-temporalSymbol.$(OBJEXT) \
	libhigher_a-satSolverSymbol.$(OBJEXT)
libhigher_a_OBJECTS = $(am_libhigher_a_OBJECTS)
DEFAULT_INCLUDES = -I. -I$(srcdir) -I$(top_builddir)
depcomp = $(SHELL) $(top_srcdir)/depcomp
am__depfiles_maybe = depfiles
CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS)
CXXLD = $(CXX)
CXXLINK = $(CXXLD) $(AM_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) $(LDFLAGS) \
	-o $@
SOURCES = $(libhigher_a_SOURCES)
DIST_SOURCES = $(libhigher_a_SOURCES)
HEADERS = $(noinst_HEADERS)
ETAGS = etags
CTAGS = ctags
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
ACLOCAL = @ACLOCAL@
AMDEP_FALSE = @AMDEP_FALSE@
AMDEP_TRUE = @AMDEP_TRUE@
AMTAR = @AMTAR@
AUTOCONF = @AUTOCONF@
AUTOHEADER = @AUTOHEADER@
AUTOMAKE = @AUTOMAKE@
AWK = @AWK@
BISON = @BISON@
BUDDY_LIB = @BUDDY_LIB@
BUILD_COMPILER_FALSE = @BUILD_COMPILER_FALSE@
BUILD_COMPILER_TRUE = @BUILD_COMPILER_TRUE@
CC = @CC@
CCDEPMODE = @CCDEPMODE@
CFLAGS = @CFLAGS@
CPPFLAGS = @CPPFLAGS@
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@
GMP_LIBS = @GMP_LIBS@
INSTALL_DATA = @INSTALL_DATA@
INSTALL_PROGRAM = @INSTALL_PROGRAM@
INSTALL_SCRIPT = @INSTALL_SCRIPT@
INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
LDFLAGS = @LDFLAGS@
LIBOBJS = @LIBOBJS@
LIBS = @LIBS@
LTLIBOBJS = @LTLIBOBJS@
MAKEINFO = @MAKEINFO@
OBJEXT = @OBJEXT@
PACKAGE = @PACKAGE@
PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
PACKAGE_NAME = @PACKAGE_NAME@
PACKAGE_STRING = @PACKAGE_STRING@
PACKAGE_TARNAME = @PACKAGE_TARNAME@
PACKAGE_VERSION = @PACKAGE_VERSION@
PATH_SEPARATOR = @PATH_SEPARATOR@
RANLIB = @RANLIB@
SET_MAKE = @SET_MAKE@
SHELL = @SHELL@
STRIP = @STRIP@
TECLA_LIBS = @TECLA_LIBS@
USE_DLMALLOC_FALSE = @USE_DLMALLOC_FALSE@
USE_DLMALLOC_TRUE = @USE_DLMALLOC_TRUE@
VERSION = @VERSION@
ac_ct_CC = @ac_ct_CC@
ac_ct_CXX = @ac_ct_CXX@
ac_ct_RANLIB = @ac_ct_RANLIB@
ac_ct_STRIP = @ac_ct_STRIP@
am__fastdepCC_FALSE = @am__fastdepCC_FALSE@
am__fastdepCC_TRUE = @am__fastdepCC_TRUE@
am__fastdepCXX_FALSE = @am__fastdepCXX_FALSE@
am__fastdepCXX_TRUE = @am__fastdepCXX_TRUE@
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@
datadir = @datadir@
exec_prefix = @exec_prefix@
host = @host@
host_alias = @host_alias@
host_cpu = @host_cpu@
host_os = @host_os@
host_vendor = @host_vendor@
includedir = @includedir@
infodir = @infodir@
install_sh = @install_sh@
libdir = @libdir@
libexecdir = @libexecdir@
localstatedir = @localstatedir@
mandir = @mandir@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
prefix = @prefix@
program_transform_name = @program_transform_name@
sbindir = @sbindir@
sharedstatedir = @sharedstatedir@
sysconfdir = @sysconfdir@
target_alias = @target_alias@
noinst_LIBRARIES = libhigher.a
libhigher_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/FullCompiler \
	-I$(top_srcdir)/src/Temporal \
	-I$(top_srcdir)/src/FreeTheory \
	-I$(top_srcdir)/src/NA_Theory \
	-I$(top_srcdir)/src/BuiltIn \
	-I$(top_srcdir)/src/Mixfix

libhigher_a_SOURCES = \
	rewriteSearchState.cc \
	matchSearchState.cc \
	positionState.cc \
	pattern.cc \
	searchState.cc \
	rewriteSequenceSearch.cc \
	modelCheckerSymbol.cc \
	stateTransitionGraph3.cc \
	rewriteConditionFragment.cc \
	assignmentConditionFragment.cc \
	sortTestConditionFragment.cc \
	equalityConditionFragment.cc \
	assignmentConditionState.cc \
	rewriteConditionState.cc \
	temporalSymbol.cc \
	satSolverSymbol.cc

noinst_HEADERS = \
	assignmentConditionFragment.hh \
	assignmentConditionState.hh \
	equalityConditionFragment.hh \
	higher.hh \
	matchSearchState.hh \
	modelCheckerSymbol.hh \
	pattern.hh \
	positionState.hh \
	rewriteConditionFragment.hh \
	rewriteConditionState.hh \
	rewriteSearchState.hh \
	rewriteSequenceSearch.hh \
	satSolverSymbol.hh \
	searchState.hh \
	sortTestConditionFragment.hh \
	stateTransitionGraph3.hh \
	temporalSymbol.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 \
		&& exit 0; \
	      exit 1;; \
	  esac; \
	done; \
	echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu  src/Higher/Makefile'; \
	cd $(top_srcdir) && \
	  $(AUTOMAKE) --gnu  src/Higher/Makefile
.PRECIOUS: 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__depfiles_maybe)'; \
	    cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
	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

clean-noinstLIBRARIES:
	-test -z "$(noinst_LIBRARIES)" || rm -f $(noinst_LIBRARIES)
libhigher.a: $(libhigher_a_OBJECTS) $(libhigher_a_DEPENDENCIES) 
	-rm -f libhigher.a
	$(libhigher_a_AR) libhigher.a $(libhigher_a_OBJECTS) $(libhigher_a_LIBADD)
	$(RANLIB) libhigher.a

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

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

@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-assignmentConditionFragment.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-assignmentConditionState.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-equalityConditionFragment.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-matchSearchState.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-modelCheckerSymbol.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-pattern.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-positionState.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-rewriteConditionFragment.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-rewriteConditionState.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-rewriteSearchState.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-satSolverSymbol.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-searchState.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-sortTestConditionFragment.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-stateTransitionGraph3.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libhigher_a-temporalSymbol.Po@am__quote@

.cc.o:
@am__fastdepCXX_TRUE@	if $(CXXCOMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ $<; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXXCOMPILE) -c -o $@ $<

.cc.obj:
@am__fastdepCXX_TRUE@	if $(CXXCOMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ `$(CYGPATH_W) '$<'`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXXCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'`

libhigher_a-rewriteSearchState.o: rewriteSearchState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteSearchState.o -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteSearchState.Tpo" -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo '$(srcdir)/'`rewriteSearchState.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteSearchState.Tpo" "$(DEPDIR)/libhigher_a-rewriteSearchState.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteSearchState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteSearchState.cc' object='libhigher_a-rewriteSearchState.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo '$(srcdir)/'`rewriteSearchState.cc

libhigher_a-rewriteSearchState.obj: rewriteSearchState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteSearchState.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteSearchState.Tpo" -c -o libhigher_a-rewriteSearchState.obj `if test -f 'rewriteSearchState.cc'; then $(CYGPATH_W) 'rewriteSearchState.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteSearchState.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteSearchState.Tpo" "$(DEPDIR)/libhigher_a-rewriteSearchState.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteSearchState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteSearchState.cc' object='libhigher_a-rewriteSearchState.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteSearchState.obj `if test -f 'rewriteSearchState.cc'; then $(CYGPATH_W) 'rewriteSearchState.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteSearchState.cc'; fi`

libhigher_a-matchSearchState.o: matchSearchState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-matchSearchState.o -MD -MP -MF "$(DEPDIR)/libhigher_a-matchSearchState.Tpo" -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo '$(srcdir)/'`matchSearchState.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-matchSearchState.Tpo" "$(DEPDIR)/libhigher_a-matchSearchState.Po"; else rm -f "$(DEPDIR)/libhigher_a-matchSearchState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='matchSearchState.cc' object='libhigher_a-matchSearchState.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo '$(srcdir)/'`matchSearchState.cc

libhigher_a-matchSearchState.obj: matchSearchState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-matchSearchState.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-matchSearchState.Tpo" -c -o libhigher_a-matchSearchState.obj `if test -f 'matchSearchState.cc'; then $(CYGPATH_W) 'matchSearchState.cc'; else $(CYGPATH_W) '$(srcdir)/matchSearchState.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-matchSearchState.Tpo" "$(DEPDIR)/libhigher_a-matchSearchState.Po"; else rm -f "$(DEPDIR)/libhigher_a-matchSearchState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='matchSearchState.cc' object='libhigher_a-matchSearchState.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-matchSearchState.obj `if test -f 'matchSearchState.cc'; then $(CYGPATH_W) 'matchSearchState.cc'; else $(CYGPATH_W) '$(srcdir)/matchSearchState.cc'; fi`

libhigher_a-positionState.o: positionState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-positionState.o -MD -MP -MF "$(DEPDIR)/libhigher_a-positionState.Tpo" -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo '$(srcdir)/'`positionState.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-positionState.Tpo" "$(DEPDIR)/libhigher_a-positionState.Po"; else rm -f "$(DEPDIR)/libhigher_a-positionState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='positionState.cc' object='libhigher_a-positionState.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo '$(srcdir)/'`positionState.cc

libhigher_a-positionState.obj: positionState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-positionState.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-positionState.Tpo" -c -o libhigher_a-positionState.obj `if test -f 'positionState.cc'; then $(CYGPATH_W) 'positionState.cc'; else $(CYGPATH_W) '$(srcdir)/positionState.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-positionState.Tpo" "$(DEPDIR)/libhigher_a-positionState.Po"; else rm -f "$(DEPDIR)/libhigher_a-positionState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='positionState.cc' object='libhigher_a-positionState.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-positionState.obj `if test -f 'positionState.cc'; then $(CYGPATH_W) 'positionState.cc'; else $(CYGPATH_W) '$(srcdir)/positionState.cc'; fi`

libhigher_a-pattern.o: pattern.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-pattern.o -MD -MP -MF "$(DEPDIR)/libhigher_a-pattern.Tpo" -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo '$(srcdir)/'`pattern.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-pattern.Tpo" "$(DEPDIR)/libhigher_a-pattern.Po"; else rm -f "$(DEPDIR)/libhigher_a-pattern.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='pattern.cc' object='libhigher_a-pattern.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo '$(srcdir)/'`pattern.cc

libhigher_a-pattern.obj: pattern.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-pattern.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-pattern.Tpo" -c -o libhigher_a-pattern.obj `if test -f 'pattern.cc'; then $(CYGPATH_W) 'pattern.cc'; else $(CYGPATH_W) '$(srcdir)/pattern.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-pattern.Tpo" "$(DEPDIR)/libhigher_a-pattern.Po"; else rm -f "$(DEPDIR)/libhigher_a-pattern.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='pattern.cc' object='libhigher_a-pattern.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-pattern.obj `if test -f 'pattern.cc'; then $(CYGPATH_W) 'pattern.cc'; else $(CYGPATH_W) '$(srcdir)/pattern.cc'; fi`

libhigher_a-searchState.o: searchState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-searchState.o -MD -MP -MF "$(DEPDIR)/libhigher_a-searchState.Tpo" -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo '$(srcdir)/'`searchState.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-searchState.Tpo" "$(DEPDIR)/libhigher_a-searchState.Po"; else rm -f "$(DEPDIR)/libhigher_a-searchState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='searchState.cc' object='libhigher_a-searchState.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo '$(srcdir)/'`searchState.cc

libhigher_a-searchState.obj: searchState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-searchState.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-searchState.Tpo" -c -o libhigher_a-searchState.obj `if test -f 'searchState.cc'; then $(CYGPATH_W) 'searchState.cc'; else $(CYGPATH_W) '$(srcdir)/searchState.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-searchState.Tpo" "$(DEPDIR)/libhigher_a-searchState.Po"; else rm -f "$(DEPDIR)/libhigher_a-searchState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='searchState.cc' object='libhigher_a-searchState.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-searchState.obj `if test -f 'searchState.cc'; then $(CYGPATH_W) 'searchState.cc'; else $(CYGPATH_W) '$(srcdir)/searchState.cc'; fi`

libhigher_a-rewriteSequenceSearch.o: rewriteSequenceSearch.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteSequenceSearch.o -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Tpo" -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo '$(srcdir)/'`rewriteSequenceSearch.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Tpo" "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteSequenceSearch.cc' object='libhigher_a-rewriteSequenceSearch.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo '$(srcdir)/'`rewriteSequenceSearch.cc

libhigher_a-rewriteSequenceSearch.obj: rewriteSequenceSearch.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteSequenceSearch.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Tpo" -c -o libhigher_a-rewriteSequenceSearch.obj `if test -f 'rewriteSequenceSearch.cc'; then $(CYGPATH_W) 'rewriteSequenceSearch.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteSequenceSearch.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Tpo" "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteSequenceSearch.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteSequenceSearch.cc' object='libhigher_a-rewriteSequenceSearch.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteSequenceSearch.obj `if test -f 'rewriteSequenceSearch.cc'; then $(CYGPATH_W) 'rewriteSequenceSearch.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteSequenceSearch.cc'; fi`

libhigher_a-modelCheckerSymbol.o: modelCheckerSymbol.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-modelCheckerSymbol.o -MD -MP -MF "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Tpo" -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo '$(srcdir)/'`modelCheckerSymbol.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Tpo" "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Po"; else rm -f "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='modelCheckerSymbol.cc' object='libhigher_a-modelCheckerSymbol.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo '$(srcdir)/'`modelCheckerSymbol.cc

libhigher_a-modelCheckerSymbol.obj: modelCheckerSymbol.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-modelCheckerSymbol.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Tpo" -c -o libhigher_a-modelCheckerSymbol.obj `if test -f 'modelCheckerSymbol.cc'; then $(CYGPATH_W) 'modelCheckerSymbol.cc'; else $(CYGPATH_W) '$(srcdir)/modelCheckerSymbol.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Tpo" "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Po"; else rm -f "$(DEPDIR)/libhigher_a-modelCheckerSymbol.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='modelCheckerSymbol.cc' object='libhigher_a-modelCheckerSymbol.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-modelCheckerSymbol.obj `if test -f 'modelCheckerSymbol.cc'; then $(CYGPATH_W) 'modelCheckerSymbol.cc'; else $(CYGPATH_W) '$(srcdir)/modelCheckerSymbol.cc'; fi`

libhigher_a-stateTransitionGraph3.o: stateTransitionGraph3.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-stateTransitionGraph3.o -MD -MP -MF "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Tpo" -c -o libhigher_a-stateTransitionGraph3.o `test -f 'stateTransitionGraph3.cc' || echo '$(srcdir)/'`stateTransitionGraph3.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Tpo" "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Po"; else rm -f "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='stateTransitionGraph3.cc' object='libhigher_a-stateTransitionGraph3.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-stateTransitionGraph3.o `test -f 'stateTransitionGraph3.cc' || echo '$(srcdir)/'`stateTransitionGraph3.cc

libhigher_a-stateTransitionGraph3.obj: stateTransitionGraph3.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-stateTransitionGraph3.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Tpo" -c -o libhigher_a-stateTransitionGraph3.obj `if test -f 'stateTransitionGraph3.cc'; then $(CYGPATH_W) 'stateTransitionGraph3.cc'; else $(CYGPATH_W) '$(srcdir)/stateTransitionGraph3.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Tpo" "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Po"; else rm -f "$(DEPDIR)/libhigher_a-stateTransitionGraph3.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='stateTransitionGraph3.cc' object='libhigher_a-stateTransitionGraph3.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-stateTransitionGraph3.obj `if test -f 'stateTransitionGraph3.cc'; then $(CYGPATH_W) 'stateTransitionGraph3.cc'; else $(CYGPATH_W) '$(srcdir)/stateTransitionGraph3.cc'; fi`

libhigher_a-rewriteConditionFragment.o: rewriteConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteConditionFragment.o -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Tpo" -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo '$(srcdir)/'`rewriteConditionFragment.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteConditionFragment.cc' object='libhigher_a-rewriteConditionFragment.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo '$(srcdir)/'`rewriteConditionFragment.cc

libhigher_a-rewriteConditionFragment.obj: rewriteConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteConditionFragment.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Tpo" -c -o libhigher_a-rewriteConditionFragment.obj `if test -f 'rewriteConditionFragment.cc'; then $(CYGPATH_W) 'rewriteConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteConditionFragment.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteConditionFragment.cc' object='libhigher_a-rewriteConditionFragment.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteConditionFragment.obj `if test -f 'rewriteConditionFragment.cc'; then $(CYGPATH_W) 'rewriteConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteConditionFragment.cc'; fi`

libhigher_a-assignmentConditionFragment.o: assignmentConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-assignmentConditionFragment.o -MD -MP -MF "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Tpo" -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo '$(srcdir)/'`assignmentConditionFragment.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='assignmentConditionFragment.cc' object='libhigher_a-assignmentConditionFragment.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo '$(srcdir)/'`assignmentConditionFragment.cc

libhigher_a-assignmentConditionFragment.obj: assignmentConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-assignmentConditionFragment.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Tpo" -c -o libhigher_a-assignmentConditionFragment.obj `if test -f 'assignmentConditionFragment.cc'; then $(CYGPATH_W) 'assignmentConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/assignmentConditionFragment.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-assignmentConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='assignmentConditionFragment.cc' object='libhigher_a-assignmentConditionFragment.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-assignmentConditionFragment.obj `if test -f 'assignmentConditionFragment.cc'; then $(CYGPATH_W) 'assignmentConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/assignmentConditionFragment.cc'; fi`

libhigher_a-sortTestConditionFragment.o: sortTestConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-sortTestConditionFragment.o -MD -MP -MF "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Tpo" -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo '$(srcdir)/'`sortTestConditionFragment.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='sortTestConditionFragment.cc' object='libhigher_a-sortTestConditionFragment.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo '$(srcdir)/'`sortTestConditionFragment.cc

libhigher_a-sortTestConditionFragment.obj: sortTestConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-sortTestConditionFragment.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Tpo" -c -o libhigher_a-sortTestConditionFragment.obj `if test -f 'sortTestConditionFragment.cc'; then $(CYGPATH_W) 'sortTestConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/sortTestConditionFragment.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-sortTestConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='sortTestConditionFragment.cc' object='libhigher_a-sortTestConditionFragment.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-sortTestConditionFragment.obj `if test -f 'sortTestConditionFragment.cc'; then $(CYGPATH_W) 'sortTestConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/sortTestConditionFragment.cc'; fi`

libhigher_a-equalityConditionFragment.o: equalityConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-equalityConditionFragment.o -MD -MP -MF "$(DEPDIR)/libhigher_a-equalityConditionFragment.Tpo" -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo '$(srcdir)/'`equalityConditionFragment.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-equalityConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-equalityConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-equalityConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='equalityConditionFragment.cc' object='libhigher_a-equalityConditionFragment.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo '$(srcdir)/'`equalityConditionFragment.cc

libhigher_a-equalityConditionFragment.obj: equalityConditionFragment.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-equalityConditionFragment.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-equalityConditionFragment.Tpo" -c -o libhigher_a-equalityConditionFragment.obj `if test -f 'equalityConditionFragment.cc'; then $(CYGPATH_W) 'equalityConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/equalityConditionFragment.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-equalityConditionFragment.Tpo" "$(DEPDIR)/libhigher_a-equalityConditionFragment.Po"; else rm -f "$(DEPDIR)/libhigher_a-equalityConditionFragment.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='equalityConditionFragment.cc' object='libhigher_a-equalityConditionFragment.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-equalityConditionFragment.obj `if test -f 'equalityConditionFragment.cc'; then $(CYGPATH_W) 'equalityConditionFragment.cc'; else $(CYGPATH_W) '$(srcdir)/equalityConditionFragment.cc'; fi`

libhigher_a-assignmentConditionState.o: assignmentConditionState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-assignmentConditionState.o -MD -MP -MF "$(DEPDIR)/libhigher_a-assignmentConditionState.Tpo" -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo '$(srcdir)/'`assignmentConditionState.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-assignmentConditionState.Tpo" "$(DEPDIR)/libhigher_a-assignmentConditionState.Po"; else rm -f "$(DEPDIR)/libhigher_a-assignmentConditionState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='assignmentConditionState.cc' object='libhigher_a-assignmentConditionState.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo '$(srcdir)/'`assignmentConditionState.cc

libhigher_a-assignmentConditionState.obj: assignmentConditionState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-assignmentConditionState.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-assignmentConditionState.Tpo" -c -o libhigher_a-assignmentConditionState.obj `if test -f 'assignmentConditionState.cc'; then $(CYGPATH_W) 'assignmentConditionState.cc'; else $(CYGPATH_W) '$(srcdir)/assignmentConditionState.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-assignmentConditionState.Tpo" "$(DEPDIR)/libhigher_a-assignmentConditionState.Po"; else rm -f "$(DEPDIR)/libhigher_a-assignmentConditionState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='assignmentConditionState.cc' object='libhigher_a-assignmentConditionState.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-assignmentConditionState.obj `if test -f 'assignmentConditionState.cc'; then $(CYGPATH_W) 'assignmentConditionState.cc'; else $(CYGPATH_W) '$(srcdir)/assignmentConditionState.cc'; fi`

libhigher_a-rewriteConditionState.o: rewriteConditionState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteConditionState.o -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteConditionState.Tpo" -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo '$(srcdir)/'`rewriteConditionState.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteConditionState.Tpo" "$(DEPDIR)/libhigher_a-rewriteConditionState.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteConditionState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteConditionState.cc' object='libhigher_a-rewriteConditionState.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo '$(srcdir)/'`rewriteConditionState.cc

libhigher_a-rewriteConditionState.obj: rewriteConditionState.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-rewriteConditionState.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-rewriteConditionState.Tpo" -c -o libhigher_a-rewriteConditionState.obj `if test -f 'rewriteConditionState.cc'; then $(CYGPATH_W) 'rewriteConditionState.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteConditionState.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-rewriteConditionState.Tpo" "$(DEPDIR)/libhigher_a-rewriteConditionState.Po"; else rm -f "$(DEPDIR)/libhigher_a-rewriteConditionState.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='rewriteConditionState.cc' object='libhigher_a-rewriteConditionState.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-rewriteConditionState.obj `if test -f 'rewriteConditionState.cc'; then $(CYGPATH_W) 'rewriteConditionState.cc'; else $(CYGPATH_W) '$(srcdir)/rewriteConditionState.cc'; fi`

libhigher_a-temporalSymbol.o: temporalSymbol.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-temporalSymbol.o -MD -MP -MF "$(DEPDIR)/libhigher_a-temporalSymbol.Tpo" -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo '$(srcdir)/'`temporalSymbol.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-temporalSymbol.Tpo" "$(DEPDIR)/libhigher_a-temporalSymbol.Po"; else rm -f "$(DEPDIR)/libhigher_a-temporalSymbol.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='temporalSymbol.cc' object='libhigher_a-temporalSymbol.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo '$(srcdir)/'`temporalSymbol.cc

libhigher_a-temporalSymbol.obj: temporalSymbol.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-temporalSymbol.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-temporalSymbol.Tpo" -c -o libhigher_a-temporalSymbol.obj `if test -f 'temporalSymbol.cc'; then $(CYGPATH_W) 'temporalSymbol.cc'; else $(CYGPATH_W) '$(srcdir)/temporalSymbol.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-temporalSymbol.Tpo" "$(DEPDIR)/libhigher_a-temporalSymbol.Po"; else rm -f "$(DEPDIR)/libhigher_a-temporalSymbol.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='temporalSymbol.cc' object='libhigher_a-temporalSymbol.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-temporalSymbol.obj `if test -f 'temporalSymbol.cc'; then $(CYGPATH_W) 'temporalSymbol.cc'; else $(CYGPATH_W) '$(srcdir)/temporalSymbol.cc'; fi`

libhigher_a-satSolverSymbol.o: satSolverSymbol.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-satSolverSymbol.o -MD -MP -MF "$(DEPDIR)/libhigher_a-satSolverSymbol.Tpo" -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo '$(srcdir)/'`satSolverSymbol.cc; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-satSolverSymbol.Tpo" "$(DEPDIR)/libhigher_a-satSolverSymbol.Po"; else rm -f "$(DEPDIR)/libhigher_a-satSolverSymbol.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='satSolverSymbol.cc' object='libhigher_a-satSolverSymbol.o' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo '$(srcdir)/'`satSolverSymbol.cc

libhigher_a-satSolverSymbol.obj: satSolverSymbol.cc
@am__fastdepCXX_TRUE@	if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT libhigher_a-satSolverSymbol.obj -MD -MP -MF "$(DEPDIR)/libhigher_a-satSolverSymbol.Tpo" -c -o libhigher_a-satSolverSymbol.obj `if test -f 'satSolverSymbol.cc'; then $(CYGPATH_W) 'satSolverSymbol.cc'; else $(CYGPATH_W) '$(srcdir)/satSolverSymbol.cc'; fi`; \
@am__fastdepCXX_TRUE@	then mv -f "$(DEPDIR)/libhigher_a-satSolverSymbol.Tpo" "$(DEPDIR)/libhigher_a-satSolverSymbol.Po"; else rm -f "$(DEPDIR)/libhigher_a-satSolverSymbol.Tpo"; exit 1; fi
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	source='satSolverSymbol.cc' object='libhigher_a-satSolverSymbol.obj' libtool=no @AMDEPBACKSLASH@
@AMDEP_TRUE@@am__fastdepCXX_FALSE@	DEPDIR=$(DEPDIR) $(CXXDEPMODE) $(depcomp) @AMDEPBACKSLASH@
@am__fastdepCXX_FALSE@	$(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(libhigher_a_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o libhigher_a-satSolverSymbol.obj `if test -f 'satSolverSymbol.cc'; then $(CYGPATH_W) 'satSolverSymbol.cc'; else $(CYGPATH_W) '$(srcdir)/satSolverSymbol.cc'; fi`
uninstall-info-am:

ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES)
	list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	mkid -fID $$unique
tags: TAGS

TAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	if test -z "$(ETAGS_ARGS)$$tags$$unique"; then :; else \
	  test -n "$$unique" || unique=$$empty_fix; \
	  $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
	    $$tags $$unique; \
	fi
ctags: CTAGS
CTAGS:  $(HEADERS) $(SOURCES)  $(TAGS_DEPENDENCIES) \
		$(TAGS_FILES) $(LISP)
	tags=; \
	here=`pwd`; \
	list='$(SOURCES) $(HEADERS)  $(LISP) $(TAGS_FILES)'; \
	unique=`for i in $$list; do \
	    if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
	  done | \
	  $(AWK) '    { files[$$0] = 1; } \
	       END { for (i in files) print i; }'`; \
	test -z "$(CTAGS_ARGS)$$tags$$unique" \
	  || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
	     $$tags $$unique

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

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

distdir: $(DISTFILES)
	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's|.|.|g'`; \
	list='$(DISTFILES)'; for file in $$list; do \
	  case $$file in \
	    $(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
	    $(top_srcdir)/*) file=`echo "$$file" | sed "s|^$$topsrcdirstrip/|$(top_builddir)/|"`;; \
	  esac; \
	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
	  dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
	  if test "$$dir" != "$$file" && test "$$dir" != "."; then \
	    dir="/$$dir"; \
	    $(mkdir_p) "$(distdir)$$dir"; \
	  else \
	    dir=''; \
	  fi; \
	  if test -d $$d/$$file; then \
	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
	      cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
	    fi; \
	    cp -pR $$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:
	$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
	  install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
	  `test -z '$(STRIP)' || \
	    echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
mostlyclean-generic:

clean-generic:

distclean-generic:
	-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_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 -rf ./$(DEPDIR)
	-rm -f Makefile
distclean-am: clean-am distclean-compile distclean-generic \
	distclean-tags

dvi: dvi-am

dvi-am:

html: html-am

info: info-am

info-am:

install-data-am:

install-exec-am:

install-info: install-info-am

install-man:

installcheck-am:

maintainer-clean: maintainer-clean-am
	-rm -rf ./$(DEPDIR)
	-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: uninstall-info-am

.PHONY: CTAGS GTAGS all all-am check check-am clean clean-generic \
	clean-noinstLIBRARIES ctags 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-exec install-exec-am install-info \
	install-info-am install-man install-strip installcheck \
	installcheck-am installdirs maintainer-clean \
	maintainer-clean-generic mostlyclean mostlyclean-compile \
	mostlyclean-generic pdf pdf-am ps ps-am tags uninstall \
	uninstall-am uninstall-info-am

# 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: