## dimaptools / src / test / resources / truck-crane-a2.pre @ 126:242390b3f4be

History | View | Annotate | Download (1.18 KB)

1 | 10:478c8bd6b5ad | Michal | begin_version |
---|---|---|---|

2 | 3 |
||

3 | end_version |
||

4 | begin_metric |
||

5 | 0 |
||

6 | end_metric |
||

7 | 3 |
||

8 | begin_variable |
||

9 | var2 |
||

10 | -1 |
||

11 | 2 |
||

12 | Atom truck-started() |
||

13 | <none of those> |
||

14 | end_variable |
||

15 | begin_variable |
||

16 | var1 |
||

17 | -1 |
||

18 | 2 |
||

19 | Atom truck-at(a) |
||

20 | Atom truck-at(b) |
||

21 | end_variable |
||

22 | begin_variable |
||

23 | var0 |
||

24 | -1 |
||

25 | 3 |
||

26 | Atom box-at(a) |
||

27 | Atom box-at(b) |
||

28 | Atom box-at-truck() |
||

29 | end_variable |
||

30 | 0 |
||

31 | begin_state |
||

32 | 1 |
||

33 | 0 |
||

34 | 0 |
||

35 | end_state |
||

36 | begin_goal |
||

37 | 1 |
||

38 | 2 1 |
||

39 | end_goal |
||

40 | 7 |
||

41 | begin_operator |
||

42 | load-crane a |
||

43 | 1 |
||

44 | 1 0 |
||

45 | 1 |
||

46 | 0 2 0 2 |
||

47 | 0 |
||

48 | end_operator |
||

49 | begin_operator |
||

50 | load-crane b |
||

51 | 1 |
||

52 | 1 1 |
||

53 | 1 |
||

54 | 0 2 1 2 |
||

55 | 0 |
||

56 | end_operator |
||

57 | begin_operator |
||

58 | move-truck a b |
||

59 | 1 |
||

60 | 0 0 |
||

61 | 1 |
||

62 | 0 1 0 1 |
||

63 | 0 |
||

64 | end_operator |
||

65 | begin_operator |
||

66 | move-truck b a |
||

67 | 1 |
||

68 | 0 0 |
||

69 | 1 |
||

70 | 0 1 1 0 |
||

71 | 0 |
||

72 | end_operator |
||

73 | begin_operator |
||

74 | start-truck |
||

75 | 0 |
||

76 | 1 |
||

77 | 0 0 -1 0 |
||

78 | 0 |
||

79 | end_operator |
||

80 | begin_operator |
||

81 | unload-crane a |
||

82 | 1 |
||

83 | 1 0 |
||

84 | 1 |
||

85 | 0 2 2 0 |
||

86 | 0 |
||

87 | end_operator |
||

88 | begin_operator |
||

89 | unload-crane b |
||

90 | 1 |
||

91 | 1 1 |
||

92 | 1 |
||

93 | 0 2 2 1 |
||

94 | 0 |
||

95 | end_operator |
||

96 | 0 |
||

97 | begin_SG |
||

98 | switch 2 |
||

99 | check 1 |
||

100 | 4 |
||

101 | switch 1 |
||

102 | check 0 |
||

103 | check 1 |
||

104 | 0 |
||

105 | check 0 |
||

106 | check 0 |
||

107 | switch 1 |
||

108 | check 0 |
||

109 | check 0 |
||

110 | check 1 |
||

111 | 1 |
||

112 | check 0 |
||

113 | switch 1 |
||

114 | check 0 |
||

115 | check 1 |
||

116 | 5 |
||

117 | check 1 |
||

118 | 6 |
||

119 | check 0 |
||

120 | switch 1 |
||

121 | check 0 |
||

122 | switch 0 |
||

123 | check 0 |
||

124 | check 1 |
||

125 | 2 |
||

126 | check 0 |
||

127 | check 0 |
||

128 | switch 0 |
||

129 | check 0 |
||

130 | check 1 |
||

131 | 3 |
||

132 | check 0 |
||

133 | check 0 |
||

134 | check 0 |
||

135 | end_SG |
||

136 | begin_DTG |
||

137 | 0 |
||

138 | 1 |
||

139 | 0 |
||

140 | 4 |
||

141 | 0 |
||

142 | end_DTG |
||

143 | begin_DTG |
||

144 | 1 |
||

145 | 1 |
||

146 | 2 |
||

147 | 1 |
||

148 | 0 0 |
||

149 | 1 |
||

150 | 0 |
||

151 | 3 |
||

152 | 1 |
||

153 | 0 0 |
||

154 | end_DTG |
||

155 | begin_DTG |
||

156 | 1 |
||

157 | 2 |
||

158 | 0 |
||

159 | 1 |
||

160 | 1 0 |
||

161 | 1 |
||

162 | 2 |
||

163 | 1 |
||

164 | 1 |
||

165 | 1 1 |
||

166 | 2 |
||

167 | 0 |
||

168 | 5 |
||

169 | 1 |
||

170 | 1 0 |
||

171 | 1 |
||

172 | 6 |
||

173 | 1 |
||

174 | 1 1 |
||

175 | end_DTG |
||

176 | begin_CG |
||

177 | 1 |
||

178 | 1 2 |
||

179 | 1 |
||

180 | 2 4 |
||

181 | 0 |
||

182 | end_CG |