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


top-state.soar

elaborations/
     top-state.soar [src]

Go to the documentation for this file...

00001 
00002 ##!
00003 # @file elaborations/top-state.soar
00004 # @brief Initialise the (one-and-only) top-state.
00005 #
00006 # @desc
00007 #   The important rule here is @ref prod:elaborate*top-state*initial-state
00008 #   .
00009 
00010 
00011 ##!
00012 # @production elaborate*top-state*name
00013 # @brief
00014 #
00015 # @desc <blockquote><i>
00016 #   Name the (one-and-only) top-state.
00017 #   This rule is redundant as we do not care about states yet!
00018 #   </i></blockquote>
00019 # @problem-space blocks_world
00020 # @type state-elaboration
00021 
00022 
00023 sp {elaborate*top-state*name
00024   (state <s> ^superstate nil)
00025 -->
00026   (<s> ^name blocks_world)
00027 }
00028 
00029 
00030 
00031 ##!
00032 # @production elaborate*top-state*top-state
00033 # @brief
00034 #
00035 # @desc <blockquote><i>
00036 #   Create a link to the top-state, not used in Blocks World.
00037 #   </i></blockquote>
00038 # @problem-space blocks_world
00039 # @type state-elaboration
00040 
00041 sp {elaborate*top-state*top-state
00042   (state <s> ^name blocks_world)
00043 -->
00044   (<s> ^top-state <s>)
00045 }
00046 

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