diff options
| -rw-r--r-- | monterrey_metro.pddl | 56 |
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 |