Problem space: generator

Operator Overview:

Signals completion of u- or s- constructor to the create-operator space.

Operator Proposal:

Always proposed in the generator space, but is made worst. Consequently all possible links or fuses will be done before it is selected for application.

Operator Application:

Returns ^annotation construction-done to the walled-off top state of the create-operator space. This leads to the termination of the u- or s- constructor.

Operator Reconsider:

Upon application.

Back to the operator hierarchy.

This page written by Jill Fain Lehman (jef@cs.cmu.edu)

Updated by Julie Van Dyke (vandyke@cs.cmu.edu), August, 1997