APT.Arithmetic.arithmetic.elaborations._all.soar Maven / Gradle / Ivy

Go to download

sp {elaborate*state*name
   (state  ^superstate.operator.name )
-->
   ( ^name )
}

sp {elaborate*state*top-state
   (state  ^superstate.top-state )
-->
   ( ^top-state )
}

sp {process-column*elaborate*arithmetic-problem
   (state  ^name 
              ^superstate.arithmetic-problem )
-->
   ( ^arithmetic-problem )
}

sp {process-column*elaborate*arithmetic-facts
   (state  ^name 
              ^superstate.arithmetic )
-->
   ( ^arithmetic )
}

sp {process-column*elaborate*current-column
   (state  ^name <> compute-result 
              ^superstate.arithmetic-problem )
   ( ^current-column )
-->
   ( ^current-column )
}