├── .gitignore ├── .vscode └── launch.json ├── README.md ├── bayes ├── analisis_ejemplo.ipynb ├── dataset_ejemplo.csv ├── dataset_ejemplo_40.csv ├── dataset_ejemplo_40_3.csv └── dataset_ejemplo_40_3_16.csv ├── bayes_base ├── dataset_ejemplo.csv ├── dataset_ejemplo_40.csv ├── dataset_ejemplo_40_3.csv └── dataset_ejemplo_40_3_16.csv ├── fractal ├── f1.jl └── fractal.png ├── fuzzy └── plot_tipping_problem.py ├── ga ├── annealing.py ├── blanco.png ├── burma14.tsp ├── evolution.csv ├── evolution_optimo.csv ├── genetico.py ├── individuo.py ├── individuo_8reinas.py ├── individuo_tsp.py ├── negro.png ├── problema_8reinas.py ├── problema_tsp.py └── reina.png ├── ga_base ├── blanco.png ├── evolution.csv ├── genetico.py ├── individuo.py ├── individuo_8reinas.py ├── negro.png ├── problema_8reinas.py └── reina.png ├── gato ├── aisearch.py ├── gato.gif ├── gato.psd ├── gato_ui.py ├── raton.gif ├── raton.psd ├── vacio.gif └── vacio.psd ├── gato_base ├── .idea │ ├── gato.iml │ ├── libraries │ │ └── R_User_Library.xml │ ├── misc.xml │ ├── modules.xml │ └── workspace.xml ├── aisearch.py ├── gato.gif ├── gato.psd ├── gato_ui.py ├── raton.gif ├── raton.psd ├── vacio.gif └── vacio.psd ├── juegos ├── 8reinas_inicial │ ├── .idea │ │ ├── 8reinas_inicial.iml │ │ ├── misc.xml │ │ ├── modules.xml │ │ └── workspace.xml │ ├── 8reinas.py │ ├── blanco.png │ ├── negro.png │ └── reina.png ├── ajedrez │ ├── __init__.py │ ├── ajedrez.py │ ├── pieza.py │ ├── resources │ │ ├── piezas.png │ │ └── tablero.png │ ├── tablero.txt │ ├── tablero.xlsx │ └── tablero1.txt └── buscaminas │ ├── buscaminas_inicial │ ├── .idea │ │ ├── buscaminas_inicial.iml │ │ ├── misc.xml │ │ ├── modules.xml │ │ └── workspace.xml │ ├── buscaminas.py │ ├── feliz.gif │ ├── feliz.png │ ├── triste.gif │ └── triste.png │ └── buscaminas_terminado │ ├── .idea │ ├── buscaminas_inicial.iml │ ├── misc.xml │ ├── modules.xml │ └── workspace.xml │ ├── buscaminas.py │ ├── feliz.png │ └── triste.png ├── logica ├── 8reinas │ └── 8reinas.pl ├── animales │ └── animales.pl ├── aves │ └── aves.pl ├── caminos.pl ├── ciberseguridad │ └── seguro.pl ├── clips │ └── covid19.clp ├── factorial.pl ├── gato │ ├── gato_version1.pl │ └── gato_version2.pl ├── parientes │ ├── conoce.pl │ ├── familia.pl │ ├── familia.py │ └── familia_solucion.pl └── starcraft │ ├── starcraft.pl │ └── starcraft_o1.pl ├── pacman ├── __init__.py ├── grafo.py ├── pacman.py ├── resources │ ├── comida.png │ ├── fantasma.png │ ├── laberinto.png │ └── pacman.png ├── search.py └── state.py ├── patch └── director.py ├── perceptron ├── Iris.csv ├── database.sqlite ├── iris.data ├── iris.names ├── perceptron.py └── perceptron_skl.py ├── planning ├── build.bat ├── build.sh ├── colin2 │ ├── LICENCE │ ├── README │ ├── README.md │ ├── build-debug │ ├── build-release │ ├── build-static │ ├── plan │ ├── rp.pl │ ├── rp_exists │ ├── run-cmake-debug │ ├── run-cmake-for-cplex-debug-x86 │ ├── run-cmake-for-cplex-static-x86 │ ├── run-cmake-release │ ├── run-cmake-static │ └── src │ │ ├── CMakeLists.txt │ │ ├── Doxyfile.in │ │ ├── VALfiles │ │ ├── .cvsignore │ │ ├── Action.cpp │ │ ├── Action.h │ │ ├── Analyser.h │ │ ├── Analysis.cpp │ │ ├── CMakeLists.txt │ │ ├── Cascader.h │ │ ├── Environment.cpp │ │ ├── Environment.h │ │ ├── Evaluator.cpp │ │ ├── Evaluator.h │ │ ├── Events.cpp │ │ ├── Events.h │ │ ├── Exceptions.h │ │ ├── FastEnvironment.cpp │ │ ├── FastEnvironment.h │ │ ├── FuncAnalysis.cpp │ │ ├── FuncAnalysis.h │ │ ├── FuncExp.cpp │ │ ├── FuncExp.h │ │ ├── GoalHypSpace.h │ │ ├── InstPropLinker.cpp │ │ ├── InstPropLinker.h │ │ ├── LaTeXSupport.cpp │ │ ├── LaTeXSupport.h │ │ ├── Ownership.cpp │ │ ├── Ownership.h │ │ ├── Partitions.h │ │ ├── Plan.cpp │ │ ├── Plan.h │ │ ├── PlanExecutionTracker.h │ │ ├── Polynomial.cpp │ │ ├── Polynomial.h │ │ ├── PrettyPrinter.cpp │ │ ├── PrettyPrinter.h │ │ ├── Proposition.cpp │ │ ├── Proposition.h │ │ ├── Relax.cpp │ │ ├── RelaxTranslator.cpp │ │ ├── RelaxTranslator.h │ │ ├── RepairAdvice.cpp │ │ ├── RepairAdvice.h │ │ ├── RobustAnalyse.cpp │ │ ├── RobustAnalyse.h │ │ ├── SimpleEval.cpp │ │ ├── SimpleEval.h │ │ ├── State.cpp │ │ ├── State.h │ │ ├── StateObserver.h │ │ ├── TIM.cpp │ │ ├── TIM.h │ │ ├── TIMMain.cpp │ │ ├── TIMUtilities.h │ │ ├── TimSupport.cpp │ │ ├── TimSupport.h │ │ ├── ToFunction.cpp │ │ ├── ToFunction.h │ │ ├── TrajectoryConstraints.cpp │ │ ├── TrajectoryConstraints.h │ │ ├── TypeStrip.cpp │ │ ├── TypeStripWC.cpp │ │ ├── TypeStripWC.h │ │ ├── TypedAnalyser.cpp │ │ ├── TypedAnalyser.h │ │ ├── TypedAnalyser.h~ │ │ ├── TypedAnalysis.cpp │ │ ├── Utils.cpp │ │ ├── Utils.h │ │ ├── Validator.cpp │ │ ├── Validator.h │ │ ├── instantiation-stable.cpp │ │ ├── instantiation.cpp │ │ ├── instantiation.h │ │ ├── instantiationConstraint.cpp │ │ ├── instantiationIP.cpp │ │ ├── instantiationIP.h │ │ ├── instantiationMain.cpp │ │ ├── main.cpp │ │ ├── main.h │ │ ├── misc │ │ │ ├── AbstractGraph.h │ │ │ ├── CausalGraph.cpp │ │ │ ├── CausalGraph.h │ │ │ ├── DYNA.cpp │ │ │ ├── DYNATranslator.cpp │ │ │ ├── DYNATranslator.h │ │ │ ├── HowAnalyser.cpp │ │ │ ├── HowAnalyser.h │ │ │ ├── HowWhatWhenMain.cpp │ │ │ ├── LPGP.cpp │ │ │ ├── LPGPTranslator.cpp │ │ │ ├── LPGPTranslator.h │ │ │ ├── OptInterface.h │ │ │ ├── PartialPlan.cpp │ │ │ ├── PartialPlan.h │ │ │ ├── PinguPlanGenerator.cpp │ │ │ ├── PinguPlanGenerator.h │ │ │ ├── PingusTranslator.cpp │ │ │ ├── PlanRec.cpp │ │ │ ├── SASActions.cpp │ │ │ ├── SASActions.h │ │ │ ├── SearchSpace.cpp │ │ │ ├── SearchSpace.h │ │ │ ├── ToFnMain.cpp │ │ │ ├── dynaMain.cpp │ │ │ ├── graphconstruct.cpp │ │ │ └── graphconstruct.h │ │ ├── oldFlexLexer.h │ │ ├── parse.cpp │ │ ├── parsing │ │ │ ├── CMakeLists.txt │ │ │ ├── DebugWriteController.cpp │ │ │ ├── DebugWriteController.h │ │ │ ├── VisitController.h │ │ │ ├── WriteController.h │ │ │ ├── fixyywrap │ │ │ ├── fixyywrap.cpp │ │ │ ├── macros.h │ │ │ ├── parse_error.h │ │ │ ├── pddl+.lex │ │ │ ├── pddl+.yacc │ │ │ ├── ptree.cpp │ │ │ ├── ptree.h │ │ │ └── sStack.h │ │ ├── random.cpp │ │ ├── random.h │ │ ├── readme │ │ ├── tDistribution.h │ │ ├── typecheck.cpp │ │ └── typecheck.h │ │ ├── cmake │ │ └── modules │ │ │ ├── FindCBLAS.cmake │ │ │ ├── FindCLapack.cmake │ │ │ ├── FindCbc.cmake │ │ │ ├── FindCgl.cmake │ │ │ ├── FindClp.cmake │ │ │ ├── FindCoinUtils.cmake │ │ │ ├── FindGSL.cmake │ │ │ ├── FindLPSolve.cmake │ │ │ └── FindOSI.cmake │ │ └── colin │ │ ├── 2 │ │ ├── .cvsignore │ │ ├── .gitignore │ │ ├── CMakeLists.txt │ │ ├── Doxyfile.in │ │ ├── FFEvent.cpp │ │ ├── FFEvent.h │ │ ├── FFSolver.cpp │ │ ├── FFSolver.h │ │ ├── RPGBuilder.cpp │ │ ├── RPGBuilder.h │ │ ├── RPGBuilderAnalysis.cpp │ │ ├── RPGBuilderEvaluation.cpp │ │ ├── RPGBuilderNumerics.cpp │ │ ├── StochasticDurations.cpp │ │ ├── StochasticDurations.h │ │ ├── UseDoxygen.cmake │ │ ├── cmake │ │ └── modules │ │ │ ├── FindCBLAS.cmake │ │ │ ├── FindCLapack.cmake │ │ │ ├── FindCbc.cmake │ │ │ ├── FindCgl.cmake │ │ │ ├── FindClp.cmake │ │ │ ├── FindCoinUtils.cmake │ │ │ └── FindOSI.cmake │ │ ├── colinMain.cpp │ │ ├── colintotalordertransformer.cpp │ │ ├── colintotalordertransformer.h │ │ ├── colours.h │ │ ├── compressionsafescheduler.cpp │ │ ├── compressionsafescheduler.h │ │ ├── globals.cpp │ │ ├── globals.h │ │ ├── gplhead │ │ ├── lpscheduler.cpp │ │ ├── lpscheduler.h │ │ ├── minimalstate.cpp │ │ ├── minimalstate.h │ │ ├── numericanalysis.cpp │ │ ├── numericanalysis.h │ │ ├── partialordertransformer.cpp │ │ ├── partialordertransformer.h │ │ ├── solver-both.cpp │ │ ├── solver-both.h │ │ ├── solver-clp.cpp │ │ ├── solver-clp.h │ │ ├── solver-cpx-paramils.cpp │ │ ├── solver-cpx.cpp │ │ ├── solver-cpx.h │ │ ├── solver.cpp │ │ ├── solver.h │ │ ├── temporalanalysis.cpp │ │ ├── temporalanalysis.h │ │ ├── temporalconstraints.cpp │ │ ├── temporalconstraints.h │ │ ├── totalordertransformer.cpp │ │ └── totalordertransformer.h ├── dockerfile ├── domains │ ├── agricola │ │ ├── domain.pddl │ │ ├── p01.pddl │ │ └── p02.pddl │ ├── drone │ │ ├── domain.pddl │ │ └── problem.pddl │ ├── logistica │ │ ├── domain.pddl │ │ └── problem.pddl │ ├── rover │ │ ├── domain.pddl │ │ └── p01.pddl │ ├── spare │ │ ├── domain.pddl │ │ ├── problem.pddl │ │ ├── problem.plan │ │ └── spare.pl │ ├── starcraft-r │ │ ├── domain.pddl │ │ └── problem.pddl │ └── starcraft-rt │ │ ├── domain.pddl │ │ ├── plan.sh │ │ ├── problem.pddl │ │ └── problem.plan ├── lisp │ └── ejemplo.lisp ├── optic │ ├── LICENCE │ ├── README │ ├── build-debug │ ├── build-release │ ├── build-static │ ├── run-cmake-debug │ ├── run-cmake-for-cplex-debug-x86 │ ├── run-cmake-for-cplex-static-x86 │ ├── run-cmake-release │ ├── run-cmake-static │ ├── setup.sh │ └── src │ │ ├── CMakeLists.txt │ │ ├── Doxyfile.in │ │ ├── VALfiles │ │ ├── .cvsignore │ │ ├── Action.cpp │ │ ├── Action.h │ │ ├── Analyser.h │ │ ├── Analysis.cpp │ │ ├── CMakeLists.txt │ │ ├── Cascader.h │ │ ├── Environment.cpp │ │ ├── Environment.h │ │ ├── Evaluator.cpp │ │ ├── Evaluator.h │ │ ├── Events.cpp │ │ ├── Events.h │ │ ├── Exceptions.h │ │ ├── FastEnvironment.cpp │ │ ├── FastEnvironment.h │ │ ├── FuncAnalysis.cpp │ │ ├── FuncAnalysis.h │ │ ├── FuncExp.cpp │ │ ├── FuncExp.h │ │ ├── GoalHypSpace.h │ │ ├── InstPropLinker.cpp │ │ ├── InstPropLinker.h │ │ ├── LaTeXSupport.cpp │ │ ├── LaTeXSupport.h │ │ ├── Ownership.cpp │ │ ├── Ownership.h │ │ ├── Partitions.h │ │ ├── Plan.cpp │ │ ├── Plan.h │ │ ├── PlanExecutionTracker.h │ │ ├── Polynomial.cpp │ │ ├── Polynomial.h │ │ ├── PrettyPrinter.cpp │ │ ├── PrettyPrinter.h │ │ ├── Proposition.cpp │ │ ├── Proposition.h │ │ ├── Relax.cpp │ │ ├── RelaxTranslator.cpp │ │ ├── RelaxTranslator.h │ │ ├── RepairAdvice.cpp │ │ ├── RepairAdvice.h │ │ ├── RobustAnalyse.cpp │ │ ├── RobustAnalyse.h │ │ ├── SimpleEval.cpp │ │ ├── SimpleEval.h │ │ ├── State.cpp │ │ ├── State.h │ │ ├── StateObserver.h │ │ ├── TIM.cpp │ │ ├── TIM.h │ │ ├── TIMMain.cpp │ │ ├── TIMUtilities.h │ │ ├── TimSupport.cpp │ │ ├── TimSupport.h │ │ ├── ToFunction.cpp │ │ ├── ToFunction.h │ │ ├── TrajectoryConstraints.cpp │ │ ├── TrajectoryConstraints.h │ │ ├── TypeStrip.cpp │ │ ├── TypeStripWC.cpp │ │ ├── TypeStripWC.h │ │ ├── TypedAnalyser.cpp │ │ ├── TypedAnalyser.h │ │ ├── TypedAnalysis.cpp │ │ ├── Utils.cpp │ │ ├── Utils.h │ │ ├── Validator.cpp │ │ ├── Validator.h │ │ ├── instantiation-stable.cpp │ │ ├── instantiation.cpp │ │ ├── instantiation.h │ │ ├── instantiationConstraint.cpp │ │ ├── instantiationIP.cpp │ │ ├── instantiationIP.h │ │ ├── instantiationMain.cpp │ │ ├── main.cpp │ │ ├── main.h │ │ ├── misc │ │ │ ├── AbstractGraph.h │ │ │ ├── CausalGraph.cpp │ │ │ ├── CausalGraph.h │ │ │ ├── DYNA.cpp │ │ │ ├── DYNATranslator.cpp │ │ │ ├── DYNATranslator.h │ │ │ ├── HowAnalyser.cpp │ │ │ ├── HowAnalyser.h │ │ │ ├── HowWhatWhenMain.cpp │ │ │ ├── LPGP.cpp │ │ │ ├── LPGPTranslator.cpp │ │ │ ├── LPGPTranslator.h │ │ │ ├── OptInterface.h │ │ │ ├── PartialPlan.cpp │ │ │ ├── PartialPlan.h │ │ │ ├── PinguPlanGenerator.cpp │ │ │ ├── PinguPlanGenerator.h │ │ │ ├── PingusTranslator.cpp │ │ │ ├── PlanRec.cpp │ │ │ ├── SASActions.cpp │ │ │ ├── SASActions.h │ │ │ ├── SearchSpace.cpp │ │ │ ├── SearchSpace.h │ │ │ ├── ToFnMain.cpp │ │ │ ├── dynaMain.cpp │ │ │ ├── graphconstruct.cpp │ │ │ └── graphconstruct.h │ │ ├── oldFlexLexer.h │ │ ├── parse.cpp │ │ ├── parsing │ │ │ ├── CMakeLists.txt │ │ │ ├── DebugWriteController.cpp │ │ │ ├── DebugWriteController.h │ │ │ ├── VisitController.h │ │ │ ├── WriteController.h │ │ │ ├── fixyywrap │ │ │ ├── fixyywrap.cpp │ │ │ ├── macros.h │ │ │ ├── parse_error.h │ │ │ ├── pddl+.lex │ │ │ ├── pddl+.yacc │ │ │ ├── ptree.cpp │ │ │ ├── ptree.h │ │ │ └── sStack.h │ │ ├── random.cpp │ │ ├── random.h │ │ ├── readme │ │ ├── tDistribution.h │ │ ├── typecheck.cpp │ │ └── typecheck.h │ │ ├── cmake │ │ └── modules │ │ │ ├── FindCBLAS.cmake │ │ │ ├── FindCLapack.cmake │ │ │ ├── FindCbc.cmake │ │ │ ├── FindCgl.cmake │ │ │ ├── FindClp.cmake │ │ │ ├── FindCoinUtils.cmake │ │ │ ├── FindGSL.cmake │ │ │ ├── FindLPSolve.cmake │ │ │ └── FindOSI.cmake │ │ └── optic │ │ ├── CMakeLists.txt │ │ ├── Doxyfile.in │ │ ├── FFEvent.cpp │ │ ├── FFEvent.h │ │ ├── FFSolver.cpp │ │ ├── FFSolver.h │ │ ├── NNF.cpp │ │ ├── NNF.h │ │ ├── PreferenceData.h │ │ ├── PreferenceHandler.cpp │ │ ├── PreferenceHandler.h │ │ ├── RPGBuilder.cpp │ │ ├── RPGBuilder.h │ │ ├── RPGBuilderAnalysis.cpp │ │ ├── RPGBuilderEvaluation.cpp │ │ ├── RPGBuilderNumerics.cpp │ │ ├── StochasticDurations.cpp │ │ ├── StochasticDurations.h │ │ ├── UseDoxygen.cmake │ │ ├── choosepreconditions.cpp │ │ ├── choosepreconditions.h │ │ ├── cmake │ │ └── modules │ │ │ ├── FindCBLAS.cmake │ │ │ ├── FindCLapack.cmake │ │ │ ├── FindCbc.cmake │ │ │ ├── FindCgl.cmake │ │ │ ├── FindClp.cmake │ │ │ └── FindCoinUtils.cmake │ │ ├── colintotalordertransformer.cpp │ │ ├── colintotalordertransformer.h │ │ ├── colours.h │ │ ├── compressionsafescheduler.cpp │ │ ├── compressionsafescheduler.h │ │ ├── globals.cpp │ │ ├── globals.h │ │ ├── lpscheduler.cpp │ │ ├── lpscheduler.h │ │ ├── minimalstate.cpp │ │ ├── minimalstate.h │ │ ├── numericanalysis.cpp │ │ ├── numericanalysis.h │ │ ├── opticMain.cpp │ │ ├── partialordertransformer.cpp │ │ ├── partialordertransformer.h │ │ ├── solver-both.cpp │ │ ├── solver-both.h │ │ ├── solver-clp.cpp │ │ ├── solver-clp.h │ │ ├── solver-cpx-paramils.cpp │ │ ├── solver-cpx.cpp │ │ ├── solver-cpx.h │ │ ├── solver.cpp │ │ ├── solver.h │ │ ├── temporalanalysis.cpp │ │ ├── temporalanalysis.h │ │ ├── temporalconstraints.cpp │ │ ├── temporalconstraints.h │ │ ├── totalordertransformer.cpp │ │ └── totalordertransformer.h ├── popf │ ├── .gitignore │ ├── CHANGELOG.rst │ ├── CMakeLists.txt │ ├── LICENCE │ ├── README.md │ ├── package.xml │ ├── setup.sh │ └── src │ │ ├── CMakeLists.txt │ │ ├── VALfiles │ │ ├── .cvsignore │ │ ├── Action.cpp │ │ ├── Action.h │ │ ├── Analyser.h │ │ ├── Analysis.cpp │ │ ├── CMakeLists.txt │ │ ├── Cascader.h │ │ ├── Environment.cpp │ │ ├── Environment.h │ │ ├── Evaluator.cpp │ │ ├── Evaluator.h │ │ ├── Events.cpp │ │ ├── Events.h │ │ ├── Exceptions.h │ │ ├── FastEnvironment.cpp │ │ ├── FastEnvironment.h │ │ ├── FuncAnalysis.cpp │ │ ├── FuncAnalysis.h │ │ ├── FuncExp.cpp │ │ ├── FuncExp.h │ │ ├── GoalHypSpace.h │ │ ├── InstPropLinker.cpp │ │ ├── InstPropLinker.h │ │ ├── LaTeXSupport.cpp │ │ ├── LaTeXSupport.h │ │ ├── Ownership.cpp │ │ ├── Ownership.h │ │ ├── Partitions.h │ │ ├── Plan.cpp │ │ ├── Plan.h │ │ ├── PlanExecutionTracker.h │ │ ├── Polynomial.cpp │ │ ├── Polynomial.h │ │ ├── PrettyPrinter.cpp │ │ ├── PrettyPrinter.h │ │ ├── Proposition.cpp │ │ ├── Proposition.h │ │ ├── Relax.cpp │ │ ├── RelaxTranslator.cpp │ │ ├── RelaxTranslator.h │ │ ├── RepairAdvice.cpp │ │ ├── RepairAdvice.h │ │ ├── RobustAnalyse.cpp │ │ ├── RobustAnalyse.h │ │ ├── SimpleEval.cpp │ │ ├── SimpleEval.h │ │ ├── State.cpp │ │ ├── State.h │ │ ├── StateObserver.h │ │ ├── TIM.cpp │ │ ├── TIM.h │ │ ├── TIMMain.cpp │ │ ├── TIMUtilities.h │ │ ├── TimSupport.cpp │ │ ├── TimSupport.h │ │ ├── ToFunction.cpp │ │ ├── ToFunction.h │ │ ├── TrajectoryConstraints.cpp │ │ ├── TrajectoryConstraints.h │ │ ├── TypeStrip.cpp │ │ ├── TypeStripWC.cpp │ │ ├── TypeStripWC.h │ │ ├── TypedAnalyser.cpp │ │ ├── TypedAnalyser.h │ │ ├── TypedAnalysis.cpp │ │ ├── Utils.cpp │ │ ├── Utils.h │ │ ├── Validator.cpp │ │ ├── Validator.h │ │ ├── instantiation-stable.cpp │ │ ├── instantiation.cpp │ │ ├── instantiation.h │ │ ├── instantiationConstraint.cpp │ │ ├── instantiationIP.cpp │ │ ├── instantiationIP.h │ │ ├── instantiationMain.cpp │ │ ├── main.cpp │ │ ├── main.h │ │ ├── misc │ │ │ ├── AbstractGraph.h │ │ │ ├── CausalGraph.cpp │ │ │ ├── CausalGraph.h │ │ │ ├── DYNA.cpp │ │ │ ├── DYNATranslator.cpp │ │ │ ├── DYNATranslator.h │ │ │ ├── HowAnalyser.cpp │ │ │ ├── HowAnalyser.h │ │ │ ├── HowWhatWhenMain.cpp │ │ │ ├── LPGP.cpp │ │ │ ├── LPGPTranslator.cpp │ │ │ ├── LPGPTranslator.h │ │ │ ├── OptInterface.h │ │ │ ├── PartialPlan.cpp │ │ │ ├── PartialPlan.h │ │ │ ├── PinguPlanGenerator.cpp │ │ │ ├── PinguPlanGenerator.h │ │ │ ├── PingusTranslator.cpp │ │ │ ├── PlanRec.cpp │ │ │ ├── SASActions.cpp │ │ │ ├── SASActions.h │ │ │ ├── SearchSpace.cpp │ │ │ ├── SearchSpace.h │ │ │ ├── ToFnMain.cpp │ │ │ ├── dynaMain.cpp │ │ │ ├── graphconstruct.cpp │ │ │ └── graphconstruct.h │ │ ├── oldFlexLexer.h │ │ ├── parse.cpp │ │ ├── parsing │ │ │ ├── CMakeLists.txt │ │ │ ├── DebugWriteController.cpp │ │ │ ├── DebugWriteController.h │ │ │ ├── VisitController.h │ │ │ ├── WriteController.h │ │ │ ├── fixyywrap │ │ │ ├── fixyywrap.cpp │ │ │ ├── macros.h │ │ │ ├── parse_error.h │ │ │ ├── pddl+.lex │ │ │ ├── pddl+.yacc │ │ │ ├── ptree.cpp │ │ │ ├── ptree.h │ │ │ └── sStack.h │ │ ├── random.cpp │ │ ├── random.h │ │ ├── readme │ │ ├── tDistribution.h │ │ ├── test │ │ │ ├── lex.yy.cc │ │ │ └── pddl+.cpp │ │ ├── typecheck.cpp │ │ └── typecheck.h │ │ ├── cmake │ │ └── modules │ │ │ ├── FindCBLAS.cmake │ │ │ ├── FindCLapack.cmake │ │ │ ├── FindCbc.cmake │ │ │ ├── FindCgl.cmake │ │ │ ├── FindClp.cmake │ │ │ ├── FindCoinUtils.cmake │ │ │ └── FindOSI.cmake │ │ └── popf │ │ ├── .cvsignore │ │ ├── CMakeLists.txt │ │ ├── Doxyfile.in │ │ ├── FFSolver.cpp │ │ ├── FFSolver.h │ │ ├── RPGBuilder.cpp │ │ ├── RPGBuilder.h │ │ ├── RPGBuilderAnalysis.cpp │ │ ├── RPGBuilderEvaluation.cpp │ │ ├── RPGBuilderNumerics.cpp │ │ ├── colours.h │ │ ├── globals.cpp │ │ ├── globals.h │ │ ├── lpscheduler.cpp │ │ ├── lpscheduler.h │ │ ├── minimalstate.cpp │ │ ├── minimalstate.h │ │ ├── numericanalysis.cpp │ │ ├── numericanalysis.h │ │ ├── partialordertransformer.cpp │ │ ├── partialordertransformer.h │ │ ├── popfMain.cpp │ │ ├── solver-clp.cpp │ │ ├── solver-clp.h │ │ ├── solver-cpx.cpp │ │ ├── solver-cpx.h │ │ ├── solver.cpp │ │ ├── solver.h │ │ ├── temporalanalysis.cpp │ │ ├── temporalanalysis.h │ │ ├── temporalconstraints.cpp │ │ ├── temporalconstraints.h │ │ ├── totalordertransformer.cpp │ │ └── totalordertransformer.h ├── popf2 │ ├── README.md │ ├── build │ ├── plan │ ├── questionnaire.txt │ └── src │ │ ├── CMakeLists.txt │ │ ├── VALfiles │ │ ├── .cvsignore │ │ ├── Action.cpp │ │ ├── Action.h │ │ ├── Analyser.h │ │ ├── Analysis.cpp │ │ ├── CMakeLists.txt │ │ ├── Cascader.h │ │ ├── Environment.cpp │ │ ├── Environment.h │ │ ├── Evaluator.cpp │ │ ├── Evaluator.h │ │ ├── Events.cpp │ │ ├── Events.h │ │ ├── Exceptions.h │ │ ├── FastEnvironment.cpp │ │ ├── FastEnvironment.h │ │ ├── FuncAnalysis.cpp │ │ ├── FuncAnalysis.h │ │ ├── FuncExp.cpp │ │ ├── FuncExp.h │ │ ├── GoalHypSpace.h │ │ ├── InstPropLinker.cpp │ │ ├── InstPropLinker.h │ │ ├── LaTeXSupport.cpp │ │ ├── LaTeXSupport.h │ │ ├── Ownership.cpp │ │ ├── Ownership.h │ │ ├── Partitions.h │ │ ├── Plan.cpp │ │ ├── Plan.h │ │ ├── PlanExecutionTracker.h │ │ ├── Polynomial.cpp │ │ ├── Polynomial.h │ │ ├── PrettyPrinter.cpp │ │ ├── PrettyPrinter.h │ │ ├── Proposition.cpp │ │ ├── Proposition.h │ │ ├── Relax.cpp │ │ ├── RelaxTranslator.cpp │ │ ├── RelaxTranslator.h │ │ ├── RepairAdvice.cpp │ │ ├── RepairAdvice.h │ │ ├── RobustAnalyse.cpp │ │ ├── RobustAnalyse.h │ │ ├── SimpleEval.cpp │ │ ├── SimpleEval.h │ │ ├── State.cpp │ │ ├── State.h │ │ ├── StateObserver.h │ │ ├── TIM.cpp │ │ ├── TIM.h │ │ ├── TIMMain.cpp │ │ ├── TIMUtilities.h │ │ ├── TimSupport.cpp │ │ ├── TimSupport.h │ │ ├── ToFunction.cpp │ │ ├── ToFunction.h │ │ ├── TrajectoryConstraints.cpp │ │ ├── TrajectoryConstraints.h │ │ ├── TypeStrip.cpp │ │ ├── TypeStripWC.cpp │ │ ├── TypeStripWC.h │ │ ├── TypedAnalyser.cpp │ │ ├── TypedAnalyser.h │ │ ├── TypedAnalysis.cpp │ │ ├── Utils.cpp │ │ ├── Utils.h │ │ ├── Validator.cpp │ │ ├── Validator.h │ │ ├── instantiation-stable.cpp │ │ ├── instantiation.cpp │ │ ├── instantiation.h │ │ ├── instantiationConstraint.cpp │ │ ├── instantiationIP.cpp │ │ ├── instantiationIP.h │ │ ├── instantiationMain.cpp │ │ ├── main.cpp │ │ ├── main.h │ │ ├── misc │ │ │ ├── AbstractGraph.h │ │ │ ├── CausalGraph.cpp │ │ │ ├── CausalGraph.h │ │ │ ├── DYNA.cpp │ │ │ ├── DYNATranslator.cpp │ │ │ ├── DYNATranslator.h │ │ │ ├── HowAnalyser.cpp │ │ │ ├── HowAnalyser.h │ │ │ ├── HowWhatWhenMain.cpp │ │ │ ├── LPGP.cpp │ │ │ ├── LPGPTranslator.cpp │ │ │ ├── LPGPTranslator.h │ │ │ ├── OptInterface.h │ │ │ ├── PartialPlan.cpp │ │ │ ├── PartialPlan.h │ │ │ ├── PinguPlanGenerator.cpp │ │ │ ├── PinguPlanGenerator.h │ │ │ ├── PingusTranslator.cpp │ │ │ ├── PlanRec.cpp │ │ │ ├── SASActions.cpp │ │ │ ├── SASActions.h │ │ │ ├── SearchSpace.cpp │ │ │ ├── SearchSpace.h │ │ │ ├── ToFnMain.cpp │ │ │ ├── dynaMain.cpp │ │ │ ├── graphconstruct.cpp │ │ │ └── graphconstruct.h │ │ ├── oldFlexLexer.h │ │ ├── parse.cpp │ │ ├── parsing │ │ │ ├── CMakeLists.txt │ │ │ ├── DebugWriteController.cpp │ │ │ ├── DebugWriteController.h │ │ │ ├── VisitController.h │ │ │ ├── WriteController.h │ │ │ ├── fixyywrap │ │ │ ├── fixyywrap.cpp │ │ │ ├── macros.h │ │ │ ├── parse_error.h │ │ │ ├── pddl+.lex │ │ │ ├── pddl+.yacc │ │ │ ├── ptree.cpp │ │ │ ├── ptree.h │ │ │ └── sStack.h │ │ ├── random.cpp │ │ ├── random.h │ │ ├── readme │ │ ├── tDistribution.h │ │ ├── typecheck.cpp │ │ └── typecheck.h │ │ ├── cmake │ │ └── modules │ │ │ ├── FindCBLAS.cmake │ │ │ ├── FindCLapack.cmake │ │ │ ├── FindCbc.cmake │ │ │ ├── FindCgl.cmake │ │ │ ├── FindClp.cmake │ │ │ ├── FindCoinUtils.cmake │ │ │ ├── FindLPSolve.cmake │ │ │ └── FindOSI.cmake │ │ └── popf2 │ │ ├── .cvsignore │ │ ├── .kdev_include_paths │ │ ├── CMakeLists.txt │ │ ├── Doxyfile.in │ │ ├── FFEvent.cpp │ │ ├── FFEvent.h │ │ ├── FFSolver.cpp │ │ ├── FFSolver.h │ │ ├── RPGBuilder.cpp │ │ ├── RPGBuilder.h │ │ ├── RPGBuilderAnalysis.cpp │ │ ├── RPGBuilderEvaluation.cpp │ │ ├── RPGBuilderNumerics.cpp │ │ ├── StochasticDurations.cpp │ │ ├── StochasticDurations.h │ │ ├── cmake │ │ └── modules │ │ │ ├── FindCBLAS.cmake │ │ │ ├── FindCLapack.cmake │ │ │ ├── FindCbc.cmake │ │ │ ├── FindCgl.cmake │ │ │ ├── FindClp.cmake │ │ │ ├── FindCoinUtils.cmake │ │ │ └── FindOSI.cmake │ │ ├── colours.h │ │ ├── globals.cpp │ │ ├── globals.h │ │ ├── lpscheduler.cpp │ │ ├── lpscheduler.h │ │ ├── minimalstate.cpp │ │ ├── minimalstate.h │ │ ├── numericanalysis.cpp │ │ ├── numericanalysis.h │ │ ├── partialordertransformer.cpp │ │ ├── partialordertransformer.h │ │ ├── popfMain.cpp │ │ ├── solver-clp.cpp │ │ ├── solver-clp.h │ │ ├── solver-cpx-paramils.cpp │ │ ├── solver-cpx.cpp │ │ ├── solver-cpx.h │ │ ├── solver.cpp │ │ ├── solver.h │ │ ├── temporalanalysis.cpp │ │ ├── temporalanalysis.h │ │ ├── temporalconstraints.cpp │ │ ├── temporalconstraints.h │ │ ├── totalordertransformer.cpp │ │ └── totalordertransformer.h ├── run.bat └── run.sh └── requirements.txt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | Ejemplos curso CINF103 2 | -------------------------------------------------------------------------------- /bayes/analisis_ejemplo.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes/analisis_ejemplo.ipynb -------------------------------------------------------------------------------- /bayes/dataset_ejemplo.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes/dataset_ejemplo.csv -------------------------------------------------------------------------------- /bayes/dataset_ejemplo_40.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes/dataset_ejemplo_40.csv -------------------------------------------------------------------------------- /bayes/dataset_ejemplo_40_3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes/dataset_ejemplo_40_3.csv -------------------------------------------------------------------------------- /bayes/dataset_ejemplo_40_3_16.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes/dataset_ejemplo_40_3_16.csv -------------------------------------------------------------------------------- /bayes_base/dataset_ejemplo.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes_base/dataset_ejemplo.csv -------------------------------------------------------------------------------- /bayes_base/dataset_ejemplo_40.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes_base/dataset_ejemplo_40.csv -------------------------------------------------------------------------------- /bayes_base/dataset_ejemplo_40_3.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes_base/dataset_ejemplo_40_3.csv -------------------------------------------------------------------------------- /bayes_base/dataset_ejemplo_40_3_16.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/bayes_base/dataset_ejemplo_40_3_16.csv -------------------------------------------------------------------------------- /fractal/f1.jl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/fractal/f1.jl -------------------------------------------------------------------------------- /fractal/fractal.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/fractal/fractal.png -------------------------------------------------------------------------------- /fuzzy/plot_tipping_problem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/fuzzy/plot_tipping_problem.py -------------------------------------------------------------------------------- /ga/annealing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/annealing.py -------------------------------------------------------------------------------- /ga/blanco.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/blanco.png -------------------------------------------------------------------------------- /ga/burma14.tsp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/burma14.tsp -------------------------------------------------------------------------------- /ga/evolution.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/evolution.csv -------------------------------------------------------------------------------- /ga/evolution_optimo.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/evolution_optimo.csv -------------------------------------------------------------------------------- /ga/genetico.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/genetico.py -------------------------------------------------------------------------------- /ga/individuo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/individuo.py -------------------------------------------------------------------------------- /ga/individuo_8reinas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/individuo_8reinas.py -------------------------------------------------------------------------------- /ga/individuo_tsp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/individuo_tsp.py -------------------------------------------------------------------------------- /ga/negro.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/negro.png -------------------------------------------------------------------------------- /ga/problema_8reinas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/problema_8reinas.py -------------------------------------------------------------------------------- /ga/problema_tsp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/problema_tsp.py -------------------------------------------------------------------------------- /ga/reina.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga/reina.png -------------------------------------------------------------------------------- /ga_base/blanco.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga_base/blanco.png -------------------------------------------------------------------------------- /ga_base/evolution.csv: -------------------------------------------------------------------------------- 1 | 0;7 1 5 3 6 4 2 0 = 1;1;1.0 2 | -------------------------------------------------------------------------------- /ga_base/genetico.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga_base/genetico.py -------------------------------------------------------------------------------- /ga_base/individuo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga_base/individuo.py -------------------------------------------------------------------------------- /ga_base/individuo_8reinas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga_base/individuo_8reinas.py -------------------------------------------------------------------------------- /ga_base/negro.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga_base/negro.png -------------------------------------------------------------------------------- /ga_base/problema_8reinas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga_base/problema_8reinas.py -------------------------------------------------------------------------------- /ga_base/reina.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/ga_base/reina.png -------------------------------------------------------------------------------- /gato/aisearch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/aisearch.py -------------------------------------------------------------------------------- /gato/gato.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/gato.gif -------------------------------------------------------------------------------- /gato/gato.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/gato.psd -------------------------------------------------------------------------------- /gato/gato_ui.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/gato_ui.py -------------------------------------------------------------------------------- /gato/raton.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/raton.gif -------------------------------------------------------------------------------- /gato/raton.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/raton.psd -------------------------------------------------------------------------------- /gato/vacio.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/vacio.gif -------------------------------------------------------------------------------- /gato/vacio.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato/vacio.psd -------------------------------------------------------------------------------- /gato_base/.idea/gato.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/.idea/gato.iml -------------------------------------------------------------------------------- /gato_base/.idea/libraries/R_User_Library.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/.idea/libraries/R_User_Library.xml -------------------------------------------------------------------------------- /gato_base/.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/.idea/misc.xml -------------------------------------------------------------------------------- /gato_base/.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/.idea/modules.xml -------------------------------------------------------------------------------- /gato_base/.idea/workspace.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/.idea/workspace.xml -------------------------------------------------------------------------------- /gato_base/aisearch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/aisearch.py -------------------------------------------------------------------------------- /gato_base/gato.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/gato.gif -------------------------------------------------------------------------------- /gato_base/gato.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/gato.psd -------------------------------------------------------------------------------- /gato_base/gato_ui.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/gato_ui.py -------------------------------------------------------------------------------- /gato_base/raton.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/raton.gif -------------------------------------------------------------------------------- /gato_base/raton.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/raton.psd -------------------------------------------------------------------------------- /gato_base/vacio.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/vacio.gif -------------------------------------------------------------------------------- /gato_base/vacio.psd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/gato_base/vacio.psd -------------------------------------------------------------------------------- /juegos/8reinas_inicial/.idea/8reinas_inicial.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/.idea/8reinas_inicial.iml -------------------------------------------------------------------------------- /juegos/8reinas_inicial/.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/.idea/misc.xml -------------------------------------------------------------------------------- /juegos/8reinas_inicial/.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/.idea/modules.xml -------------------------------------------------------------------------------- /juegos/8reinas_inicial/.idea/workspace.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/.idea/workspace.xml -------------------------------------------------------------------------------- /juegos/8reinas_inicial/8reinas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/8reinas.py -------------------------------------------------------------------------------- /juegos/8reinas_inicial/blanco.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/blanco.png -------------------------------------------------------------------------------- /juegos/8reinas_inicial/negro.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/negro.png -------------------------------------------------------------------------------- /juegos/8reinas_inicial/reina.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/8reinas_inicial/reina.png -------------------------------------------------------------------------------- /juegos/ajedrez/__init__.py: -------------------------------------------------------------------------------- 1 | __version__ = "1.0" 2 | -------------------------------------------------------------------------------- /juegos/ajedrez/ajedrez.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/ajedrez/ajedrez.py -------------------------------------------------------------------------------- /juegos/ajedrez/pieza.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/ajedrez/pieza.py -------------------------------------------------------------------------------- /juegos/ajedrez/resources/piezas.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/ajedrez/resources/piezas.png -------------------------------------------------------------------------------- /juegos/ajedrez/resources/tablero.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/ajedrez/resources/tablero.png -------------------------------------------------------------------------------- /juegos/ajedrez/tablero.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/ajedrez/tablero.txt -------------------------------------------------------------------------------- /juegos/ajedrez/tablero.xlsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/ajedrez/tablero.xlsx -------------------------------------------------------------------------------- /juegos/ajedrez/tablero1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/ajedrez/tablero1.txt -------------------------------------------------------------------------------- /juegos/buscaminas/buscaminas_inicial/buscaminas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/buscaminas/buscaminas_inicial/buscaminas.py -------------------------------------------------------------------------------- /juegos/buscaminas/buscaminas_inicial/feliz.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/buscaminas/buscaminas_inicial/feliz.gif -------------------------------------------------------------------------------- /juegos/buscaminas/buscaminas_inicial/feliz.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/buscaminas/buscaminas_inicial/feliz.png -------------------------------------------------------------------------------- /juegos/buscaminas/buscaminas_inicial/triste.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/buscaminas/buscaminas_inicial/triste.gif -------------------------------------------------------------------------------- /juegos/buscaminas/buscaminas_inicial/triste.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/buscaminas/buscaminas_inicial/triste.png -------------------------------------------------------------------------------- /juegos/buscaminas/buscaminas_terminado/feliz.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/buscaminas/buscaminas_terminado/feliz.png -------------------------------------------------------------------------------- /juegos/buscaminas/buscaminas_terminado/triste.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/juegos/buscaminas/buscaminas_terminado/triste.png -------------------------------------------------------------------------------- /logica/8reinas/8reinas.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/8reinas/8reinas.pl -------------------------------------------------------------------------------- /logica/animales/animales.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/animales/animales.pl -------------------------------------------------------------------------------- /logica/aves/aves.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/aves/aves.pl -------------------------------------------------------------------------------- /logica/caminos.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/caminos.pl -------------------------------------------------------------------------------- /logica/ciberseguridad/seguro.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/ciberseguridad/seguro.pl -------------------------------------------------------------------------------- /logica/clips/covid19.clp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/clips/covid19.clp -------------------------------------------------------------------------------- /logica/factorial.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/factorial.pl -------------------------------------------------------------------------------- /logica/gato/gato_version1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/gato/gato_version1.pl -------------------------------------------------------------------------------- /logica/gato/gato_version2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/gato/gato_version2.pl -------------------------------------------------------------------------------- /logica/parientes/conoce.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/parientes/conoce.pl -------------------------------------------------------------------------------- /logica/parientes/familia.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/parientes/familia.pl -------------------------------------------------------------------------------- /logica/parientes/familia.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/parientes/familia.py -------------------------------------------------------------------------------- /logica/parientes/familia_solucion.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/parientes/familia_solucion.pl -------------------------------------------------------------------------------- /logica/starcraft/starcraft.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/starcraft/starcraft.pl -------------------------------------------------------------------------------- /logica/starcraft/starcraft_o1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/logica/starcraft/starcraft_o1.pl -------------------------------------------------------------------------------- /pacman/__init__.py: -------------------------------------------------------------------------------- 1 | __version__ = "1.0" 2 | -------------------------------------------------------------------------------- /pacman/grafo.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/grafo.py -------------------------------------------------------------------------------- /pacman/pacman.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/pacman.py -------------------------------------------------------------------------------- /pacman/resources/comida.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/resources/comida.png -------------------------------------------------------------------------------- /pacman/resources/fantasma.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/resources/fantasma.png -------------------------------------------------------------------------------- /pacman/resources/laberinto.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/resources/laberinto.png -------------------------------------------------------------------------------- /pacman/resources/pacman.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/resources/pacman.png -------------------------------------------------------------------------------- /pacman/search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/search.py -------------------------------------------------------------------------------- /pacman/state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/pacman/state.py -------------------------------------------------------------------------------- /patch/director.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/patch/director.py -------------------------------------------------------------------------------- /perceptron/Iris.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/perceptron/Iris.csv -------------------------------------------------------------------------------- /perceptron/database.sqlite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/perceptron/database.sqlite -------------------------------------------------------------------------------- /perceptron/iris.data: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/perceptron/iris.data -------------------------------------------------------------------------------- /perceptron/iris.names: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/perceptron/iris.names -------------------------------------------------------------------------------- /perceptron/perceptron.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/perceptron/perceptron.py -------------------------------------------------------------------------------- /perceptron/perceptron_skl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/perceptron/perceptron_skl.py -------------------------------------------------------------------------------- /planning/build.bat: -------------------------------------------------------------------------------- 1 | docker build -t optic:latest . -------------------------------------------------------------------------------- /planning/build.sh: -------------------------------------------------------------------------------- 1 | docker build -t optic:latest . -------------------------------------------------------------------------------- /planning/colin2/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/LICENCE -------------------------------------------------------------------------------- /planning/colin2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/README -------------------------------------------------------------------------------- /planning/colin2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/README.md -------------------------------------------------------------------------------- /planning/colin2/build-debug: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/build-debug -------------------------------------------------------------------------------- /planning/colin2/build-release: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/build-release -------------------------------------------------------------------------------- /planning/colin2/build-static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/build-static -------------------------------------------------------------------------------- /planning/colin2/plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/plan -------------------------------------------------------------------------------- /planning/colin2/rp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/rp.pl -------------------------------------------------------------------------------- /planning/colin2/rp_exists: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/rp_exists -------------------------------------------------------------------------------- /planning/colin2/run-cmake-debug: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/run-cmake-debug -------------------------------------------------------------------------------- /planning/colin2/run-cmake-for-cplex-debug-x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/run-cmake-for-cplex-debug-x86 -------------------------------------------------------------------------------- /planning/colin2/run-cmake-for-cplex-static-x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/run-cmake-for-cplex-static-x86 -------------------------------------------------------------------------------- /planning/colin2/run-cmake-release: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/run-cmake-release -------------------------------------------------------------------------------- /planning/colin2/run-cmake-static: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | cd static 4 | cmake -DSTATIC_COLIN=TRUE -DCMAKE_BUILD_TYPE=Release ../src 5 | -------------------------------------------------------------------------------- /planning/colin2/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/CMakeLists.txt -------------------------------------------------------------------------------- /planning/colin2/src/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/Doxyfile.in -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/.cvsignore: -------------------------------------------------------------------------------- 1 | *.opto 2 | *.Oo 3 | -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Action.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Action.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Action.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Action.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Analyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Analyser.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Analysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Analysis.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/CMakeLists.txt -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Cascader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Cascader.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Environment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Environment.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Environment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Environment.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Evaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Evaluator.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Evaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Evaluator.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Events.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Events.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Events.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Exceptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Exceptions.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/FastEnvironment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/FastEnvironment.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/FastEnvironment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/FastEnvironment.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/FuncAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/FuncAnalysis.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/FuncAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/FuncAnalysis.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/FuncExp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/FuncExp.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/FuncExp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/FuncExp.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/GoalHypSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/GoalHypSpace.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/InstPropLinker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/InstPropLinker.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/InstPropLinker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/InstPropLinker.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/LaTeXSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/LaTeXSupport.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/LaTeXSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/LaTeXSupport.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Ownership.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Ownership.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Ownership.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Ownership.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Partitions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Partitions.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Plan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Plan.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Plan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Plan.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Polynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Polynomial.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Polynomial.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/PrettyPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/PrettyPrinter.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/PrettyPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/PrettyPrinter.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Proposition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Proposition.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Proposition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Proposition.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Relax.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Relax.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/RelaxTranslator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/RelaxTranslator.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/RelaxTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/RelaxTranslator.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/RepairAdvice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/RepairAdvice.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/RepairAdvice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/RepairAdvice.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/RobustAnalyse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/RobustAnalyse.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/RobustAnalyse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/RobustAnalyse.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/SimpleEval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/SimpleEval.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/SimpleEval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/SimpleEval.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/State.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/State.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/State.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/State.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/StateObserver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/StateObserver.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TIM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TIM.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TIM.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TIM.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TIMMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TIMMain.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TIMUtilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TIMUtilities.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TimSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TimSupport.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TimSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TimSupport.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/ToFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/ToFunction.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/ToFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/ToFunction.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TypeStrip.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TypeStrip.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TypeStripWC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TypeStripWC.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TypeStripWC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TypeStripWC.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TypedAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TypedAnalyser.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TypedAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TypedAnalyser.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TypedAnalyser.h~: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TypedAnalyser.h~ -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/TypedAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/TypedAnalysis.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Utils.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Utils.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Validator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Validator.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/Validator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/Validator.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/instantiation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/instantiation.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/instantiation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/instantiation.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/instantiationIP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/instantiationIP.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/instantiationIP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/instantiationIP.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/instantiationMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/instantiationMain.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/main.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/main.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/AbstractGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/AbstractGraph.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/CausalGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/CausalGraph.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/CausalGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/CausalGraph.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/DYNA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/DYNA.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/DYNATranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/DYNATranslator.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/HowAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/HowAnalyser.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/HowAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/HowAnalyser.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/LPGP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/LPGP.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/LPGPTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/LPGPTranslator.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/OptInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/OptInterface.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/PartialPlan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/PartialPlan.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/PartialPlan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/PartialPlan.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/PlanRec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/PlanRec.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/SASActions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/SASActions.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/SASActions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/SASActions.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/SearchSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/SearchSpace.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/SearchSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/SearchSpace.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/ToFnMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/ToFnMain.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/dynaMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/dynaMain.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/misc/graphconstruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/misc/graphconstruct.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/oldFlexLexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/oldFlexLexer.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parse.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/fixyywrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/fixyywrap -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/fixyywrap.cpp: -------------------------------------------------------------------------------- 1 | #include "FlexLexer.h" 2 | -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/macros.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/parse_error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/parse_error.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/pddl+.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/pddl+.lex -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/pddl+.yacc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/pddl+.yacc -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/ptree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/ptree.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/ptree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/ptree.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/parsing/sStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/parsing/sStack.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/random.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/random.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/random.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/random.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/readme -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/tDistribution.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/tDistribution.h -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/typecheck.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/typecheck.cpp -------------------------------------------------------------------------------- /planning/colin2/src/VALfiles/typecheck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/VALfiles/typecheck.h -------------------------------------------------------------------------------- /planning/colin2/src/cmake/modules/FindCBLAS.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/cmake/modules/FindCBLAS.cmake -------------------------------------------------------------------------------- /planning/colin2/src/cmake/modules/FindCbc.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/cmake/modules/FindCbc.cmake -------------------------------------------------------------------------------- /planning/colin2/src/cmake/modules/FindCgl.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/cmake/modules/FindCgl.cmake -------------------------------------------------------------------------------- /planning/colin2/src/cmake/modules/FindClp.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/cmake/modules/FindClp.cmake -------------------------------------------------------------------------------- /planning/colin2/src/cmake/modules/FindGSL.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/cmake/modules/FindGSL.cmake -------------------------------------------------------------------------------- /planning/colin2/src/cmake/modules/FindOSI.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/cmake/modules/FindOSI.cmake -------------------------------------------------------------------------------- /planning/colin2/src/colin/.cvsignore: -------------------------------------------------------------------------------- 1 | .my-setup 2 | .kdev_include_paths 3 | -------------------------------------------------------------------------------- /planning/colin2/src/colin/.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | -------------------------------------------------------------------------------- /planning/colin2/src/colin/2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/2 -------------------------------------------------------------------------------- /planning/colin2/src/colin/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/CMakeLists.txt -------------------------------------------------------------------------------- /planning/colin2/src/colin/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/Doxyfile.in -------------------------------------------------------------------------------- /planning/colin2/src/colin/FFEvent.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/FFEvent.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/FFEvent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/FFEvent.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/FFSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/FFSolver.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/FFSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/FFSolver.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/RPGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/RPGBuilder.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/RPGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/RPGBuilder.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/RPGBuilderAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/RPGBuilderAnalysis.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/RPGBuilderEvaluation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/RPGBuilderEvaluation.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/RPGBuilderNumerics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/RPGBuilderNumerics.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/StochasticDurations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/StochasticDurations.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/StochasticDurations.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/StochasticDurations.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/UseDoxygen.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/UseDoxygen.cmake -------------------------------------------------------------------------------- /planning/colin2/src/colin/colinMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/colinMain.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/colours.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/colours.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/globals.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/globals.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/globals.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/gplhead: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/gplhead -------------------------------------------------------------------------------- /planning/colin2/src/colin/lpscheduler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/lpscheduler.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/lpscheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/lpscheduler.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/minimalstate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/minimalstate.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/minimalstate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/minimalstate.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/numericanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/numericanalysis.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/numericanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/numericanalysis.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver-both.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver-both.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver-both.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver-both.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver-clp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver-clp.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver-clp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver-clp.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver-cpx-paramils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver-cpx-paramils.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver-cpx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver-cpx.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver-cpx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver-cpx.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/solver.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/temporalanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/temporalanalysis.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/temporalanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/temporalanalysis.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/temporalconstraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/temporalconstraints.cpp -------------------------------------------------------------------------------- /planning/colin2/src/colin/temporalconstraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/temporalconstraints.h -------------------------------------------------------------------------------- /planning/colin2/src/colin/totalordertransformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/colin2/src/colin/totalordertransformer.h -------------------------------------------------------------------------------- /planning/dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/dockerfile -------------------------------------------------------------------------------- /planning/domains/agricola/domain.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/agricola/domain.pddl -------------------------------------------------------------------------------- /planning/domains/agricola/p01.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/agricola/p01.pddl -------------------------------------------------------------------------------- /planning/domains/agricola/p02.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/agricola/p02.pddl -------------------------------------------------------------------------------- /planning/domains/drone/domain.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/drone/domain.pddl -------------------------------------------------------------------------------- /planning/domains/drone/problem.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/drone/problem.pddl -------------------------------------------------------------------------------- /planning/domains/logistica/domain.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/logistica/domain.pddl -------------------------------------------------------------------------------- /planning/domains/logistica/problem.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/logistica/problem.pddl -------------------------------------------------------------------------------- /planning/domains/rover/domain.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/rover/domain.pddl -------------------------------------------------------------------------------- /planning/domains/rover/p01.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/rover/p01.pddl -------------------------------------------------------------------------------- /planning/domains/spare/domain.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/spare/domain.pddl -------------------------------------------------------------------------------- /planning/domains/spare/problem.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/spare/problem.pddl -------------------------------------------------------------------------------- /planning/domains/spare/problem.plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/spare/problem.plan -------------------------------------------------------------------------------- /planning/domains/spare/spare.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/spare/spare.pl -------------------------------------------------------------------------------- /planning/domains/starcraft-r/domain.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/starcraft-r/domain.pddl -------------------------------------------------------------------------------- /planning/domains/starcraft-r/problem.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/starcraft-r/problem.pddl -------------------------------------------------------------------------------- /planning/domains/starcraft-rt/domain.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/starcraft-rt/domain.pddl -------------------------------------------------------------------------------- /planning/domains/starcraft-rt/plan.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/starcraft-rt/plan.sh -------------------------------------------------------------------------------- /planning/domains/starcraft-rt/problem.pddl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/starcraft-rt/problem.pddl -------------------------------------------------------------------------------- /planning/domains/starcraft-rt/problem.plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/domains/starcraft-rt/problem.plan -------------------------------------------------------------------------------- /planning/lisp/ejemplo.lisp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/lisp/ejemplo.lisp -------------------------------------------------------------------------------- /planning/optic/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/LICENCE -------------------------------------------------------------------------------- /planning/optic/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/README -------------------------------------------------------------------------------- /planning/optic/build-debug: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/build-debug -------------------------------------------------------------------------------- /planning/optic/build-release: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/build-release -------------------------------------------------------------------------------- /planning/optic/build-static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/build-static -------------------------------------------------------------------------------- /planning/optic/run-cmake-debug: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | cd debug 4 | cmake -DCMAKE_BUILD_TYPE=Debug ../src 5 | -------------------------------------------------------------------------------- /planning/optic/run-cmake-for-cplex-debug-x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/run-cmake-for-cplex-debug-x86 -------------------------------------------------------------------------------- /planning/optic/run-cmake-for-cplex-static-x86: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/run-cmake-for-cplex-static-x86 -------------------------------------------------------------------------------- /planning/optic/run-cmake-release: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/run-cmake-release -------------------------------------------------------------------------------- /planning/optic/run-cmake-static: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/run-cmake-static -------------------------------------------------------------------------------- /planning/optic/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/setup.sh -------------------------------------------------------------------------------- /planning/optic/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/CMakeLists.txt -------------------------------------------------------------------------------- /planning/optic/src/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/Doxyfile.in -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/.cvsignore: -------------------------------------------------------------------------------- 1 | *.opto 2 | *.Oo 3 | -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Action.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Action.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Action.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Action.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Analyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Analyser.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Analysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Analysis.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/CMakeLists.txt -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Cascader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Cascader.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Environment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Environment.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Environment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Environment.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Evaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Evaluator.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Evaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Evaluator.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Events.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Events.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Events.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Exceptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Exceptions.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/FastEnvironment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/FastEnvironment.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/FastEnvironment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/FastEnvironment.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/FuncAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/FuncAnalysis.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/FuncAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/FuncAnalysis.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/FuncExp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/FuncExp.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/FuncExp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/FuncExp.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/GoalHypSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/GoalHypSpace.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/InstPropLinker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/InstPropLinker.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/InstPropLinker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/InstPropLinker.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/LaTeXSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/LaTeXSupport.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/LaTeXSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/LaTeXSupport.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Ownership.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Ownership.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Ownership.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Ownership.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Partitions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Partitions.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Plan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Plan.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Plan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Plan.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/PlanExecutionTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/PlanExecutionTracker.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Polynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Polynomial.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Polynomial.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/PrettyPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/PrettyPrinter.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/PrettyPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/PrettyPrinter.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Proposition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Proposition.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Proposition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Proposition.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Relax.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Relax.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/RelaxTranslator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/RelaxTranslator.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/RelaxTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/RelaxTranslator.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/RepairAdvice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/RepairAdvice.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/RepairAdvice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/RepairAdvice.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/RobustAnalyse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/RobustAnalyse.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/RobustAnalyse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/RobustAnalyse.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/SimpleEval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/SimpleEval.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/SimpleEval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/SimpleEval.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/State.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/State.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/State.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/State.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/StateObserver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/StateObserver.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TIM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TIM.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TIM.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TIM.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TIMMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TIMMain.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TIMUtilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TIMUtilities.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TimSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TimSupport.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TimSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TimSupport.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/ToFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/ToFunction.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/ToFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/ToFunction.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TypeStrip.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TypeStrip.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TypeStripWC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TypeStripWC.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TypeStripWC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TypeStripWC.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TypedAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TypedAnalyser.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TypedAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TypedAnalyser.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/TypedAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/TypedAnalysis.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Utils.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Utils.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Validator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Validator.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/Validator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/Validator.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/instantiation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/instantiation.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/instantiation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/instantiation.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/instantiationIP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/instantiationIP.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/instantiationIP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/instantiationIP.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/instantiationMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/instantiationMain.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/main.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/main.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/AbstractGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/AbstractGraph.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/CausalGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/CausalGraph.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/CausalGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/CausalGraph.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/DYNA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/DYNA.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/DYNATranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/DYNATranslator.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/HowAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/HowAnalyser.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/HowAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/HowAnalyser.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/LPGP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/LPGP.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/LPGPTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/LPGPTranslator.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/OptInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/OptInterface.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/PartialPlan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/PartialPlan.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/PartialPlan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/PartialPlan.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/PlanRec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/PlanRec.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/SASActions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/SASActions.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/SASActions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/SASActions.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/SearchSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/SearchSpace.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/SearchSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/SearchSpace.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/ToFnMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/ToFnMain.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/dynaMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/dynaMain.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/misc/graphconstruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/misc/graphconstruct.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/oldFlexLexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/oldFlexLexer.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parse.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/CMakeLists.txt -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/fixyywrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/fixyywrap -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/fixyywrap.cpp: -------------------------------------------------------------------------------- 1 | #include "FlexLexer.h" 2 | -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/macros.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/parse_error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/parse_error.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/pddl+.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/pddl+.lex -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/pddl+.yacc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/pddl+.yacc -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/ptree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/ptree.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/ptree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/ptree.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/parsing/sStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/parsing/sStack.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/random.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/random.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/random.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/random.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/readme -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/tDistribution.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/tDistribution.h -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/typecheck.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/typecheck.cpp -------------------------------------------------------------------------------- /planning/optic/src/VALfiles/typecheck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/VALfiles/typecheck.h -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindCBLAS.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindCBLAS.cmake -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindCLapack.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindCLapack.cmake -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindCbc.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindCbc.cmake -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindCgl.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindCgl.cmake -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindClp.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindClp.cmake -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindGSL.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindGSL.cmake -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindLPSolve.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindLPSolve.cmake -------------------------------------------------------------------------------- /planning/optic/src/cmake/modules/FindOSI.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/cmake/modules/FindOSI.cmake -------------------------------------------------------------------------------- /planning/optic/src/optic/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/CMakeLists.txt -------------------------------------------------------------------------------- /planning/optic/src/optic/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/Doxyfile.in -------------------------------------------------------------------------------- /planning/optic/src/optic/FFEvent.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/FFEvent.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/FFEvent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/FFEvent.h -------------------------------------------------------------------------------- /planning/optic/src/optic/FFSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/FFSolver.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/FFSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/FFSolver.h -------------------------------------------------------------------------------- /planning/optic/src/optic/NNF.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/NNF.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/NNF.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/NNF.h -------------------------------------------------------------------------------- /planning/optic/src/optic/PreferenceData.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/PreferenceData.h -------------------------------------------------------------------------------- /planning/optic/src/optic/PreferenceHandler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/PreferenceHandler.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/PreferenceHandler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/PreferenceHandler.h -------------------------------------------------------------------------------- /planning/optic/src/optic/RPGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/RPGBuilder.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/RPGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/RPGBuilder.h -------------------------------------------------------------------------------- /planning/optic/src/optic/RPGBuilderAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/RPGBuilderAnalysis.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/RPGBuilderEvaluation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/RPGBuilderEvaluation.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/RPGBuilderNumerics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/RPGBuilderNumerics.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/StochasticDurations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/StochasticDurations.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/StochasticDurations.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/StochasticDurations.h -------------------------------------------------------------------------------- /planning/optic/src/optic/UseDoxygen.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/UseDoxygen.cmake -------------------------------------------------------------------------------- /planning/optic/src/optic/choosepreconditions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/choosepreconditions.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/choosepreconditions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/choosepreconditions.h -------------------------------------------------------------------------------- /planning/optic/src/optic/colours.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/colours.h -------------------------------------------------------------------------------- /planning/optic/src/optic/globals.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/globals.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/globals.h -------------------------------------------------------------------------------- /planning/optic/src/optic/lpscheduler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/lpscheduler.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/lpscheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/lpscheduler.h -------------------------------------------------------------------------------- /planning/optic/src/optic/minimalstate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/minimalstate.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/minimalstate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/minimalstate.h -------------------------------------------------------------------------------- /planning/optic/src/optic/numericanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/numericanalysis.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/numericanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/numericanalysis.h -------------------------------------------------------------------------------- /planning/optic/src/optic/opticMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/opticMain.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/partialordertransformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/partialordertransformer.h -------------------------------------------------------------------------------- /planning/optic/src/optic/solver-both.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver-both.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/solver-both.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver-both.h -------------------------------------------------------------------------------- /planning/optic/src/optic/solver-clp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver-clp.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/solver-clp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver-clp.h -------------------------------------------------------------------------------- /planning/optic/src/optic/solver-cpx-paramils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver-cpx-paramils.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/solver-cpx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver-cpx.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/solver-cpx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver-cpx.h -------------------------------------------------------------------------------- /planning/optic/src/optic/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/solver.h -------------------------------------------------------------------------------- /planning/optic/src/optic/temporalanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/temporalanalysis.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/temporalanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/temporalanalysis.h -------------------------------------------------------------------------------- /planning/optic/src/optic/temporalconstraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/temporalconstraints.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/temporalconstraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/temporalconstraints.h -------------------------------------------------------------------------------- /planning/optic/src/optic/totalordertransformer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/totalordertransformer.cpp -------------------------------------------------------------------------------- /planning/optic/src/optic/totalordertransformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/optic/src/optic/totalordertransformer.h -------------------------------------------------------------------------------- /planning/popf/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/.gitignore -------------------------------------------------------------------------------- /planning/popf/CHANGELOG.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/CHANGELOG.rst -------------------------------------------------------------------------------- /planning/popf/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | cmake_minimum_required(VERSION 2.6) 2 | project (popf) 3 | 4 | add_subdirectory(src) 5 | -------------------------------------------------------------------------------- /planning/popf/LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/LICENCE -------------------------------------------------------------------------------- /planning/popf/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/README.md -------------------------------------------------------------------------------- /planning/popf/package.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/package.xml -------------------------------------------------------------------------------- /planning/popf/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/setup.sh -------------------------------------------------------------------------------- /planning/popf/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/CMakeLists.txt -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/.cvsignore: -------------------------------------------------------------------------------- 1 | *.opto 2 | *.Oo 3 | -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Action.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Action.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Action.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Action.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Analyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Analyser.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Analysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Analysis.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/CMakeLists.txt -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Cascader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Cascader.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Environment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Environment.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Environment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Environment.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Evaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Evaluator.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Evaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Evaluator.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Events.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Events.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Events.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Exceptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Exceptions.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/FastEnvironment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/FastEnvironment.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/FastEnvironment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/FastEnvironment.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/FuncAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/FuncAnalysis.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/FuncAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/FuncAnalysis.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/FuncExp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/FuncExp.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/FuncExp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/FuncExp.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/GoalHypSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/GoalHypSpace.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/InstPropLinker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/InstPropLinker.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/InstPropLinker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/InstPropLinker.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/LaTeXSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/LaTeXSupport.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/LaTeXSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/LaTeXSupport.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Ownership.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Ownership.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Ownership.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Ownership.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Partitions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Partitions.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Plan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Plan.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Plan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Plan.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/PlanExecutionTracker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/PlanExecutionTracker.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Polynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Polynomial.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Polynomial.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/PrettyPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/PrettyPrinter.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/PrettyPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/PrettyPrinter.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Proposition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Proposition.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Proposition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Proposition.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Relax.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Relax.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/RelaxTranslator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/RelaxTranslator.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/RelaxTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/RelaxTranslator.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/RepairAdvice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/RepairAdvice.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/RepairAdvice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/RepairAdvice.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/RobustAnalyse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/RobustAnalyse.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/RobustAnalyse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/RobustAnalyse.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/SimpleEval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/SimpleEval.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/SimpleEval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/SimpleEval.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/State.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/State.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/State.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/State.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/StateObserver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/StateObserver.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TIM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TIM.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TIM.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TIM.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TIMMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TIMMain.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TIMUtilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TIMUtilities.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TimSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TimSupport.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TimSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TimSupport.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/ToFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/ToFunction.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/ToFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/ToFunction.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TrajectoryConstraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TrajectoryConstraints.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TypeStrip.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TypeStrip.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TypeStripWC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TypeStripWC.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TypeStripWC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TypeStripWC.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TypedAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TypedAnalyser.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TypedAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TypedAnalyser.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/TypedAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/TypedAnalysis.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Utils.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Utils.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Validator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Validator.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/Validator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/Validator.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/instantiation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/instantiation.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/instantiation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/instantiation.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/instantiationIP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/instantiationIP.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/instantiationIP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/instantiationIP.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/instantiationMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/instantiationMain.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/main.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/main.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/AbstractGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/AbstractGraph.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/CausalGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/CausalGraph.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/CausalGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/CausalGraph.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/DYNA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/DYNA.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/DYNATranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/DYNATranslator.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/HowAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/HowAnalyser.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/HowAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/HowAnalyser.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/LPGP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/LPGP.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/LPGPTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/LPGPTranslator.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/OptInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/OptInterface.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/PartialPlan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/PartialPlan.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/PartialPlan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/PartialPlan.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/PlanRec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/PlanRec.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/SASActions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/SASActions.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/SASActions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/SASActions.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/SearchSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/SearchSpace.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/SearchSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/SearchSpace.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/ToFnMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/ToFnMain.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/dynaMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/dynaMain.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/misc/graphconstruct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/misc/graphconstruct.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/oldFlexLexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/oldFlexLexer.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parse.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/fixyywrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/fixyywrap -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/fixyywrap.cpp: -------------------------------------------------------------------------------- 1 | #include "FlexLexer.h" 2 | -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/macros.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/parse_error.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/parse_error.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/pddl+.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/pddl+.lex -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/pddl+.yacc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/pddl+.yacc -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/ptree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/ptree.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/ptree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/ptree.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/parsing/sStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/parsing/sStack.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/random.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/random.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/random.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/random.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/readme -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/tDistribution.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/tDistribution.h -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/test/lex.yy.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/test/lex.yy.cc -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/test/pddl+.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/test/pddl+.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/typecheck.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/typecheck.cpp -------------------------------------------------------------------------------- /planning/popf/src/VALfiles/typecheck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/VALfiles/typecheck.h -------------------------------------------------------------------------------- /planning/popf/src/cmake/modules/FindCBLAS.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/cmake/modules/FindCBLAS.cmake -------------------------------------------------------------------------------- /planning/popf/src/cmake/modules/FindCbc.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/cmake/modules/FindCbc.cmake -------------------------------------------------------------------------------- /planning/popf/src/cmake/modules/FindCgl.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/cmake/modules/FindCgl.cmake -------------------------------------------------------------------------------- /planning/popf/src/cmake/modules/FindClp.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/cmake/modules/FindClp.cmake -------------------------------------------------------------------------------- /planning/popf/src/cmake/modules/FindOSI.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/cmake/modules/FindOSI.cmake -------------------------------------------------------------------------------- /planning/popf/src/popf/.cvsignore: -------------------------------------------------------------------------------- 1 | .my-setup 2 | -------------------------------------------------------------------------------- /planning/popf/src/popf/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/CMakeLists.txt -------------------------------------------------------------------------------- /planning/popf/src/popf/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/Doxyfile.in -------------------------------------------------------------------------------- /planning/popf/src/popf/FFSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/FFSolver.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/FFSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/FFSolver.h -------------------------------------------------------------------------------- /planning/popf/src/popf/RPGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/RPGBuilder.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/RPGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/RPGBuilder.h -------------------------------------------------------------------------------- /planning/popf/src/popf/RPGBuilderAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/RPGBuilderAnalysis.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/RPGBuilderEvaluation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/RPGBuilderEvaluation.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/RPGBuilderNumerics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/RPGBuilderNumerics.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/colours.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/colours.h -------------------------------------------------------------------------------- /planning/popf/src/popf/globals.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/globals.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/globals.h -------------------------------------------------------------------------------- /planning/popf/src/popf/lpscheduler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/lpscheduler.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/lpscheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/lpscheduler.h -------------------------------------------------------------------------------- /planning/popf/src/popf/minimalstate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/minimalstate.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/minimalstate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/minimalstate.h -------------------------------------------------------------------------------- /planning/popf/src/popf/numericanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/numericanalysis.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/numericanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/numericanalysis.h -------------------------------------------------------------------------------- /planning/popf/src/popf/partialordertransformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/partialordertransformer.h -------------------------------------------------------------------------------- /planning/popf/src/popf/popfMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/popfMain.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/solver-clp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/solver-clp.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/solver-clp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/solver-clp.h -------------------------------------------------------------------------------- /planning/popf/src/popf/solver-cpx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/solver-cpx.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/solver-cpx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/solver-cpx.h -------------------------------------------------------------------------------- /planning/popf/src/popf/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/solver.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/solver.h -------------------------------------------------------------------------------- /planning/popf/src/popf/temporalanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/temporalanalysis.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/temporalanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/temporalanalysis.h -------------------------------------------------------------------------------- /planning/popf/src/popf/temporalconstraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/temporalconstraints.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/temporalconstraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/temporalconstraints.h -------------------------------------------------------------------------------- /planning/popf/src/popf/totalordertransformer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/totalordertransformer.cpp -------------------------------------------------------------------------------- /planning/popf/src/popf/totalordertransformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf/src/popf/totalordertransformer.h -------------------------------------------------------------------------------- /planning/popf2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/README.md -------------------------------------------------------------------------------- /planning/popf2/build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/build -------------------------------------------------------------------------------- /planning/popf2/plan: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/plan -------------------------------------------------------------------------------- /planning/popf2/questionnaire.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/questionnaire.txt -------------------------------------------------------------------------------- /planning/popf2/src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/CMakeLists.txt -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/.cvsignore: -------------------------------------------------------------------------------- 1 | *.opto 2 | *.Oo 3 | -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Action.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Action.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Action.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Action.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Analyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Analyser.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Analysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Analysis.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/CMakeLists.txt -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Cascader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Cascader.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Environment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Environment.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Environment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Environment.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Evaluator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Evaluator.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Evaluator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Evaluator.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Events.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Events.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Events.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Exceptions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Exceptions.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/FastEnvironment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/FastEnvironment.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/FastEnvironment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/FastEnvironment.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/FuncAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/FuncAnalysis.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/FuncAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/FuncAnalysis.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/FuncExp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/FuncExp.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/FuncExp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/FuncExp.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/GoalHypSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/GoalHypSpace.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/InstPropLinker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/InstPropLinker.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/InstPropLinker.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/InstPropLinker.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/LaTeXSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/LaTeXSupport.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/LaTeXSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/LaTeXSupport.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Ownership.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Ownership.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Ownership.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Ownership.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Partitions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Partitions.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Plan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Plan.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Plan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Plan.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Polynomial.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Polynomial.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Polynomial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Polynomial.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/PrettyPrinter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/PrettyPrinter.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/PrettyPrinter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/PrettyPrinter.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Proposition.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Proposition.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Proposition.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Proposition.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Relax.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Relax.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/RelaxTranslator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/RelaxTranslator.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/RelaxTranslator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/RelaxTranslator.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/RepairAdvice.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/RepairAdvice.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/RepairAdvice.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/RepairAdvice.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/RobustAnalyse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/RobustAnalyse.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/RobustAnalyse.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/RobustAnalyse.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/SimpleEval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/SimpleEval.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/SimpleEval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/SimpleEval.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/State.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/State.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/State.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/State.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/StateObserver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/StateObserver.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TIM.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TIM.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TIM.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TIM.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TIMMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TIMMain.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TIMUtilities.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TIMUtilities.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TimSupport.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TimSupport.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TimSupport.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TimSupport.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/ToFunction.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/ToFunction.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/ToFunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/ToFunction.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TypeStrip.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TypeStrip.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TypeStripWC.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TypeStripWC.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TypeStripWC.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TypeStripWC.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TypedAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TypedAnalyser.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TypedAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TypedAnalyser.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/TypedAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/TypedAnalysis.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Utils.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Utils.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Validator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Validator.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/Validator.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/Validator.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/instantiation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/instantiation.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/instantiation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/instantiation.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/instantiationIP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/instantiationIP.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/instantiationIP.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/instantiationIP.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/main.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/main.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/main.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/AbstractGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/AbstractGraph.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/CausalGraph.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/CausalGraph.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/CausalGraph.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/CausalGraph.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/DYNA.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/DYNA.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/HowAnalyser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/HowAnalyser.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/HowAnalyser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/HowAnalyser.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/LPGP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/LPGP.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/OptInterface.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/OptInterface.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/PartialPlan.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/PartialPlan.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/PartialPlan.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/PartialPlan.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/PlanRec.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/PlanRec.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/SASActions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/SASActions.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/SASActions.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/SASActions.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/SearchSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/SearchSpace.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/SearchSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/SearchSpace.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/ToFnMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/ToFnMain.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/misc/dynaMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/misc/dynaMain.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/oldFlexLexer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/oldFlexLexer.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parse.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/fixyywrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parsing/fixyywrap -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/fixyywrap.cpp: -------------------------------------------------------------------------------- 1 | #include "FlexLexer.h" 2 | -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/macros.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parsing/macros.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/pddl+.lex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parsing/pddl+.lex -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/pddl+.yacc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parsing/pddl+.yacc -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/ptree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parsing/ptree.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/ptree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parsing/ptree.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/parsing/sStack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/parsing/sStack.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/random.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/random.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/random.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/random.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/readme -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/tDistribution.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/tDistribution.h -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/typecheck.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/typecheck.cpp -------------------------------------------------------------------------------- /planning/popf2/src/VALfiles/typecheck.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/VALfiles/typecheck.h -------------------------------------------------------------------------------- /planning/popf2/src/cmake/modules/FindCBLAS.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/cmake/modules/FindCBLAS.cmake -------------------------------------------------------------------------------- /planning/popf2/src/cmake/modules/FindCbc.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/cmake/modules/FindCbc.cmake -------------------------------------------------------------------------------- /planning/popf2/src/cmake/modules/FindCgl.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/cmake/modules/FindCgl.cmake -------------------------------------------------------------------------------- /planning/popf2/src/cmake/modules/FindClp.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/cmake/modules/FindClp.cmake -------------------------------------------------------------------------------- /planning/popf2/src/cmake/modules/FindOSI.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/cmake/modules/FindOSI.cmake -------------------------------------------------------------------------------- /planning/popf2/src/popf2/.cvsignore: -------------------------------------------------------------------------------- 1 | .my-setup 2 | .kdev_include_paths 3 | -------------------------------------------------------------------------------- /planning/popf2/src/popf2/.kdev_include_paths: -------------------------------------------------------------------------------- 1 | /usr/include/coin/ 2 | -------------------------------------------------------------------------------- /planning/popf2/src/popf2/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/CMakeLists.txt -------------------------------------------------------------------------------- /planning/popf2/src/popf2/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/Doxyfile.in -------------------------------------------------------------------------------- /planning/popf2/src/popf2/FFEvent.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/FFEvent.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/FFEvent.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/FFEvent.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/FFSolver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/FFSolver.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/FFSolver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/FFSolver.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/RPGBuilder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/RPGBuilder.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/RPGBuilder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/RPGBuilder.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/RPGBuilderAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/RPGBuilderAnalysis.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/RPGBuilderNumerics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/RPGBuilderNumerics.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/StochasticDurations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/StochasticDurations.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/StochasticDurations.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/StochasticDurations.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/colours.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/colours.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/globals.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/globals.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/globals.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/lpscheduler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/lpscheduler.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/lpscheduler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/lpscheduler.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/minimalstate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/minimalstate.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/minimalstate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/minimalstate.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/numericanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/numericanalysis.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/numericanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/numericanalysis.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/popfMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/popfMain.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/solver-clp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/solver-clp.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/solver-clp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/solver-clp.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/solver-cpx-paramils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/solver-cpx-paramils.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/solver-cpx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/solver-cpx.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/solver-cpx.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/solver-cpx.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/solver.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/solver.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/temporalanalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/temporalanalysis.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/temporalanalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/temporalanalysis.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/temporalconstraints.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/temporalconstraints.cpp -------------------------------------------------------------------------------- /planning/popf2/src/popf2/temporalconstraints.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/temporalconstraints.h -------------------------------------------------------------------------------- /planning/popf2/src/popf2/totalordertransformer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/popf2/src/popf2/totalordertransformer.h -------------------------------------------------------------------------------- /planning/run.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/run.bat -------------------------------------------------------------------------------- /planning/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pabloschwarzenberg/CINF103/HEAD/planning/run.sh -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | cocos2d 2 | pyswip 3 | scikit-learn --------------------------------------------------------------------------------