summaryrefslogtreecommitdiff
path: root/monterrey_metro.pddl
diff options
context:
space:
mode:
Diffstat (limited to 'monterrey_metro.pddl')
-rw-r--r--monterrey_metro.pddl56
1 files changed, 56 insertions, 0 deletions
diff --git a/monterrey_metro.pddl b/monterrey_metro.pddl
new file mode 100644
index 0000000..a50becd
--- /dev/null
+++ b/monterrey_metro.pddl
@@ -0,0 +1,56 @@
+(define (problem MONTERREY)
+ (:domain METRO)
+ (:objects TALLERES SAN_BERNABE UNIDAD_MODELO AZTLAN PENITENCIARIA ALFONSO_REYES MITRAS SIMON_BOLIVAR HOSPITAL
+ EDISON CENTRAL CUAUHTEMOC DEL_GOLFO FELIX_U_GOMEZ PARQUE_FUNDIDORA Y_GRIEGA ELOY_CAVAZOS LERDO_DE_TEJADA EXPOSICION
+ SENDERO SANTIAGO_TAPIA SAN_NICOLAS ANAHUAC UNIVERSIDAD NINOS_HEROES REGINA GENERAL_ANAYA ALAMEDA FUNDADORES PADRE_MIER
+ GENERAL_ZARAGOZA HOSPITAL_METROPOLITANO LOS_ANGELES RUIZ_CORTINES MODERNA METALURGICOS COLONIA_OBRERA SANTA_LUCIA - station
+ TREN - train
+ YO - person)
+ (:INIT (connected EXPOSICION LERDO_DE_TEJADA)
+ (connected LERDO_DE_TEJADA ELOY_CAVAZOS)
+ (connected ELOY_CAVAZOS Y_GRIEGA)
+ (connected Y_GRIEGA PARQUE_FUNDIDORA)
+ (connected PARQUE_FUNDIDORA FELIX_U_GOMEZ)
+ (connected FELIX_U_GOMEZ DEL_GOLFO)
+ (connected DEL_GOLFO CUAUHTEMOC)
+ (connected CUAUHTEMOC CENTRAL)
+ (connected CENTRAL EDISON)
+ (connected EDISON HOSPITAL)
+ (connected HOSPITAL SIMON_BOLIVAR)
+ (connected SIMON_BOLIVAR MITRAS)
+ (connected MITRAS ALFONSO_REYES)
+ (connected ALFONSO_REYES PENITENCIARIA)
+ (connected PENITENCIARIA AZTLAN)
+ (connected AZTLAN UNIDAD_MODELO)
+ (connected UNIDAD_MODELO SAN_BERNABE)
+ (connected SAN_BERNABE TALLERES)
+
+ (connected SENDERO SANTIAGO_TAPIA)
+ (connected SANTIAGO_TAPIA SAN_NICOLAS)
+ (connected SAN_NICOLAS ANAHUAC)
+ (connected ANAHUAC UNIVERSIDAD)
+ (connected UNIVERSIDAD NINOS_HEROES)
+ (connected NINOS_HEROES REGINA)
+ (connected REGINA GENERAL_ANAYA)
+ (connected GENERAL_ANAYA CUAUHTEMOC)
+ (connected CUAUHTEMOC ALAMEDA)
+ (connected ALAMEDA FUNDADORES)
+ (connected FUNDADORES PADRE_MIER)
+ (connected PADRE_MIER GENERAL_ZARAGOZA)
+
+ (connected GENERAL_ZARAGOZA SANTA_LUCIA)
+ (connected SANTA_LUCIA COLONIA_OBRERA)
+ (connected COLONIA_OBRERA FELIX_U_GOMEZ)
+ (connected FELIX_U_GOMEZ METALURGICOS)
+ (connected METALURGICOS MODERNA)
+ (connected MODERNA RUIZ_CORTINES)
+ (connected RUIZ_CORTINES LOS_ANGELES)
+ (connected LOS_ANGELES HOSPITAL_METROPOLITANO)
+
+
+ (at TREN SENDERO)
+ (in YO TREN))
+
+ (:goal (on YO TALLERES)))
+
+ \ No newline at end of file