|
1 | | -NSRT-Actions.toggle0: |
2 | | - Parameters: [?x0:obj_type] |
3 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), handempty(), inreachofrobot(?x0:obj_type), insameroomasrobot(?x0:obj_type), onfloor(?x0:obj_type), ~inhandofrobot(?x0:obj_type), ~toggleable(?x0:obj_type)] |
4 | | - Add Effects: [toggleable(?x0:obj_type)] |
5 | | - Delete Effects: [~toggleable(?x0:obj_type)] |
6 | | - Ignore Effects: [] |
7 | | - Option Spec: Actions.toggle() |
8 | | -NSRT-Move2: |
9 | | - Parameters: [?x0:surface_type] |
10 | | - Preconditions: [atsamelocation(?x0:surface_type, ?x0:surface_type), insameroomasrobot(?x0:surface_type), onfloor(?x0:surface_type), ~inreachofrobot(?x0:surface_type)] |
11 | | - Add Effects: [inreachofrobot(?x0:surface_type)] |
12 | | - Delete Effects: [~inreachofrobot(?x0:surface_type)] |
13 | | - Ignore Effects: [] |
14 | | - Option Spec: Move() |
15 | | -NSRT-Actions.pickup_00: |
16 | | - Parameters: [?x0:obj_type] |
17 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), handempty(), inreachofrobot(?x0:obj_type), insameroomasrobot(?x0:obj_type), onfloor(?x0:obj_type), ~inhandofrobot(?x0:obj_type)] |
18 | | - Add Effects: [inhandofrobot(?x0:obj_type), ~onfloor(?x0:obj_type)] |
19 | | - Delete Effects: [handempty(), onfloor(?x0:obj_type), ~inhandofrobot(?x0:obj_type)] |
20 | | - Ignore Effects: [] |
21 | | - Option Spec: Actions.pickup_0() |
22 | | -NSRT-Actions.drop_20: |
23 | | - Parameters: [?x0:obj_type, ?x1:obj_type] |
24 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), atsamelocation(?x1:obj_type, ?x1:obj_type), inhandofrobot(?x0:obj_type), inreachofrobot(?x0:obj_type), inreachofrobot(?x1:obj_type), insameroomasrobot(?x0:obj_type), insameroomasrobot(?x1:obj_type), onfloor(?x1:obj_type), ~atsamelocation(?x0:obj_type, ?x1:obj_type), ~atsamelocation(?x1:obj_type, ?x0:obj_type), ~onTop(?x0:obj_type, ?x1:obj_type), ~onfloor(?x0:obj_type)] |
25 | | - Add Effects: [onTop(?x0:obj_type, ?x1:obj_type)] |
26 | | - Delete Effects: [inhandofrobot(?x0:obj_type), ~atsamelocation(?x0:obj_type, ?x1:obj_type), ~atsamelocation(?x1:obj_type, ?x0:obj_type), ~onTop(?x0:obj_type, ?x1:obj_type), ~onfloor(?x0:obj_type)] |
27 | | - Ignore Effects: [] |
28 | | - Option Spec: Actions.drop_2() |
29 | 1 | NSRT-Move0: |
30 | 2 | Parameters: [?x0:obj_type] |
31 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), handempty(), insameroomasrobot(?x0:obj_type), onfloor(?x0:obj_type), ~inreachofrobot(?x0:obj_type)] |
| 3 | + Preconditions: [] |
32 | 4 | Add Effects: [inreachofrobot(?x0:obj_type)] |
33 | 5 | Delete Effects: [~inreachofrobot(?x0:obj_type)] |
34 | | - Ignore Effects: [inreachofrobot] |
35 | | - Option Spec: Move() |
36 | | -NSRT-Move3: |
37 | | - Parameters: [?x0:obj_type, ?x1:obj_type] |
38 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), atsamelocation(?x1:obj_type, ?x1:obj_type), handempty(), insameroomasrobot(?x1:obj_type), onfloor(?x0:obj_type), onfloor(?x1:obj_type), ~atsamelocation(?x0:obj_type, ?x1:obj_type), ~atsamelocation(?x1:obj_type, ?x0:obj_type), ~inhandofrobot(?x0:obj_type), ~inreachofrobot(?x0:obj_type), ~inreachofrobot(?x1:obj_type), ~insameroomasrobot(?x0:obj_type), ~onTop(?x0:obj_type, ?x1:obj_type)] |
39 | | - Add Effects: [inreachofrobot(?x0:obj_type), insameroomasrobot(?x0:obj_type), ~insameroomasrobot(?x1:obj_type)] |
40 | | - Delete Effects: [insameroomasrobot(?x1:obj_type), ~inreachofrobot(?x0:obj_type), ~insameroomasrobot(?x0:obj_type)] |
41 | | - Ignore Effects: [insameroomasrobot] |
42 | | - Option Spec: Move() |
43 | | -NSRT-Actions.drop_21: |
44 | | - Parameters: [?x0:obj_type, ?x1:surface_type] |
45 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), atsamelocation(?x1:surface_type, ?x1:surface_type), inhandofrobot(?x0:obj_type), inreachofrobot(?x0:obj_type), inreachofrobot(?x1:surface_type), insameroomasrobot(?x0:obj_type), insameroomasrobot(?x1:surface_type), onfloor(?x1:surface_type), ~atsamelocation(?x0:obj_type, ?x1:surface_type), ~atsamelocation(?x1:surface_type, ?x0:obj_type), ~onTop(?x0:obj_type, ?x1:surface_type), ~onfloor(?x0:obj_type), ~toggleable(?x0:obj_type)] |
46 | | - Add Effects: [handempty(), onTop(?x0:obj_type, ?x1:surface_type), onfloor(?x0:obj_type), ~inhandofrobot(?x0:obj_type)] |
47 | | - Delete Effects: [inhandofrobot(?x0:obj_type), ~atsamelocation(?x0:obj_type, ?x1:surface_type), ~atsamelocation(?x1:surface_type, ?x0:obj_type), ~onTop(?x0:obj_type, ?x1:surface_type), ~onfloor(?x0:obj_type)] |
48 | | - Ignore Effects: [] |
49 | | - Option Spec: Actions.drop_2() |
50 | | -NSRT-Actions.open0: |
51 | | - Parameters: [?x0:obj_type] |
52 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), handempty(), inreachofrobot(?x0:obj_type), insameroomasrobot(?x0:obj_type), onfloor(?x0:obj_type), ~openable(?x0:obj_type)] |
53 | | - Add Effects: [openable(?x0:obj_type)] |
54 | | - Delete Effects: [~openable(?x0:obj_type)] |
55 | | - Ignore Effects: [] |
56 | | - Option Spec: Actions.open() |
57 | | -NSRT-Move1: |
58 | | - Parameters: [?x0:obj_type, ?x1:obj_type] |
59 | | - Preconditions: [atsamelocation(?x0:obj_type, ?x0:obj_type), atsamelocation(?x1:obj_type, ?x1:obj_type), inhandofrobot(?x1:obj_type), inreachofrobot(?x1:obj_type), insameroomasrobot(?x1:obj_type), onfloor(?x0:obj_type), ~atsamelocation(?x0:obj_type, ?x1:obj_type), ~atsamelocation(?x1:obj_type, ?x0:obj_type), ~inreachofrobot(?x0:obj_type), ~insameroomasrobot(?x0:obj_type), ~onTop(?x1:obj_type, ?x0:obj_type), ~onfloor(?x1:obj_type)] |
60 | | - Add Effects: [inreachofrobot(?x0:obj_type), insameroomasrobot(?x0:obj_type), insameroomasrobot(?x1:obj_type)] |
61 | | - Delete Effects: [~inreachofrobot(?x0:obj_type), ~insameroomasrobot(?x0:obj_type)] |
62 | | - Ignore Effects: [~insameroomasrobot] |
63 | | - Option Spec: Move() |
| 6 | + Ignore Effects: [inreachofrobot, ~inreachofrobot] |
| 7 | + Option Spec: Move() |
0 commit comments