APT.all-test.Book-robot.clean-house.record-area.soar Maven / Gradle / Ivy

Go to download
sp {clean-house*propose*record-area
   (state  ^name robot
              ^io.input-link.self.area )
   ( ^areas.area )
   ( -^visited yes
            ^id )
-->
   ( ^operator  + =, >)
   ( ^name record-area
     #    ^actions.rotate.direction stop
     #    ^actions.move.direction stop
         ^area )
}

sp {apply*record-area
   (state  ^operator 
              ^io.input-link.area-description.wall )
   ( ^name record-area
         ^area )
   ( ^center  ^direction  ^id  ^left  ^right )
-->
   ( ^wall 
           ^visited yes)
   ( ^center  ^direction  ^id  ^left  ^right )
}

sp {apply*record-area-gateway
   (state  ^operator 
              ^io.input-link.area-description.gateway )
   ( ^name record-area
         ^area )
   ( ^id )
   ( ^center  ^direction  ^id  ^left  ^right  ^to { <>  <>   })
-->
   ( ^gateway )
   ( ^center  ^direction  ^id  ^left  ^right  ^to )
}

sp {apply*record-area-gateway-connected-area
   (state  ^operator 
              ^areas 
              ^io.input-link.area-description.gateway )
   ( ^name record-area)
   ( ^id  ^to { <>   })
  -( ^area.id )
-->
   ( ^area )
   ( ^id )
}

sp {apply*record-area*in-gateway
   (state  ^operator 
              ^io.input-link.area-description )
   ( ^gateway  { <>   }
           ^wall  { <>   }
          -^wall { <>  <>  })
   ( ^name record-area
        ^area )
-->
   ( ^gateway-area yes
            ^cleaned yes)}
   
sp {apply*record-area*storage
   (state  ^operator 
              ^desired.storage-area-id 
              ^io.input-link.area-description )
   ( ^name record-area
        ^area )
   ( ^id )
-->
   ( ^cleaned yes)}
   
   
sp {clean-house*compare*record-area
   (state  ^name robot
              ^operator  +
                         +)
   ( ^name record-area)
   ( ^name << get-block deposit-block >>)
-->
   ( ^operator  > )
}