blob: a50becd4b18836f5ea5da41d4fa4696d0de0e779 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
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)))
|
