-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtestcase5.asp
46 lines (40 loc) · 1.74 KB
/
testcase5.asp
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
init(object(cell,1),value(at,pair(1,1))).
init(object(cell,2),value(at,pair(2,1))).
init(object(cell,3),value(at,pair(3,1))).
init(object(cell,4),value(at,pair(4,1))).
init(object(cell,5),value(at,pair(1,2))).
init(object(cell,6),value(at,pair(2,2))).
init(object(cell,7),value(at,pair(3,2))).
init(object(cell,8),value(at,pair(4,2))).
init(object(cell,9),value(at,pair(1,3))).
init(object(cell,10),value(at,pair(2,3))).
init(object(cell,11),value(at,pair(3,3))).
init(object(cell,12),value(at,pair(4,3))).
init(object(cell,13),value(at,pair(1,4))).
init(object(cell,14),value(at,pair(2,4))).
init(object(cell,15),value(at,pair(3,4))).
init(object(cell,16),value(at,pair(4,4))).
init(object(lane,4),value(at,pair(4,1))).
init(object(lane,8),value(at,pair(4,2))).
init(object(lane,12),value(at,pair(4,3))).
init(object(lane,13),value(at,pair(1,4))).
init(object(lane,14),value(at,pair(2,4))).
init(object(lane,15),value(at,pair(3,4))).
init(object(lane,16),value(at,pair(4,4))).
init(object(pickupPoint,1),value(at,pair(1,3))).
init(object(robo_vehicle,1),value(at,pair(4,3))).
init(object(robo_vehicle,2),value(at,pair(2,2))).
init(object(storageUnit,1),value(at,pair(3,3))).
init(object(storageUnit,2),value(at,pair(2,1))).
init(object(storageUnit,3),value(at,pair(2,3))).
init(object(storageUnit,4),value(at,pair(2,2))).
init(object(storageUnit,5),value(at,pair(3,2))).
init(object(storageUnit,6),value(at,pair(1,2))).
init(object(item,1),value(on,pair(3,1))).
init(object(item,2),value(on,pair(4,1))).
init(object(item,3),value(on,pair(6,4))).
init(object(item,4),value(on,pair(5,1))).
init(object(item,4),value(on,pair(6,1))).
init(object(shipment,1),value(pickupPoint,1)).
init(object(shipment,1),value(line,pair(1,1))).
init(object(shipment,1),value(line,pair(3,4))).