
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 )
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy