## Edited by Malte despited the warning below -- we're not using
## makemake. Unfortunately, this means we'll have to maintain our
## changes when upgrading to a new version of VAL.
##
## To see the diff compared to the original VAL Makefile, see the revision
## that merged the issue254 branch.
##
## Changes made:
## - Removed dependencies from FlexLexer.h, since we want to use the
##   system version.
## - Renamed "tidy" and "clean" targets to "clean" and "distclean" to be
##   in line with the Fast Downward naming conventions.
## - Let make clean also get rid of the flex output files.
## - Added dependency on the flex source file.
## - Added clearer error reporting when flex and/or bison ar missing.
## - Allow to set BISONFLAGS variable e.g. for disabling shift/reduce and
##   reduce/reduce warnings.

# This file was automatically generated by makemake.
# Do not edit it directly!
# Any changes you make will be silently overwritten.


# Edit this file to define constants and custom build targets.
# Please refer to the makemake documentation for more information.
#
# To compile multiple versions of a program or library, please study
#     http://www.its.caltech.edu/~jafl/jcc/multi_version.html

# Useful directories

MYCODEDIR := .

## Set DOWNWARD_LINK_RELEASE_STATICALLY to 0 or 1 (default) to
## disable/enable static linking of the executable in release mode.
## On OS X, this is unsupported and will be silently disabled.
DOWNWARD_LINK_RELEASE_STATICALLY ?= 1

OS = auto
## We link statically by default, but not on OS X.
## The OS can either be auto-detected (default) or
## specified by setting "OS" to either "osx" or "linux".
ifeq ($(OS), auto)
UNAME := $(shell uname)
UNAME_O := $(shell uname -o)
ifeq ($(UNAME), Darwin)
OS = osx
endif
ifeq ($(UNAME), Linux)
OS = linux
endif
ifeq ($(UNAME_O), Cygwin)
## For now, we treat Linux and Cygwin equally in this Makefile, so we
## just call Cygwin "linux".
OS=linux
endif
ifeq ($(OS), auto)
$(warning OS detection failed -- setting to Linux and hoping for the best!)
OS = linux
endif
endif
ifeq ($(OS), osx)
## Disable static linking on OS X.
LINK_STATICALLY = 0
else
LINK_STATICALLY = ${DOWNWARD_LINK_RELEASE_STATICALLY}
endif

# Directories to search for header files

SEARCHDIRS := -iquote -I${MYCODEDIR}
# Note that -I- should be -iquote for g++ version 4

# makemake variables

DEPENDFLAGS := ${SEARCHDIRS}

# C preprocessor (C, C++, FORTRAN)

CPPFLAGS =

# C compiler

CC     := gcc
CFLAGS  = ${DEPENDFLAGS}

%.o : %.c
	${CC} ${CPPFLAGS} ${CFLAGS} -c $< -o $@

# C++ compiler

CXXFLAGS  := ${CXXFLAGS} ${DEPENDFLAGS} -ansi -w

%.o : %.cc
	${CXX} ${CPPFLAGS} ${CXXFLAGS} -c $< -o $@

%.o : %.C
	${CXX} ${CPPFLAGS} ${CXXFLAGS} -c $< -o $@

%.o : %.cpp
	${CXX} ${CPPFLAGS} ${CXXFLAGS} -c $< -o $@

%.o : %.cxx
	${CXX} ${CPPFLAGS} ${CXXFLAGS} -c $< -o $@

# Note: We use the flex executable with the -+ option rather than the flex++
#       executable (which does the same thing) because flex++ is not available
#       in at least some Mandriva Linux versions.
%.cpp : %.yacc pddl+.lex
	@hash flex 2>&- || { echo >&2 "flex is not installed -- aborting. If you are using Ubuntu Linux, try 'sudo apt-get install flex'."; exit 1; }
	flex -+ pddl+.lex
	@hash bison 2>&- || { echo >&2 "bison is not installed -- aborting. If you are using Ubuntu Linux, try 'sudo apt-get install bison'."; exit 1; }
	bison ${BISONFLAGS} $< -o $@


# FORTRAN compiler

FC     := f77
FFLAGS  =

# C/C++/Eiffel/FORTRAN linker

LINKER    := ${CXX}
ifeq ($(LINK_STATICALLY), 1)
LINKER += -static -static-libgcc
endif


LDFLAGS    =
LOADLIBES :=

# Java compiler

JAVAC  := javac
JFLAGS  =
JAR    := jar

%.class : %.java
	${JAVAC} ${JFLAGS} $<


# This is what makemake added


# validate

validate :: ./pddl+.o ./pddl+.o ./ptree.o ./Action.o ./Proposition.o ./FuncExp.o ./typecheck.o ./main.o ./Validator.o ./RepairAdvice.o ./LaTeXSupport.o ./State.o ./Plan.o ./Ownership.o ./Environment.o ./Polynomial.o ./DebugWriteController.o ./Utils.o ./TrajectoryConstraints.o ./RobustAnalyse.o ./random.o ./Events.o ./PrettyPrinter.o
  ifeq (${suffix validate}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix validate}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# parser

parser :: ./pddl+.o ./pddl+.o ./ptree.o ./parse.o ./DebugWriteController.o
  ifeq (${suffix parser}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix parser}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# analyse

analyse :: ./pddl+.o ./pddl+.o ./ptree.o ./Analysis.o ./DebugWriteController.o
  ifeq (${suffix analyse}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix analyse}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# tan

tan :: ./pddl+.o ./pddl+.o ./ptree.o ./TypedAnalysis.o ./TypedAnalyser.o ./DebugWriteController.o ./typecheck.o ./FuncAnalysis.o
  ifeq (${suffix tan}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix tan}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# tim

tim :: ./pddl+.o ./pddl+.o ./ptree.o ./TypedAnalyser.o ./DebugWriteController.o ./typecheck.o ./TimSupport.o ./TIM.o ./FuncAnalysis.o ./TIMMain.o ./SimpleEval.o ./instantiation.o
  ifeq (${suffix tim}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix tim}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# tofn

tofn :: ./pddl+.o ./pddl+.o ./ptree.o ./TypedAnalyser.o ./DebugWriteController.o ./typecheck.o ./TimSupport.o ./TIM.o ./FuncAnalysis.o ./ToFunction.o ./SimpleEval.o ./FastEnvironment.o ./instantiation.o ./SASActions.o ./ToFnMain.o
  ifeq (${suffix tofn}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix tofn}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# instantiate

instantiate :: ./pddl+.o ./pddl+.o ./ptree.o ./SimpleEval.o ./FastEnvironment.o ./instantiation.o ./instantiationMain.o ./DebugWriteController.o ./typecheck.o ./TypedAnalyser.o ./FuncAnalysis.o ./TIM.o ./TimSupport.o
  ifeq (${suffix instantiate}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix instantiate}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# libInst.a

libInst.a :: ./pddl+.o ./pddl+.o ./ptree.o ./SimpleEval.o ./FastEnvironment.o ./instantiation.o ./DebugWriteController.o ./typecheck.o ./TypedAnalyser.o ./FuncAnalysis.o ./TIM.o ./TimSupport.o ./TypeStripWC.o ./TypeStrip.o
  ifeq (${suffix libInst.a}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix libInst.a}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# typestrip

typestrip :: ./pddl+.o ./pddl+.o ./ptree.o ./TypeStrip.o ./TypeStripWC.o ./typecheck.o ./DebugWriteController.o
  ifeq (${suffix typestrip}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix typestrip}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# pddl2lpgp

pddl2lpgp :: ./pddl+.o ./pddl+.o ./ptree.o ./LPGPTranslator.o ./LPGP.o ./DebugWriteController.o ./Utils.o
  ifeq (${suffix pddl2lpgp}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix pddl2lpgp}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# dyna

dyna :: ./pddl+.o ./pddl+.o ./ptree.o ./DYNATranslator.o ./DYNA.o ./DebugWriteController.o ./Utils.o
  ifeq (${suffix dyna}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix dyna}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# relax

relax :: ./pddl+.o ./pddl+.o ./ptree.o ./RelaxTranslator.o ./Relax.o ./DebugWriteController.o ./Utils.o
  ifeq (${suffix relax}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix relax}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# dynaplan

dynaplan :: ./pddl+.o ./pddl+.o ./ptree.o ./SimpleEval.o ./FastEnvironment.o ./instantiation.o ./dynaMain.o ./DebugWriteController.o ./typecheck.o ./TypedAnalyser.o ./FuncAnalysis.o ./TIM.o ./TimSupport.o ./graphconstruct.o ./SearchSpace.o ./PartialPlan.o ./Plan.o ./State.o ./Validator.o ./RepairAdvice.o ./LaTeXSupport.o ./Action.o ./Proposition.o ./FuncExp.o ./Ownership.o ./Environment.o ./Polynomial.o ./DebugWriteController.o ./Utils.o ./TrajectoryConstraints.o ./InstPropLinker.o ./Evaluator.o ./RobustAnalyse.o ./random.o ./Events.o ./PrettyPrinter.o
  ifeq (${suffix dynaplan}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix dynaplan}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# hww

hww :: ./pddl+.o ./pddl+.o ./ptree.o ./TypedAnalyser.o ./DebugWriteController.o ./typecheck.o ./TimSupport.o ./TIM.o ./FuncAnalysis.o ./HowWhatWhenMain.o ./HowAnalyser.o
  ifeq (${suffix hww}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix hww}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# pinguplan

pinguplan :: ./pddl+.o ./pddl+.o ./ptree.o ./TypedAnalyser.o ./DebugWriteController.o ./typecheck.o ./TimSupport.o ./TIM.o ./FuncAnalysis.o ./PingusTranslator.o ./PinguPlanGenerator.o
  ifeq (${suffix pinguplan}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix pinguplan}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# planrec

planrec :: ./pddl+.o ./pddl+.o ./ptree.o ./Action.o ./Proposition.o ./FuncExp.o ./typecheck.o ./PlanRec.o ./Validator.o ./RepairAdvice.o ./LaTeXSupport.o ./State.o ./Plan.o ./Ownership.o ./Environment.o ./Polynomial.o ./DebugWriteController.o ./Utils.o ./TrajectoryConstraints.o ./RobustAnalyse.o ./random.o ./Events.o ./PrettyPrinter.o ./TypedAnalyser.o ./TimSupport.o ./TIM.o ./FuncAnalysis.o ./SimpleEval.o ./instantiation.o ./CausalGraph.o ./ToFunction.o ./SASActions.o
  ifeq (${suffix planrec}, .a)
	@${RM} $@
	${AR} crs $@ ${filter-out %.a %.so, $^}
  else
  ifeq (${suffix planrec}, .so)
	${LINKER} -shared ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  else
	${LINKER} ${LDFLAGS} -o $@ ${filter-out %.a %.so, $^} ${LOADLIBES}
  endif
  endif

# list of all source files

MM_ALL_TARGETS := validate parser analyse tan tim tofn instantiate libInst.a typestrip pddl2lpgp dyna relax dynaplan hww pinguplan planrec

# target for making everything

## [Added for Fast Downward]
.PHONY : debug
debug: validate

.PHONY : all
all: ${MM_ALL_TARGETS}

# target for removing all object files

.PHONY : clean
clean::
	@${RM} core ./Action.o ./Analysis.o ./CausalGraph.o ./DYNA.o ./DYNATranslator.o ./DebugWriteController.o ./Environment.o ./Evaluator.o ./Events.o ./FastEnvironment.o ./FuncAnalysis.o ./FuncExp.o ./HowAnalyser.o ./HowWhatWhenMain.o ./InstPropLinker.o ./LPGP.o ./LPGPTranslator.o ./LaTeXSupport.o ./Ownership.o ./PartialPlan.o ./PinguPlanGenerator.o ./PingusTranslator.o ./Plan.o ./PlanRec.o ./Polynomial.o ./PrettyPrinter.o ./Proposition.o ./Relax.o ./RelaxTranslator.o ./RepairAdvice.o ./RobustAnalyse.o ./SASActions.o ./SearchSpace.o ./SimpleEval.o ./State.o ./TIM.o ./TIMMain.o ./TimSupport.o ./ToFnMain.o ./ToFunction.o ./TrajectoryConstraints.o ./TypeStrip.o ./TypeStripWC.o ./TypedAnalyser.o ./TypedAnalysis.o ./Utils.o ./Validator.o ./dynaMain.o ./graphconstruct.o ./instantiation.o ./instantiationMain.o ./main.o ./parse.o ./pddl+.o ./ptree.o ./random.o ./typecheck.o
	@${RM} lex.yy.cc

# target for removing all object files

.PHONY : distclean
distclean:: clean
	@${RM} ${MM_ALL_TARGETS}

# list of all source files

MM_ALL_SOURCES := ./Action.cpp ./Analysis.cpp ./CausalGraph.cpp ./DYNA.cpp ./DYNATranslator.cpp ./DebugWriteController.cpp ./Environment.cpp ./Evaluator.cpp ./Events.cpp ./FastEnvironment.cpp ./FuncAnalysis.cpp ./FuncExp.cpp ./HowAnalyser.cpp ./HowWhatWhenMain.cpp ./InstPropLinker.cpp ./LPGP.cpp ./LPGPTranslator.cpp ./LaTeXSupport.cpp ./Ownership.cpp ./PartialPlan.cpp ./PinguPlanGenerator.cpp ./PingusTranslator.cpp ./Plan.cpp ./PlanRec.cpp ./Polynomial.cpp ./PrettyPrinter.cpp ./Proposition.cpp ./Relax.cpp ./RelaxTranslator.cpp ./RepairAdvice.cpp ./RobustAnalyse.cpp ./SASActions.cpp ./SearchSpace.cpp ./SimpleEval.cpp ./State.cpp ./TIM.cpp ./TIMMain.cpp ./TimSupport.cpp ./ToFnMain.cpp ./ToFunction.cpp ./TrajectoryConstraints.cpp ./TypeStrip.cpp ./TypeStripWC.cpp ./TypedAnalyser.cpp ./TypedAnalysis.cpp ./Utils.cpp ./Validator.cpp ./dynaMain.cpp ./graphconstruct.cpp ./instantiation.cpp ./instantiationMain.cpp ./main.cpp ./parse.cpp ./pddl+.lex ./ptree.cpp ./random.cpp ./typecheck.cpp

# target for checking a source file

CHECKSYNTAXFILE := ${basename ${filter %${CHECKSTRING}, ${MM_ALL_SOURCES}}}

.PHONY : checksyntax
checksyntax:
  ifneq (${CHECKSYNTAXFILE},)
	@${MAKE} ${addsuffix .o, ${CHECKSYNTAXFILE}}
  else
	@echo No target to make ${CHECKSTRING}
  endif


# target for touching appropriate source files

.PHONY : touch
touch::
	@list=`grep -l ${TOUCHSTRING} ${MM_ALL_SOURCES}`; \
     for file in $$list; do { echo $$file; touch $$file; } done


# target for calculating dependencies (MAKEMAKE)

.PHONY : jdepend
jdepend:
	@${MAKEMAKE} --depend Makefile -- ${DEPENDFLAGS} --  ./Action.cpp ./Action.o ./Analysis.cpp ./Analysis.o ./CausalGraph.cpp ./CausalGraph.o ./DYNA.cpp ./DYNA.o ./DYNATranslator.cpp ./DYNATranslator.o ./DebugWriteController.cpp ./DebugWriteController.o ./Environment.cpp ./Environment.o ./Evaluator.cpp ./Evaluator.o ./Events.cpp ./Events.o ./FastEnvironment.cpp ./FastEnvironment.o ./FuncAnalysis.cpp ./FuncAnalysis.o ./FuncExp.cpp ./FuncExp.o ./HowAnalyser.cpp ./HowAnalyser.o ./HowWhatWhenMain.cpp ./HowWhatWhenMain.o ./InstPropLinker.cpp ./InstPropLinker.o ./LPGP.cpp ./LPGP.o ./LPGPTranslator.cpp ./LPGPTranslator.o ./LaTeXSupport.cpp ./LaTeXSupport.o ./Ownership.cpp ./Ownership.o ./PartialPlan.cpp ./PartialPlan.o ./PinguPlanGenerator.cpp ./PinguPlanGenerator.o ./PingusTranslator.cpp ./PingusTranslator.o ./Plan.cpp ./Plan.o ./PlanRec.cpp ./PlanRec.o ./Polynomial.cpp ./Polynomial.o ./PrettyPrinter.cpp ./PrettyPrinter.o ./Proposition.cpp ./Proposition.o ./Relax.cpp ./Relax.o ./RelaxTranslator.cpp ./RelaxTranslator.o ./RepairAdvice.cpp ./RepairAdvice.o ./RobustAnalyse.cpp ./RobustAnalyse.o ./SASActions.cpp ./SASActions.o ./SearchSpace.cpp ./SearchSpace.o ./SimpleEval.cpp ./SimpleEval.o ./State.cpp ./State.o ./TIM.cpp ./TIM.o ./TIMMain.cpp ./TIMMain.o ./TimSupport.cpp ./TimSupport.o ./ToFnMain.cpp ./ToFnMain.o ./ToFunction.cpp ./ToFunction.o ./TrajectoryConstraints.cpp ./TrajectoryConstraints.o ./TypeStrip.cpp ./TypeStrip.o ./TypeStripWC.cpp ./TypeStripWC.o ./TypedAnalyser.cpp ./TypedAnalyser.o ./TypedAnalysis.cpp ./TypedAnalysis.o ./Utils.cpp ./Utils.o ./Validator.cpp ./Validator.o ./dynaMain.cpp ./dynaMain.o ./graphconstruct.cpp ./graphconstruct.o ./instantiation.cpp ./instantiation.o ./instantiationMain.cpp ./instantiationMain.o ./main.cpp ./main.o ./parse.cpp ./parse.o ./pddl+.lex ./pddl+.o ./ptree.cpp ./ptree.o ./random.cpp ./random.o ./typecheck.cpp ./typecheck.o


# DO NOT DELETE THIS LINE -- makemake depends on it.

./Action.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./LaTeXSupport.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./Analysis.o: ./Analyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./CausalGraph.o: ./Cascader.h ./CausalGraph.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./DYNA.o: ./DYNATranslator.h ./VisitController.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./DYNATranslator.o: ./DYNATranslator.h ./Environment.h ./FuncExp.h ./Utils.h ./VisitController.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./DebugWriteController.o: ./DebugWriteController.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./Environment.o: ./Environment.h

./Evaluator.o: ./Action.h ./Cascader.h ./Environment.h ./Evaluator.h ./Events.h ./Exceptions.h ./FastEnvironment.h ./FuncAnalysis.h ./FuncExp.h ./InstPropLinker.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./SimpleEval.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./TypedAnalyser.h ./Utils.h ./Validator.h ./VisitController.h ./instantiation.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./Events.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./FastEnvironment.o: ./FastEnvironment.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./FuncAnalysis.o: ./FuncAnalysis.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./FuncExp.o: ./Environment.h ./FuncExp.h ./Ownership.h ./Polynomial.h ./Proposition.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./Utils.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./random.h ./sStack.h

./HowAnalyser.o: ./AbstractGraph.h ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./HowAnalyser.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./HowWhatWhenMain.o: ./AbstractGraph.h ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./HowAnalyser.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./InstPropLinker.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./InstPropLinker.h ./Ownership.h ./Polynomial.h ./Proposition.h ./SimpleEval.h ./TypedAnalyser.h ./VisitController.h ./instantiation.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./LPGP.o: ./LPGPTranslator.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./LPGPTranslator.o: ./Environment.h ./FuncExp.h ./LPGPTranslator.h ./Utils.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./LaTeXSupport.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./LaTeXSupport.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./Ownership.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./PartialPlan.o: ./Action.h ./Cascader.h ./Environment.h ./Events.h ./Exceptions.h ./FastEnvironment.h ./FuncAnalysis.h ./FuncExp.h ./Ownership.h ./PartialPlan.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./SearchSpace.h ./SimpleEval.h ./State.h ./StateObserver.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TrajectoryConstraints.h ./TypedAnalyser.h ./Utils.h ./Validator.h ./VisitController.h ./graphconstruct.h ./instantiation.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./PinguPlanGenerator.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./PinguPlanGenerator.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./PingusTranslator.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./PinguPlanGenerator.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./Plan.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./PlanRec.o: ./AbstractGraph.h ./Action.h ./Cascader.h ./CausalGraph.h ./Environment.h ./Events.h ./Exceptions.h ./FastEnvironment.h ./FuncAnalysis.h ./FuncExp.h ./GoalHypSpace.h ./HowAnalyser.h ./LaTeXSupport.h ./Ownership.h ./Plan.h ./PlanExecutionTracker.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TrajectoryConstraints.h ./TypedAnalyser.h ./Utils.h ./Validator.h ./VisitController.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./Polynomial.o: ./Environment.h ./Exceptions.h ./Ownership.h ./Polynomial.h ./Proposition.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h

./PrettyPrinter.o: ./Environment.h ./FuncExp.h ./PrettyPrinter.h ./Utils.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./Proposition.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./Ownership.h ./Plan.h ./Polynomial.h ./PrettyPrinter.h ./Proposition.h ./RepairAdvice.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./WriteController.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./Relax.o: ./RelaxTranslator.h ./VisitController.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./RelaxTranslator.o: ./Environment.h ./FuncExp.h ./RelaxTranslator.h ./Utils.h ./VisitController.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./RepairAdvice.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./RobustAnalyse.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./LaTeXSupport.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./random.h ./sStack.h ./tDistribution.h ./typecheck.h

./SASActions.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./SASActions.h ./SimpleEval.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./ToFunction.h ./TypedAnalyser.h ./VisitController.h ./instantiation.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./SearchSpace.o: ./Action.h ./Cascader.h ./Environment.h ./Events.h ./Exceptions.h ./FastEnvironment.h ./FuncAnalysis.h ./FuncExp.h ./Ownership.h ./PartialPlan.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./SearchSpace.h ./SimpleEval.h ./State.h ./StateObserver.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TrajectoryConstraints.h ./TypedAnalyser.h ./Utils.h ./Validator.h ./VisitController.h ./graphconstruct.h ./instantiation.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./SimpleEval.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./SimpleEval.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./State.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./LaTeXSupport.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TIM.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TIMMain.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./SimpleEval.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./instantiation.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TimSupport.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./Partitions.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./ToFnMain.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./SASActions.h ./SimpleEval.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./ToFunction.h ./TypedAnalyser.h ./VisitController.h ./instantiation.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./ToFunction.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./SASActions.h ./SimpleEval.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./ToFunction.h ./TypedAnalyser.h ./VisitController.h ./instantiation.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TrajectoryConstraints.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./VisitController.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TypeStrip.o: ./TypeStripWC.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TypeStripWC.o: ./TypeStripWC.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TypedAnalyser.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./TypedAnalysis.o: ./Cascader.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./TypedAnalyser.h ./VisitController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./Utils.o: ./Action.h ./Environment.h ./FuncExp.h ./Ownership.h ./Polynomial.h ./Proposition.h ./Utils.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h

./Validator.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./random.h ./sStack.h ./typecheck.h

./dynaMain.o: ./Action.h ./Cascader.h ./DebugWriteController.h ./Environment.h ./Events.h ./Exceptions.h ./FastEnvironment.h ./FuncAnalysis.h ./FuncExp.h ./Ownership.h ./PartialPlan.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./SearchSpace.h ./SimpleEval.h ./State.h ./StateObserver.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TrajectoryConstraints.h ./TypedAnalyser.h ./Utils.h ./Validator.h ./VisitController.h ./WriteController.h ./graphconstruct.h ./instantiation.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./graphconstruct.o: ./Action.h ./Cascader.h ./Environment.h ./Evaluator.h ./Events.h ./Exceptions.h ./FastEnvironment.h ./FuncAnalysis.h ./FuncExp.h ./InstPropLinker.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./SimpleEval.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./TypedAnalyser.h ./Utils.h ./Validator.h ./VisitController.h ./graphconstruct.h ./instantiation.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./instantiation.o: ./Cascader.h ./DebugWriteController.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./SimpleEval.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./WriteController.h ./instantiation.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./instantiationMain.o: ./Cascader.h ./DebugWriteController.h ./Environment.h ./FastEnvironment.h ./FuncAnalysis.h ./SimpleEval.h ./TIM.h ./TIMUtilities.h ./TimSupport.h ./TypedAnalyser.h ./VisitController.h ./WriteController.h ./instantiation.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./main.o: ./Action.h ./Environment.h ./Events.h ./Exceptions.h ./FuncExp.h ./LaTeXSupport.h ./Ownership.h ./Plan.h ./Polynomial.h ./Proposition.h ./RepairAdvice.h ./RobustAnalyse.h ./State.h ./StateObserver.h ./TrajectoryConstraints.h ./Utils.h ./Validator.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

./parse.o: ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./ptree.o: ./DebugWriteController.h ./VisitController.h ./WriteController.h ./macros.h ./parse_error.h ./ptree.h ./sStack.h

./random.o: ./random.h

./typecheck.o: ./Exceptions.h ./macros.h ./main.h ./parse_error.h ./ptree.h ./sStack.h ./typecheck.h

