From d81d4472c8e3921fa621c4c6e773e08fec60e3ba Mon Sep 17 00:00:00 2001 From: HombreLaser Date: Thu, 24 Nov 2022 20:36:06 -0600 Subject: Añadido problema de la ciudad de méxico MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- mexico_city_metro.pddl | 92 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 92 insertions(+) create mode 100644 mexico_city_metro.pddl (limited to 'mexico_city_metro.pddl') diff --git a/mexico_city_metro.pddl b/mexico_city_metro.pddl new file mode 100644 index 0000000..9e07840 --- /dev/null +++ b/mexico_city_metro.pddl @@ -0,0 +1,92 @@ +(define (problem MEXICOCITY) + (:domain METRO) + (:objects OBSERVATORIO TACUBAYA JUANACATLAN CHAPULTEPEC SEVILLA INSURGENTES CUAUHTEMOC + BALDERAS SALTO_AGUA ISABEL_LA_CATOLICA PINO_SUAREZ MERCED MOCTEZUMA + FLORES_MAGON R_RUBIO OCEANIA DEPORTIVO_OCEANIA BOSQUE_ARAGON VILLA_ARAGON + NEZAHUALCOYOTL IMPULSORA REMEDIOS MUZQUIZ ECATEPEC OLIMPICA PLAZA_ARAGON + CIUDAD_AZTECA TASQUENA GENERAL_ANAYA ERMITA PORTALES NATIVITAS VILLA_CORTES + XOLA VIADUCTA CHABACANO SAN_LAZARO BALBUENA PTO_AEREO GOMEZ_FARIAS ZARAGOZA + SAN_ANTONIO_ABAD ZOCALO ALLENDE BELLAS_ARTES HIDALGO REVOLUCION SAN_COSME + NORMAL COLEGIO_MILITAR POPOTLA CUITLAHUAC PANTEONES CUATRO_CAMINOS + INDIOS_VERDES DEPORTIVO_MARZO POTRERO RAZA TLATELOLCO GUERRERO JUAREZ N_HEROES + HOSPITAL CENTRO_MEDICO ETIOPIA EUGENIA DIVISION_NORTE ZAPATA COYOACAN VIVEROS + QUEVEDO COPILCO UNIVERSIDAD SANTA_ANITA JAMAICA FRAY_SERVANDO CANDELARIA MORELOS + CANAL_NORTE CONSULADO BONDOJITO TALISMAN MARTIN_CARRERA POLITECNICO + INST_PETROLERO AUTOBUSES_NORTE MISTERIOS VALLE_GOMEZ EDUARDO_MOLINA + ARAGON TERMINAL_AEREA HANGARES ROSARIO TEZOZOMOC AZCAPOTZALCO + FERRERIA NORTE_45 VALLEJO LINDAVISTA BASILICA AQUILES_SERDAN CAMARONES + SAN_JOAQUIN POLANDO AUDITORIO CONSTITUYENTES SP_LOS_PINOS SAN_ANTONIO MIXCOAC + BARRANCA_MUERTO GARIBALDI JUAN_LETRAN DOCTORES OBRERA LA_VIGA COYUYA IZTACALCO + APATLACO ACULCO ESCUADRON_201 ATLALILCO IZTAPALAPA ESTRELLA UAM CONSTITUCION + PATRIOTISMO CHILPANCINGO LAZARO_CARDENAS MIXIUHCA VELODROMO CIUDAD_DEPORTIVA + PUEBLA PANTITLAN - station + TREN - train + YO - person) + (:INIT (connected OBSERVATORIO TACUBAYA) (connected TACUBAYA JUANACATLAN) + (connected JUANACATLAN CHAPULTEPEC) (connected CHAPULTEPEC SEVILLA) + (connected SEVILLA INSURGENTES) (connected INSURGENTES CUAUHTEMOC) + (connected CUAUHTEMOC BALDERAS) (connected BALDERAS SALTO_AGUA) + (connected SALTO_AGUA ISABEL_LA_CATOLICA) + (connected ISABEL_LA_CATOLICA PINO_SUAREZ) (connected PINO_SUAREZ MERCED) + (connected MERCED CANDELARIA) (connected CANDELARIA SAN_LAZARO) + (connected SAN_LAZARO MOCTEZUMA) (connected MOCTEZUMA BALBUENA) + (connected BALBUENA PTO_AEREO) (connected PTO_AEREO GOMEZ_FARIAS) + (connected GOMEZ_FARIAS ZARAGOZA) (connected ZARAGOZA PANTITLAN) + (connected CUATRO_CAMINOS PANTEONES) (connected PANTEONES CUITLAHUAC) + (connected CUITLAHUAC POPOTLA) (connected POPOTLA COLEGIO_MILITAR) + (connected COLEGIO_MILITAR NORMAL) (connected NORMAL SAN_COSME) + (connected SAN_COSME REVOLUCION) (connected REVOLUCION HIDALGO) + (connected HIDALGO BELLAS_ARTES) (connected BELLAS_ARTES ALLENDE) + (connected ALLENDE ZOCALO) (connected ZOCALO PINO_SUAREZ) + (connected PINO_SUAREZ SAN_ANTONIO_ABAD) (connected SAN_ANTONIO_ABAD CHABACANO) + (connected CHABACANO VIADUCTA) (connected VIADUCTA XOLA) + (connected XOLA VILLA_CORTES) (connected VILLA_CORTES NATIVITAS) + (connected NATIVITAS PORTALES) (connected PORTALES ERMITA) + (connected EMITA GENERAL_ANAYA) (connected GENERAL_ANAYA TASQUENA) + (connected INDIOS_VERDES DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO POTRERO) + (connected POTRERO RAZA) (connected RAZA TLATELOLCO) + (connected TLATELOLCO GUERRERO) (connected GUERRERO HIDALGO) + (connected HIDALGO JUAREZ) (connected JUAREZ BALDERAS) + (connected BALDERAS N_HEROES) (connected N_HEROES HOSPITAL) + (connected HOSPITAL CENTRO_MEDICO) (connected CENTRO_MEDICO ETIOPIA) + (connected ETIOPIA EUGENIA) (connected EUGENIA DIVISION_NORTE) + (connected DIVISION_NORTE ZAPATA) (connected ZAPATA COYOACAN) + (connected COYOACAN VIVEROS) (connected VIVEROS QUEVEDO) + (connected QUEVEDO COPILCO) (connected COPILCO UNIVERSIDAD) + (connected SANTA_ANITA CHABACANO) (connected CHABACANO FRAY_SERVANDO) + (connected FRAY_SERVANDO CANDELARIA) (connected CANDELARIA MORELOS) + (connected MORELOS CANAL_NORTE) (connected CANAL_NORTE CONSULADO) + (connected CONSULADO BONDOJITO) (connected BONDOJITO TALISMAN) + (connected TALISMAN MARTIN_CARRERA) (connected POLITECNICO INST_PETROLERO) + (connected INST_PETROLERO AUTOBUSES_NORTE) (connected AUTOBUSES_NORTE RAZA) + (connected RAZA MISTERIOS) (connnected MISTERIOS VALLE_GOMEZ) + (connected VALLE_GOMEZ CONSULADO) (connected CONSULADO EDUARDO_MOLINA) + (connected EDUARDO_MOLINA ARAGON) (connected ARAGON OCEANIA) + (connected OCEANIA TERMINAL_AEREA) (connected TERMINAL_AEREA HANGARES) + (connected HANGARES PANTITLAN) (connected ROSARIO TEZOZOMOC) + (connected TEZOZOMOC AZCAPOTZALCO) (connected AZCAPOTZALCO FERRERIA) + (connected FERRERIA NORTE_45) (connected NORTE_45 VALLEJO) + (connected VALLEJO INST_PETROLERO) (connected INST_PETROLERO LINDAVISTA) + (connected LINDAVISTA DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO BASILICA) + (connected BASILICA MARTIN_CARRERA) (connected AQUILES_SERDAN CAMARONES) + (connected CAMARONES SAN_JOAQUIN) (connected SAN_JOAQUIN POLANCO) + (connected POLANCO AUDITORIO) (connected AUDITORIO CONSTITUYENTES) + (connected CONSTITUYENTES TACUBAYA) (connected TACUBAYA SP_LOS_PINOS) + (connected SP_LOS_PINOS SAN_ANTONIO) (connected SAN_ANTONIO MIXCOAC) + (connected MIXCOAC BARRANCA_MUERTO) (connected GUERRERO GARIBALDI) + (connected GARIBALDI BELLAS_ARTES) (connected BELLAS_ARTES JUAN_LETRAN) + (connected JUAN_LETRAN SALTO_AGUA) (connected SALTO_AGUA DOCTORES) + (connected DOCTORES OBRERA) (connected OBRERA CHABACANO) + (connected CHABACANO LA_VIGA) (connected LA_VIGA SANTA_ANITA) + (connected SANTA_ANITA COYUYA) (connected COYUYA IZTACALCO) + (connected IZTACALCO APATLACO) (connected APATLACO ACULCO) + (connected ACULCO ESCUADRON_201) (connected ESCUADRON_201 IZTAPALAPA) + (connected IZTAPALAPA ESTRELLA) (connected ESTRELLA UAM) + (connected UAM CONSTITUCION) (connected TACUBAYA PATRIOTISMO) + (connected PATRIOTISMO CHILPANCINGO) (connected CHILPANCINGO CENTRO_MEDICO) + (connected CENTRO_MEDICO LAZARO_CARDENAS) (connected LAZARO_CARDENAS CHABACANO) + (connected CHABACANO JAMAICA) (connected JAMAICA MIXIUHCA) + (connected MIXIUHCA VELODROMO) (connected VELODROMO CIUDAD_DEPORTIVA) + (connected CIUDAD_DEPORTIVA PUEBLA) (connected PUEBLA PANTITLAN) + (at TREN TACUBAYA) (in YO TREN)) + (:GOAL (on YO GARIBALDI))) \ No newline at end of file -- cgit v1.2.3