Main Page Files Productions Problem Spaces Operators Goal Hierarchy Groups Prod. By Type Todo All
Path to this file:
blocks_world/
elaborations/
top-state.soar
[src]
Go to the source for this file...
elaborate*top-state*name | |
elaborate*top-state*top-state |
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 DescriptionName the (one-and-only) top-state. This rule is redundant as we do not care about states yet!
Problem Spaces: blocks_world
Sourcesp {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 DescriptionCreate a link to the top-state, not used in Blocks World.
Problem Spaces: blocks_world
Sourcesp {elaborate*top-state*top-state (state <s> ^name blocks_world) --> (<s> ^top-state <s>) } |