Main Page   Files   Productions   Problem Spaces   Operators   Goal Hierarchy   Groups   Prod. By Type   Todo   All  


top-state.soar

Path to this file:
     blocks_world/
         elaborations/
             top-state.soar [src]

Go to the source for this file...

Productions

elaborate*top-state*name  
elaborate*top-state*top-state  


Production Documentation

elaborate*top-state*name

Documented at line 11 of file top-state.soar
Defined at line 23 of file top-state.soar

Type: state-elaboration

Detailed Description

Name the (one-and-only) top-state. This rule is redundant as we do not care about states yet!

Problem Spaces: blocks_world

Source

sp {elaborate*top-state*name
  (state <s> ^superstate nil)
-->
  (<s> ^name blocks_world)
}

elaborate*top-state*top-state

Documented at line 31 of file top-state.soar
Defined at line 41 of file top-state.soar

Type: state-elaboration

Detailed Description

Create a link to the top-state, not used in Blocks World.

Problem Spaces: blocks_world

Source

sp {elaborate*top-state*top-state
  (state <s> ^name blocks_world)
-->
  (<s> ^top-state <s>)
}


Generated with SoarDoc on Mon Jan 24 15:38:25 2005 by richard