Superspace: generator

Result type: Operator Elaboration

Problem Space Overview:

Beads through unmatched A/R relations for current word. To parallel Constraints space, augments generate-operator operator with ^annotation constraints-passed.

Problem Space Proposal:

Proposed whenever there is an operator no-change on a generate-operator that is building an empty op.

Initial state:

Shares the A/R set and ^adjacency-info with superstate.

Operators in Problem Space:

• bead
• beading-done

Search control:

Bead operators are indifferent. Beading-done is worst.

Back to the problem-space hierarchy.

This page written by Jill Fain Lehman (jef@cs.cmu.edu) and Han Ming Ong (hanming@cs.cmu.edu)

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