APT.all-test.clean-house-new.elaborations.area.soar Maven / Gradle / Ivy
sp {elaborations*elaborate*pending
(state ^name robot)
-->
( ^pending )
}
sp {elaborations*elaborate*gotos
(state ^name robot)
-->
( ^gotos )
}
sp {clean-house*elaborate*state*current-location
(state ^name robot
^parameters.areas-held-in wm
^top-state.areas.area
^io.input-link.self.area )
( ^id )
-->
( ^current-location )
}
sp {clean-house*elaborate*current-location
(state ^name <> robot
^top-state.current-location )
-->
( ^current-location )
}
sp {clean-house*elaborate*area*compute-x-y*four-walls
:o-support
(state ^name robot
^current-location )
( -^type door
^wall )
( ^direction north ^y )
( ^direction south ^y )
( ^direction east ^x )
( ^direction west ^x )
-->
( ^y (/ (+ ) 2)
^x (/ (+ ) 2))
}
sp {clean-house*elaborate*area*compute-x-y*north-south-walls
:o-support
(state ^name robot
^current-location )
( -^type door
^wall
^gateway )
-( ^wall.direction east
^wall.direction west)
( ^direction north ^y )
( ^direction south ^y )
( ^direction east ^x )
( ^direction west ^x )
-->
( ^y (/ (+ ) 2)
^x (/ (+ ) 2))
}
sp {clean-house*elaborate*area*compute-x-y*east-west-walls
:o-support
(state ^name robot
^current-location )
( -^type door
^gateway
^wall )
-( ^wall.direction north
^wall.direction south)
( ^direction north ^y )
( ^direction south ^y )
( ^direction east ^x )
( ^direction west ^x )
-->
( ^y (/ (+ ) 2)
^x (/ (+ ) 2))
}
sp {clean-house*elaborate*area*compute-x-y*no-west-walls
:o-support
(state ^name robot
^current-location )
( -^type door
^wall
^gateway )
-( ^wall.direction west)
( ^direction north ^y )
( ^direction south ^y )
( ^direction east ^x )
( ^direction west ^x )
-->
( ^y (/ (+ ) 2)
^x (/ (+ ) 2))
}
sp {clean-house*elaborate*area*compute-x-y*no-east-walls
:o-support
(state ^name robot
^current-location )
( -^type door
^wall
^gateway )
-( ^wall.direction east)
( ^direction north ^y )
( ^direction south ^y )
( ^direction west ^x )
( ^direction east ^x )
-->
( ^y (/ (+ ) 2)
^x (/ (+ ) 2))
}
sp {clean-house*elaborate*area*compute-x-y*no-north-walls
:o-support
(state ^name robot
^areas.area )
( -^type door
^wall
^gateway )
-( ^wall.direction north)
( ^direction north ^y )
( ^direction south ^y )
( ^direction east ^x )
( ^direction west ^x )
-->
( ^y (/ (+ ) 2)
^x (/ (+ ) 2))
}
sp {clean-house*elaborate*area*compute-x-y*no-south-walls
:o-support
(state ^name robot
^current-location )
( -^type door
^wall
^gateway )
-( ^wall.direction south)
( ^direction north ^y )
( ^direction south ^y )
( ^direction east ^x )
( ^direction west ^x )
-->
( ^y (/ (+ ) 2)
^x (/ (+ ) 2))
}
sp {clean-house*elaborate*area*next
:o-support
(state ^name robot
^parameters.areas-held-in wm
^current-location
^areas )
( ^area { <> } { <> <> })
( -^type door
-^next
^gateway
^id )
( ^to { <> })
( ^id
^type door
^gateway { <> })
( ^to { <> })
( ^id )
-->
( ^next )
( ^next )
}
sp {clean-house*elaborate*area*next*smem
:o-support
(state ^name robot
^parameters.areas-held-in smem
^current-location )
( ^neighbor-area
^type room)
( ^neighbor-area { <> }
^type door)
-->
( ^next )
( ^next )
}