Initialization of the solution
Before starting the search for the solution by the task test for
solution existence all particular objects used by the rules have
to
be prepared. These objects are represented by instances of
concrete classes parameter, constraint, and
component-<?>).
These
instances stand for real objects which are available - the
content of these instances is domain dependent. They are defined
in
the form
-
(definstances of-<class-name>
-
(<instance name> of <class name>
-
(<slot name> <slot value>)
...
)
...
)
Every instance has one slot defining name of this instance
(e.g. the slot param-name of the class
parameter). Thus, those
instances, which do not need to receive messages sent by the
send
statement, can used the function (gensym*) to generate
<instance name>. Values of slots which have default
values do not
have to
be
defined if these default values can be used.