Move src files to libraries

KCL-Planning · DerekLong101 · Aug 8, 2019 · Jul 6, 2019 · Jul 6, 2019 · Jul 6, 2019
commit ada3905ba7f0ddc52b82b8e0979fe3155e011288
diff --git a/src/Action.cpp → libraries/VAL/src/Action.cpp b/src/Action.cpp → libraries/VAL/src/Action.cpp
diff --git a/src/Action.o → libraries/VAL/src/Action.o b/src/Action.o → libraries/VAL/src/Action.o
diff --git a/src/Analysis.cpp → libraries/VAL/src/Analysis.cpp b/src/Analysis.cpp → libraries/VAL/src/Analysis.cpp
diff --git a/src/CausalGraph.cpp → libraries/VAL/src/CausalGraph.cpp b/src/CausalGraph.cpp → libraries/VAL/src/CausalGraph.cpp
diff --git a/src/Commitments.cpp → libraries/VAL/src/Commitments.cpp b/src/Commitments.cpp → libraries/VAL/src/Commitments.cpp
diff --git a/src/DYNA.cpp → libraries/VAL/src/DYNA.cpp b/src/DYNA.cpp → libraries/VAL/src/DYNA.cpp
diff --git a/src/DYNATranslator.cpp → libraries/VAL/src/DYNATranslator.cpp b/src/DYNATranslator.cpp → libraries/VAL/src/DYNATranslator.cpp
diff --git a/src/DebugWriteController.cpp → libraries/VAL/src/DebugWriteController.cpp b/src/DebugWriteController.cpp → libraries/VAL/src/DebugWriteController.cpp
diff --git a/src/DebugWriteController.o → libraries/VAL/src/DebugWriteController.o b/src/DebugWriteController.o → libraries/VAL/src/DebugWriteController.o
diff --git a/src/Environment.cpp → libraries/VAL/src/Environment.cpp b/src/Environment.cpp → libraries/VAL/src/Environment.cpp
diff --git a/src/Environment.o → libraries/VAL/src/Environment.o b/src/Environment.o → libraries/VAL/src/Environment.o
diff --git a/src/Evaluator.cpp → libraries/VAL/src/Evaluator.cpp b/src/Evaluator.cpp → libraries/VAL/src/Evaluator.cpp
diff --git a/src/Events.cpp → libraries/VAL/src/Events.cpp b/src/Events.cpp → libraries/VAL/src/Events.cpp
diff --git a/src/Events.o → libraries/VAL/src/Events.o b/src/Events.o → libraries/VAL/src/Events.o
diff --git a/src/FastEnvironment.cpp → libraries/VAL/src/FastEnvironment.cpp b/src/FastEnvironment.cpp → libraries/VAL/src/FastEnvironment.cpp
diff --git a/src/FuncAnalysis.cpp → libraries/VAL/src/FuncAnalysis.cpp b/src/FuncAnalysis.cpp → libraries/VAL/src/FuncAnalysis.cpp
diff --git a/src/FuncAnalysis.o → libraries/VAL/src/FuncAnalysis.o b/src/FuncAnalysis.o → libraries/VAL/src/FuncAnalysis.o
diff --git a/src/FuncExp.cpp → libraries/VAL/src/FuncExp.cpp b/src/FuncExp.cpp → libraries/VAL/src/FuncExp.cpp
diff --git a/src/FuncExp.o → libraries/VAL/src/FuncExp.o b/src/FuncExp.o → libraries/VAL/src/FuncExp.o
diff --git a/src/HowAnalyser.cpp → libraries/VAL/src/HowAnalyser.cpp b/src/HowAnalyser.cpp → libraries/VAL/src/HowAnalyser.cpp
diff --git a/src/HowWhatWhenMain.cpp → libraries/VAL/src/HowWhatWhenMain.cpp b/src/HowWhatWhenMain.cpp → libraries/VAL/src/HowWhatWhenMain.cpp
diff --git a/src/InstPropLinker.cpp → libraries/VAL/src/InstPropLinker.cpp b/src/InstPropLinker.cpp → libraries/VAL/src/InstPropLinker.cpp
diff --git a/src/LPGP.cpp → libraries/VAL/src/LPGP.cpp b/src/LPGP.cpp → libraries/VAL/src/LPGP.cpp
diff --git a/src/LPGPTranslator.cpp → libraries/VAL/src/LPGPTranslator.cpp b/src/LPGPTranslator.cpp → libraries/VAL/src/LPGPTranslator.cpp
diff --git a/src/LaTeXSupport.cpp → libraries/VAL/src/LaTeXSupport.cpp b/src/LaTeXSupport.cpp → libraries/VAL/src/LaTeXSupport.cpp
diff --git a/src/LaTeXSupport.o → libraries/VAL/src/LaTeXSupport.o b/src/LaTeXSupport.o → libraries/VAL/src/LaTeXSupport.o
diff --git a/src/Ownership.cpp → libraries/VAL/src/Ownership.cpp b/src/Ownership.cpp → libraries/VAL/src/Ownership.cpp
diff --git a/src/Ownership.o → libraries/VAL/src/Ownership.o b/src/Ownership.o → libraries/VAL/src/Ownership.o
diff --git a/src/Parser/lex.yy.cc → libraries/VAL/src/Parser/lex.yy.cc b/src/Parser/lex.yy.cc → libraries/VAL/src/Parser/lex.yy.cc
diff --git a/src/Parser/pddl+.lex → libraries/VAL/src/Parser/pddl+.lex b/src/Parser/pddl+.lex → libraries/VAL/src/Parser/pddl+.lex
diff --git a/src/Parser/pddl+.yacc → libraries/VAL/src/Parser/pddl+.yacc b/src/Parser/pddl+.yacc → libraries/VAL/src/Parser/pddl+.yacc
diff --git a/src/PartialPlan.cpp → libraries/VAL/src/PartialPlan.cpp b/src/PartialPlan.cpp → libraries/VAL/src/PartialPlan.cpp
diff --git a/src/PinguPlanGenerator.cpp → libraries/VAL/src/PinguPlanGenerator.cpp b/src/PinguPlanGenerator.cpp → libraries/VAL/src/PinguPlanGenerator.cpp
diff --git a/src/PingusTranslator.cpp → libraries/VAL/src/PingusTranslator.cpp b/src/PingusTranslator.cpp → libraries/VAL/src/PingusTranslator.cpp
diff --git a/src/Plan.cpp → libraries/VAL/src/Plan.cpp b/src/Plan.cpp → libraries/VAL/src/Plan.cpp
diff --git a/src/Plan.o → libraries/VAL/src/Plan.o b/src/Plan.o → libraries/VAL/src/Plan.o
diff --git a/src/PlanRec.cpp → libraries/VAL/src/PlanRec.cpp b/src/PlanRec.cpp → libraries/VAL/src/PlanRec.cpp
diff --git a/src/Polynomial.cpp → libraries/VAL/src/Polynomial.cpp b/src/Polynomial.cpp → libraries/VAL/src/Polynomial.cpp
diff --git a/src/Polynomial.o → libraries/VAL/src/Polynomial.o b/src/Polynomial.o → libraries/VAL/src/Polynomial.o
diff --git a/src/PrettyPrinter.cpp → libraries/VAL/src/PrettyPrinter.cpp b/src/PrettyPrinter.cpp → libraries/VAL/src/PrettyPrinter.cpp
diff --git a/src/PrettyPrinter.o → libraries/VAL/src/PrettyPrinter.o b/src/PrettyPrinter.o → libraries/VAL/src/PrettyPrinter.o
diff --git a/src/Proposition.cpp → libraries/VAL/src/Proposition.cpp b/src/Proposition.cpp → libraries/VAL/src/Proposition.cpp
diff --git a/src/Proposition.o → libraries/VAL/src/Proposition.o b/src/Proposition.o → libraries/VAL/src/Proposition.o
diff --git a/src/Relax.cpp → libraries/VAL/src/Relax.cpp b/src/Relax.cpp → libraries/VAL/src/Relax.cpp
diff --git a/src/RelaxTranslator.cpp → libraries/VAL/src/RelaxTranslator.cpp b/src/RelaxTranslator.cpp → libraries/VAL/src/RelaxTranslator.cpp
diff --git a/src/RepairAdvice.cpp → libraries/VAL/src/RepairAdvice.cpp b/src/RepairAdvice.cpp → libraries/VAL/src/RepairAdvice.cpp
diff --git a/src/RepairAdvice.o → libraries/VAL/src/RepairAdvice.o b/src/RepairAdvice.o → libraries/VAL/src/RepairAdvice.o
diff --git a/src/RobustAnalyse.cpp → libraries/VAL/src/RobustAnalyse.cpp b/src/RobustAnalyse.cpp → libraries/VAL/src/RobustAnalyse.cpp
diff --git a/src/RobustAnalyse.o → libraries/VAL/src/RobustAnalyse.o b/src/RobustAnalyse.o → libraries/VAL/src/RobustAnalyse.o
diff --git a/src/SASActions.cpp → libraries/VAL/src/SASActions.cpp b/src/SASActions.cpp → libraries/VAL/src/SASActions.cpp
diff --git a/src/SearchSpace.cpp → libraries/VAL/src/SearchSpace.cpp b/src/SearchSpace.cpp → libraries/VAL/src/SearchSpace.cpp
diff --git a/src/SimpleEval.cpp → libraries/VAL/src/SimpleEval.cpp b/src/SimpleEval.cpp → libraries/VAL/src/SimpleEval.cpp
diff --git a/src/State.cpp → libraries/VAL/src/State.cpp b/src/State.cpp → libraries/VAL/src/State.cpp
diff --git a/src/State.o → libraries/VAL/src/State.o b/src/State.o → libraries/VAL/src/State.o
diff --git a/src/TIM.cpp → libraries/VAL/src/TIM.cpp b/src/TIM.cpp → libraries/VAL/src/TIM.cpp
diff --git a/src/TIMMain.cpp → libraries/VAL/src/TIMMain.cpp b/src/TIMMain.cpp → libraries/VAL/src/TIMMain.cpp
diff --git a/src/TimSupport.cpp → libraries/VAL/src/TimSupport.cpp b/src/TimSupport.cpp → libraries/VAL/src/TimSupport.cpp
diff --git a/src/ToFnMain.cpp → libraries/VAL/src/ToFnMain.cpp b/src/ToFnMain.cpp → libraries/VAL/src/ToFnMain.cpp
diff --git a/src/ToFunction.cpp → libraries/VAL/src/ToFunction.cpp b/src/ToFunction.cpp → libraries/VAL/src/ToFunction.cpp
diff --git a/src/TrajectoryConstraints.cpp → libraries/VAL/src/TrajectoryConstraints.cpp b/src/TrajectoryConstraints.cpp → libraries/VAL/src/TrajectoryConstraints.cpp
diff --git a/src/TrajectoryConstraints.o → libraries/VAL/src/TrajectoryConstraints.o b/src/TrajectoryConstraints.o → libraries/VAL/src/TrajectoryConstraints.o
diff --git a/src/TypeStrip.cpp → libraries/VAL/src/TypeStrip.cpp b/src/TypeStrip.cpp → libraries/VAL/src/TypeStrip.cpp
diff --git a/src/TypeStripWC.cpp → libraries/VAL/src/TypeStripWC.cpp b/src/TypeStripWC.cpp → libraries/VAL/src/TypeStripWC.cpp
diff --git a/src/TypedAnalyser.cpp → libraries/VAL/src/TypedAnalyser.cpp b/src/TypedAnalyser.cpp → libraries/VAL/src/TypedAnalyser.cpp
diff --git a/src/TypedAnalyser.o → libraries/VAL/src/TypedAnalyser.o b/src/TypedAnalyser.o → libraries/VAL/src/TypedAnalyser.o
diff --git a/src/TypedAnalysis.cpp → libraries/VAL/src/TypedAnalysis.cpp b/src/TypedAnalysis.cpp → libraries/VAL/src/TypedAnalysis.cpp
diff --git a/src/TypedAnalysis.o → libraries/VAL/src/TypedAnalysis.o b/src/TypedAnalysis.o → libraries/VAL/src/TypedAnalysis.o
diff --git a/src/Utils.cpp → libraries/VAL/src/Utils.cpp b/src/Utils.cpp → libraries/VAL/src/Utils.cpp
diff --git a/src/Utils.o → libraries/VAL/src/Utils.o b/src/Utils.o → libraries/VAL/src/Utils.o
diff --git a/src/Validator.cpp → libraries/VAL/src/Validator.cpp b/src/Validator.cpp → libraries/VAL/src/Validator.cpp
diff --git a/src/Validator.o → libraries/VAL/src/Validator.o b/src/Validator.o → libraries/VAL/src/Validator.o
diff --git a/src/dynaMain.cpp → libraries/VAL/src/dynaMain.cpp b/src/dynaMain.cpp → libraries/VAL/src/dynaMain.cpp
diff --git a/src/graphconstruct.cpp → libraries/VAL/src/graphconstruct.cpp b/src/graphconstruct.cpp → libraries/VAL/src/graphconstruct.cpp
diff --git a/src/instantiation.cpp → libraries/VAL/src/instantiation.cpp b/src/instantiation.cpp → libraries/VAL/src/instantiation.cpp
diff --git a/src/instantiationConstraint.cpp → ...aries/VAL/src/instantiationConstraint.cpp b/src/instantiationConstraint.cpp → ...aries/VAL/src/instantiationConstraint.cpp
diff --git a/src/instantiationIP.cpp → libraries/VAL/src/instantiationIP.cpp b/src/instantiationIP.cpp → libraries/VAL/src/instantiationIP.cpp
diff --git a/src/instantiationMain.cpp → libraries/VAL/src/instantiationMain.cpp b/src/instantiationMain.cpp → libraries/VAL/src/instantiationMain.cpp
diff --git a/src/lex.yy.cc → libraries/VAL/src/lex.yy.cc b/src/lex.yy.cc → libraries/VAL/src/lex.yy.cc
diff --git a/src/main.cpp → libraries/VAL/src/main.cpp b/src/main.cpp → libraries/VAL/src/main.cpp
diff --git a/src/main.cpp~ → libraries/VAL/src/main.cpp~ b/src/main.cpp~ → libraries/VAL/src/main.cpp~
diff --git a/src/main.o → libraries/VAL/src/main.o b/src/main.o → libraries/VAL/src/main.o
diff --git a/src/oldCausalGraph.cpp → libraries/VAL/src/oldCausalGraph.cpp b/src/oldCausalGraph.cpp → libraries/VAL/src/oldCausalGraph.cpp
diff --git a/src/parse.cpp → libraries/VAL/src/parse.cpp b/src/parse.cpp → libraries/VAL/src/parse.cpp
diff --git a/src/pddl+.cpp → libraries/VAL/src/pddl+.cpp b/src/pddl+.cpp → libraries/VAL/src/pddl+.cpp
diff --git a/src/pddl+.lex → libraries/VAL/src/pddl+.lex b/src/pddl+.lex → libraries/VAL/src/pddl+.lex
diff --git a/src/pddl+.o → libraries/VAL/src/pddl+.o b/src/pddl+.o → libraries/VAL/src/pddl+.o
diff --git a/src/pddl+.yacc → libraries/VAL/src/pddl+.yacc b/src/pddl+.yacc → libraries/VAL/src/pddl+.yacc
diff --git a/src/pddlplus.cpp → libraries/VAL/src/pddlplus.cpp b/src/pddlplus.cpp → libraries/VAL/src/pddlplus.cpp
diff --git a/src/ptree.cpp → libraries/VAL/src/ptree.cpp b/src/ptree.cpp → libraries/VAL/src/ptree.cpp
diff --git a/src/ptree.o → libraries/VAL/src/ptree.o b/src/ptree.o → libraries/VAL/src/ptree.o
diff --git a/src/random.cpp → libraries/VAL/src/random.cpp b/src/random.cpp → libraries/VAL/src/random.cpp
diff --git a/src/random.o → libraries/VAL/src/random.o b/src/random.o → libraries/VAL/src/random.o
diff --git a/src/typecheck.cpp → libraries/VAL/src/typecheck.cpp b/src/typecheck.cpp → libraries/VAL/src/typecheck.cpp
diff --git a/src/typecheck.o → libraries/VAL/src/typecheck.o b/src/typecheck.o → libraries/VAL/src/typecheck.o
diff --git a/...entsAndProcesses/Coffee/coffeemaking.pddl → ...entsAndProcesses/Coffee/coffeemaking.pddl b/...entsAndProcesses/Coffee/coffeemaking.pddl → ...entsAndProcesses/Coffee/coffeemaking.pddl
diff --git a/...EventsAndProcesses/Coffee/coffeeplan.pddl → ...EventsAndProcesses/Coffee/coffeeplan.pddl b/...EventsAndProcesses/Coffee/coffeeplan.pddl → ...EventsAndProcesses/Coffee/coffeeplan.pddl
diff --git a/...entsAndProcesses/Coffee/coffeeproblem.txt → ...entsAndProcesses/Coffee/coffeeproblem.txt b/...entsAndProcesses/Coffee/coffeeproblem.txt → ...entsAndProcesses/Coffee/coffeeproblem.txt
diff --git a/...ventsAndProcesses/Drive/drive-problem.txt → ...ventsAndProcesses/Drive/drive-problem.txt b/...ventsAndProcesses/Drive/drive-problem.txt → ...ventsAndProcesses/Drive/drive-problem.txt
diff --git a/...EventsAndProcesses/Drive/drivedomain.pddl → ...EventsAndProcesses/Drive/drivedomain.pddl b/...EventsAndProcesses/Drive/drivedomain.pddl → ...EventsAndProcesses/Drive/drivedomain.pddl
diff --git a/...thEventsAndProcesses/Drive/driveplan.pddl → ...thEventsAndProcesses/Drive/driveplan.pddl b/...thEventsAndProcesses/Drive/driveplan.pddl → ...thEventsAndProcesses/Drive/driveplan.pddl
diff --git a/...acitor/SleepingBeautyWithDelayedAlarm.png → ...acitor/SleepingBeautyWithDelayedAlarm.png b/...acitor/SleepingBeautyWithDelayedAlarm.png → ...acitor/SleepingBeautyWithDelayedAlarm.png
diff --git a/...with Capacitor/sleepingbeauty-problem.txt → ...with Capacitor/sleepingbeauty-problem.txt b/...with Capacitor/sleepingbeauty-problem.txt → ...with Capacitor/sleepingbeauty-problem.txt
diff --git a/...ith Capacitor/sleepingbeauty-problem2.txt → ...ith Capacitor/sleepingbeauty-problem2.txt b/...ith Capacitor/sleepingbeauty-problem2.txt → ...ith Capacitor/sleepingbeauty-problem2.txt
diff --git a/...Beauty with Capacitor/sleepingbeauty.pddl → ...Beauty with Capacitor/sleepingbeauty.pddl b/...Beauty with Capacitor/sleepingbeauty.pddl → ...Beauty with Capacitor/sleepingbeauty.pddl
diff --git a/...ty with Capacitor/sleepingbeautyplan.pddl → ...ty with Capacitor/sleepingbeautyplan.pddl b/...ty with Capacitor/sleepingbeautyplan.pddl → ...ty with Capacitor/sleepingbeautyplan.pddl
diff --git a/...y with Capacitor/sleepingbeautyplan2.pddl → ...y with Capacitor/sleepingbeautyplan2.pddl b/...y with Capacitor/sleepingbeautyplan2.pddl → ...y with Capacitor/sleepingbeautyplan2.pddl
diff --git a/... Window Alarm/SleepingBeautyWithAlarm.png → ... Window Alarm/SleepingBeautyWithAlarm.png b/... Window Alarm/SleepingBeautyWithAlarm.png → ... Window Alarm/SleepingBeautyWithAlarm.png
diff --git a/...c Window Alarm/sleepingbeauty-problem.txt → ...c Window Alarm/sleepingbeauty-problem.txt b/...c Window Alarm/sleepingbeauty-problem.txt → ...c Window Alarm/sleepingbeauty-problem.txt
diff --git a/...Magnetic Window Alarm/sleepingbeauty.pddl → ...Magnetic Window Alarm/sleepingbeauty.pddl b/...Magnetic Window Alarm/sleepingbeauty.pddl → ...Magnetic Window Alarm/sleepingbeauty.pddl
diff --git a/...etic Window Alarm/sleepingbeautyplan.pddl → ...etic Window Alarm/sleepingbeautyplan.pddl b/...etic Window Alarm/sleepingbeautyplan.pddl → ...etic Window Alarm/sleepingbeautyplan.pddl
diff --git a/... Bucket (Toricelli's formula)/ValTalk.pdf → ... Bucket (Toricelli's formula)/ValTalk.pdf b/... Bucket (Toricelli's formula)/ValTalk.pdf → ... Bucket (Toricelli's formula)/ValTalk.pdf
diff --git a/...et (Toricelli's formula)/tank-domain.pddl → ...et (Toricelli's formula)/tank-domain.pddl b/...et (Toricelli's formula)/tank-domain.pddl → ...et (Toricelli's formula)/tank-domain.pddl
diff --git a/...t (Toricelli's formula)/tank-problem.pddl → ...t (Toricelli's formula)/tank-problem.pddl b/...t (Toricelli's formula)/tank-problem.pddl → ...t (Toricelli's formula)/tank-problem.pddl
diff --git a/...ucket (Toricelli's formula)/tankplan.pddl → ...ucket (Toricelli's formula)/tankplan.pddl b/...ucket (Toricelli's formula)/tankplan.pddl → ...ucket (Toricelli's formula)/tankplan.pddl
diff --git a/...Bucket (Toricelli's formula)/twotanks.pdf → ...Bucket (Toricelli's formula)/twotanks.pdf b/...Bucket (Toricelli's formula)/twotanks.pdf → ...Bucket (Toricelli's formula)/twotanks.pdf
diff --git a/...ocesses/VendingMachine/Vendingmachine.pdf → ...ocesses/VendingMachine/Vendingmachine.pdf b/...ocesses/VendingMachine/Vendingmachine.pdf → ...ocesses/VendingMachine/Vendingmachine.pdf
diff --git a/...VendingMachine/vendingmachine-problem.txt → ...VendingMachine/vendingmachine-problem.txt b/...VendingMachine/vendingmachine-problem.txt → ...VendingMachine/vendingmachine-problem.txt
diff --git a/...cesses/VendingMachine/vendingmachine.pddl → ...cesses/VendingMachine/vendingmachine.pddl b/...cesses/VendingMachine/vendingmachine.pddl → ...cesses/VendingMachine/vendingmachine.pddl
diff --git a/...es/VendingMachine/vendingmachineplan.pddl → ...es/VendingMachine/vendingmachineplan.pddl b/...es/VendingMachine/vendingmachineplan.pddl → ...es/VendingMachine/vendingmachineplan.pddl