• Home
• com.soartech
• jsoar-performance-testing
• 5.0.1
• source code
• monitor.soar

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

APT.all-test.mac.mac-planning.elaborations.monitor.soar Maven / Gradle / Ivy

###
### move-BOAT MONITOR OPERATOR AND STATE
###

sp {monitor*move-boat
   (state  ^operator )
   ( ^name move-boat
        ^{ << cannibals missionaries >>   } )
   -->
   (write (crlf) | Move |  | | )}

sp {monitor*state*left
   (state  ^name mac
              ^left-bank 
              ^right-bank )
   ( ^missionaries 
        ^cannibals 
        ^boat 1)
   ( ^missionaries 
        ^cannibals 
        ^boat 0)
   -->
   (write (crlf) | M: |  |, C: |  | B ~~~   | 
                 | M: |  |, C: |  |  |)}

sp {monitor*state*right
   (state  ^name mac
              ^left-bank 
              ^right-bank )
   ( ^missionaries 
        ^cannibals 
        ^boat 0)
   ( ^missionaries 
        ^cannibals 
        ^boat 1)
   -->
   (write (crlf) | M: |  |, C: |  |   ~~~ B | 
                 | M: |  |, C: |  |  |)}