All Downloads are FREE. Search and download functionalities are using the official Maven repository.

jsoar-performance-testing.5.0.1.source-code.positive_condition_leak_test.soar Maven / Gradle / Ivy

smem --set learning on

sp "propose*initialize
   (state  ^superstate nil
             -^name)
-->
   ( ^operator  +)
   ( ^name initialize)
"

sp "apply*initialize
   (state  ^operator.name initialize)
-->
   ( ^name count
        ^count.number 0)
"

sp "count*propose*increment
   (state  ^name count
              ^count.number )
-->
   ( ^operator  +)
   ( ^name increment
        ^value )
"

sp "increment*propose*add
   (state  ^name increment)
-->
   ( ^operator  +)
   ( ^name add)
"

sp "apply*add
   (state  ^operator.name add
              ^superstate )
	( ^smem.command )
   ( ^count )
   ( ^number )
-->
   ( ^count  -)
	( ^count )
	( ^number  (+  1))
   ( ^store )
"

##!
# @brief Appends the name of the selected operator that triggered us.
# @type state-elaboration
sp {elaborate*state*name
   (state  ^superstate.operator.name )
-->
   ( ^name )
}