diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..8f4fb79 --- /dev/null +++ b/.gitignore @@ -0,0 +1,11 @@ +# Git ignore file +*.o + +# This file is generated +src/pddl+.cpp + + +Makefile +parser +validate +tan diff --git a/Makefile b/Makefile index 027d5ce..025d0fe 100644 --- a/Makefile +++ b/Makefile @@ -52,15 +52,15 @@ CXXFLAGS = ${DEPENDFLAGS} -ansi -Wall ${CXX} ${CPPFLAGS} ${CXXFLAGS} -c $< -o $@ %.cpp : %.yacc - flex -+ src/Parser/pddl+.lex -o /src/Parser/lex.yy.cc; bison $< -o src/pddl+.cpp + flex -+ src/Parser/pddl+.lex -o src/Parser/lex.yy.cc; bison $< -o src/pddl+.cpp + - # C/C++/Eiffel/FORTRAN linker -LINKER := g++ -g -LDFLAGS = -LOADLIBES := +LINKER := g++ -g +LDFLAGS = +LOADLIBES := @@ -465,37 +465,36 @@ jdepend: # DO NOT DELETE THIS LINE -- makemake depends on it. -src/Analysis.o: +src/Analysis.o: -src/DYNA.o: +src/DYNA.o: -src/LPGP.o: +src/LPGP.o: -src/PingusTranslator.o: +src/PingusTranslator.o: -src/PlanRec.o: +src/PlanRec.o: -src/Polynomial.o: +src/Polynomial.o: -src/Relax.o: +src/Relax.o: -src/TIM.o: +src/TIM.o: src/TimSupport.o: -src/TypeStrip.o: - -src/TypedAnalysis.o: +src/TypeStrip.o: -src/Validator.o: +src/TypedAnalysis.o: -src/dynaMain.o: +src/Validator.o: -src/instantiation.o: +src/dynaMain.o: -src/instantiationMain.o: +src/instantiation.o: -src/main.o: +src/instantiationMain.o: -src/parse.o: +src/main.o: +src/parse.o: diff --git a/obj/parser/src/DebugWriteController.o b/obj/parser/src/DebugWriteController.o deleted file mode 100644 index 6476bb2..0000000 Binary files a/obj/parser/src/DebugWriteController.o and /dev/null differ diff --git a/obj/parser/src/parse.o b/obj/parser/src/parse.o deleted file mode 100644 index f5a4520..0000000 Binary files a/obj/parser/src/parse.o and /dev/null differ diff --git a/obj/parser/src/pddl+.o b/obj/parser/src/pddl+.o deleted file mode 100644 index 04669d4..0000000 Binary files a/obj/parser/src/pddl+.o and /dev/null differ diff --git a/obj/parser/src/ptree.o b/obj/parser/src/ptree.o deleted file mode 100644 index a1d0dc2..0000000 Binary files a/obj/parser/src/ptree.o and /dev/null differ diff --git a/obj/tan/src/DebugWriteController.o b/obj/tan/src/DebugWriteController.o deleted file mode 100644 index 6476bb2..0000000 Binary files a/obj/tan/src/DebugWriteController.o and /dev/null differ diff --git a/obj/tan/src/FuncAnalysis.o b/obj/tan/src/FuncAnalysis.o deleted file mode 100644 index 984d024..0000000 Binary files a/obj/tan/src/FuncAnalysis.o and /dev/null differ diff --git a/obj/tan/src/TypedAnalyser.o b/obj/tan/src/TypedAnalyser.o deleted file mode 100644 index 98eb234..0000000 Binary files a/obj/tan/src/TypedAnalyser.o and /dev/null differ diff --git a/obj/tan/src/TypedAnalysis.o b/obj/tan/src/TypedAnalysis.o deleted file mode 100644 index 59f4c52..0000000 Binary files a/obj/tan/src/TypedAnalysis.o and /dev/null differ diff --git a/obj/tan/src/pddl+.o b/obj/tan/src/pddl+.o deleted file mode 100644 index 04669d4..0000000 Binary files a/obj/tan/src/pddl+.o and /dev/null differ diff --git a/obj/tan/src/ptree.o b/obj/tan/src/ptree.o deleted file mode 100644 index a1d0dc2..0000000 Binary files a/obj/tan/src/ptree.o and /dev/null differ diff --git a/obj/tan/src/typecheck.o b/obj/tan/src/typecheck.o deleted file mode 100644 index 3d76296..0000000 Binary files a/obj/tan/src/typecheck.o and /dev/null differ diff --git a/obj/validate/src/Action.o b/obj/validate/src/Action.o deleted file mode 100644 index 301c7a3..0000000 Binary files a/obj/validate/src/Action.o and /dev/null differ diff --git a/obj/validate/src/Analysis.o b/obj/validate/src/Analysis.o deleted file mode 100644 index e3aa290..0000000 Binary files a/obj/validate/src/Analysis.o and /dev/null differ diff --git a/obj/validate/src/CausalGraph.o b/obj/validate/src/CausalGraph.o deleted file mode 100644 index b30f6e9..0000000 Binary files a/obj/validate/src/CausalGraph.o and /dev/null differ diff --git a/obj/validate/src/Commitments.o b/obj/validate/src/Commitments.o deleted file mode 100644 index 300c10e..0000000 Binary files a/obj/validate/src/Commitments.o and /dev/null differ diff --git a/obj/validate/src/DebugWriteController.o b/obj/validate/src/DebugWriteController.o deleted file mode 100644 index 6476bb2..0000000 Binary files a/obj/validate/src/DebugWriteController.o and /dev/null differ diff --git a/obj/validate/src/Environment.o b/obj/validate/src/Environment.o deleted file mode 100644 index 7d7b58e..0000000 Binary files a/obj/validate/src/Environment.o and /dev/null differ diff --git a/obj/validate/src/Evaluator.o b/obj/validate/src/Evaluator.o deleted file mode 100644 index 001d95c..0000000 Binary files a/obj/validate/src/Evaluator.o and /dev/null differ diff --git a/obj/validate/src/Events.o b/obj/validate/src/Events.o deleted file mode 100644 index dcdb4a3..0000000 Binary files a/obj/validate/src/Events.o and /dev/null differ diff --git a/obj/validate/src/FastEnvironment.o b/obj/validate/src/FastEnvironment.o deleted file mode 100644 index c4ebed6..0000000 Binary files a/obj/validate/src/FastEnvironment.o and /dev/null differ diff --git a/obj/validate/src/FuncExp.o b/obj/validate/src/FuncExp.o deleted file mode 100644 index 523ccb6..0000000 Binary files a/obj/validate/src/FuncExp.o and /dev/null differ diff --git a/obj/validate/src/LaTeXSupport.o b/obj/validate/src/LaTeXSupport.o deleted file mode 100644 index 9064730..0000000 Binary files a/obj/validate/src/LaTeXSupport.o and /dev/null differ diff --git a/obj/validate/src/Ownership.o b/obj/validate/src/Ownership.o deleted file mode 100644 index 05dacfe..0000000 Binary files a/obj/validate/src/Ownership.o and /dev/null differ diff --git a/obj/validate/src/Plan.o b/obj/validate/src/Plan.o deleted file mode 100644 index 6d95b86..0000000 Binary files a/obj/validate/src/Plan.o and /dev/null differ diff --git a/obj/validate/src/Polynomial.o b/obj/validate/src/Polynomial.o deleted file mode 100644 index a2f05d9..0000000 Binary files a/obj/validate/src/Polynomial.o and /dev/null differ diff --git a/obj/validate/src/PrettyPrinter.o b/obj/validate/src/PrettyPrinter.o deleted file mode 100644 index 83c28f7..0000000 Binary files a/obj/validate/src/PrettyPrinter.o and /dev/null differ diff --git a/obj/validate/src/Proposition.o b/obj/validate/src/Proposition.o deleted file mode 100644 index 6facb3e..0000000 Binary files a/obj/validate/src/Proposition.o and /dev/null differ diff --git a/obj/validate/src/RepairAdvice.o b/obj/validate/src/RepairAdvice.o deleted file mode 100644 index c2b3b4d..0000000 Binary files a/obj/validate/src/RepairAdvice.o and /dev/null differ diff --git a/obj/validate/src/RobustAnalyse.o b/obj/validate/src/RobustAnalyse.o deleted file mode 100644 index 96d7b69..0000000 Binary files a/obj/validate/src/RobustAnalyse.o and /dev/null differ diff --git a/obj/validate/src/SimpleEval.o b/obj/validate/src/SimpleEval.o deleted file mode 100644 index af0c3e8..0000000 Binary files a/obj/validate/src/SimpleEval.o and /dev/null differ diff --git a/obj/validate/src/State.o b/obj/validate/src/State.o deleted file mode 100644 index 41e341e..0000000 Binary files a/obj/validate/src/State.o and /dev/null differ diff --git a/obj/validate/src/TIM.o b/obj/validate/src/TIM.o deleted file mode 100644 index 7e5462c..0000000 Binary files a/obj/validate/src/TIM.o and /dev/null differ diff --git a/obj/validate/src/TimSupport.o b/obj/validate/src/TimSupport.o deleted file mode 100644 index 0347391..0000000 Binary files a/obj/validate/src/TimSupport.o and /dev/null differ diff --git a/obj/validate/src/TrajectoryConstraints.o b/obj/validate/src/TrajectoryConstraints.o deleted file mode 100644 index 67f00b5..0000000 Binary files a/obj/validate/src/TrajectoryConstraints.o and /dev/null differ diff --git a/obj/validate/src/Utils.o b/obj/validate/src/Utils.o deleted file mode 100644 index 7786b0f..0000000 Binary files a/obj/validate/src/Utils.o and /dev/null differ diff --git a/obj/validate/src/Validator.o b/obj/validate/src/Validator.o deleted file mode 100644 index 03b5ffa..0000000 Binary files a/obj/validate/src/Validator.o and /dev/null differ diff --git a/obj/validate/src/main.o b/obj/validate/src/main.o deleted file mode 100644 index 02ccf46..0000000 Binary files a/obj/validate/src/main.o and /dev/null differ diff --git a/obj/validate/src/pddl+.o b/obj/validate/src/pddl+.o deleted file mode 100644 index 5e0bb3d..0000000 Binary files a/obj/validate/src/pddl+.o and /dev/null differ diff --git a/obj/validate/src/ptree.o b/obj/validate/src/ptree.o deleted file mode 100644 index a1d0dc2..0000000 Binary files a/obj/validate/src/ptree.o and /dev/null differ diff --git a/obj/validate/src/random.o b/obj/validate/src/random.o deleted file mode 100644 index 04748b8..0000000 Binary files a/obj/validate/src/random.o and /dev/null differ diff --git a/obj/validate/src/typecheck.o b/obj/validate/src/typecheck.o deleted file mode 100644 index 3d76296..0000000 Binary files a/obj/validate/src/typecheck.o and /dev/null differ diff --git a/parser b/parser deleted file mode 100755 index 04eeadd..0000000 Binary files a/parser and /dev/null differ diff --git a/src/Action.o b/src/Action.o deleted file mode 100644 index c4e4e3e..0000000 Binary files a/src/Action.o and /dev/null differ diff --git a/src/DebugWriteController.o b/src/DebugWriteController.o deleted file mode 100644 index 52ea010..0000000 Binary files a/src/DebugWriteController.o and /dev/null differ diff --git a/src/Environment.o b/src/Environment.o deleted file mode 100644 index 10dfcc3..0000000 Binary files a/src/Environment.o and /dev/null differ diff --git a/src/Events.o b/src/Events.o deleted file mode 100644 index 967d241..0000000 Binary files a/src/Events.o and /dev/null differ diff --git a/src/FuncAnalysis.o b/src/FuncAnalysis.o deleted file mode 100644 index 0d6ea89..0000000 Binary files a/src/FuncAnalysis.o and /dev/null differ diff --git a/src/FuncExp.o b/src/FuncExp.o deleted file mode 100644 index 152636d..0000000 Binary files a/src/FuncExp.o and /dev/null differ diff --git a/src/LaTeXSupport.o b/src/LaTeXSupport.o deleted file mode 100644 index fa00aac..0000000 Binary files a/src/LaTeXSupport.o and /dev/null differ diff --git a/src/Ownership.o b/src/Ownership.o deleted file mode 100644 index 54e037a..0000000 Binary files a/src/Ownership.o and /dev/null differ diff --git a/src/Plan.o b/src/Plan.o deleted file mode 100644 index 7fcf1de..0000000 Binary files a/src/Plan.o and /dev/null differ diff --git a/src/Polynomial.o b/src/Polynomial.o deleted file mode 100644 index df59bd4..0000000 Binary files a/src/Polynomial.o and /dev/null differ diff --git a/src/PrettyPrinter.o b/src/PrettyPrinter.o deleted file mode 100644 index 4b12710..0000000 Binary files a/src/PrettyPrinter.o and /dev/null differ diff --git a/src/Proposition.o b/src/Proposition.o deleted file mode 100644 index 0d9112a..0000000 Binary files a/src/Proposition.o and /dev/null differ diff --git a/src/RepairAdvice.o b/src/RepairAdvice.o deleted file mode 100644 index 953c30b..0000000 Binary files a/src/RepairAdvice.o and /dev/null differ diff --git a/src/RobustAnalyse.o b/src/RobustAnalyse.o deleted file mode 100644 index 38814f0..0000000 Binary files a/src/RobustAnalyse.o and /dev/null differ diff --git a/src/State.o b/src/State.o deleted file mode 100644 index fd63ca1..0000000 Binary files a/src/State.o and /dev/null differ diff --git a/src/TrajectoryConstraints.o b/src/TrajectoryConstraints.o deleted file mode 100644 index 6483f3f..0000000 Binary files a/src/TrajectoryConstraints.o and /dev/null differ diff --git a/src/TypedAnalyser.o b/src/TypedAnalyser.o deleted file mode 100644 index dd0579a..0000000 Binary files a/src/TypedAnalyser.o and /dev/null differ diff --git a/src/TypedAnalysis.o b/src/TypedAnalysis.o deleted file mode 100644 index f0ba21e..0000000 Binary files a/src/TypedAnalysis.o and /dev/null differ diff --git a/src/Utils.o b/src/Utils.o deleted file mode 100644 index a504599..0000000 Binary files a/src/Utils.o and /dev/null differ diff --git a/src/Validator.o b/src/Validator.o deleted file mode 100644 index d871776..0000000 Binary files a/src/Validator.o and /dev/null differ diff --git a/src/main.o b/src/main.o deleted file mode 100644 index 33fb401..0000000 Binary files a/src/main.o and /dev/null differ diff --git a/src/pddl+.o b/src/pddl+.o deleted file mode 100644 index 792a71c..0000000 Binary files a/src/pddl+.o and /dev/null differ diff --git a/src/ptree.o b/src/ptree.o deleted file mode 100644 index d540c4a..0000000 Binary files a/src/ptree.o and /dev/null differ diff --git a/src/random.o b/src/random.o deleted file mode 100644 index ef3835e..0000000 Binary files a/src/random.o and /dev/null differ diff --git a/src/typecheck.o b/src/typecheck.o deleted file mode 100644 index 9a3766b..0000000 Binary files a/src/typecheck.o and /dev/null differ diff --git a/tan b/tan deleted file mode 100755 index f29d43e..0000000 Binary files a/tan and /dev/null differ diff --git a/validate b/validate deleted file mode 100644 index 086c5ba..0000000 Binary files a/validate and /dev/null differ