Problem space: Unconstraints

Operator Overview:

This operator ties up the entire beading process.

Operator Proposal:

Proposed whenever the space is unconstraints space but has worst preference.

Operator Application:

Checks that at least one bead operator has applied and if this is the case, puts ^annotation done on the state. This will cause ^annotation constraints-passed to be put on the empty-op operator. And the eventual repercussion is that the empty-op operator will be proposed in the u-construct space.

Operator Reconsider:

This is an operator in the unconstraints space, which is a response to an operator no-change impasse in the superspace. The operator that causes this impasse is an generate-operator(empty-op) operator and once this operator successfully terminates, the entire unconstraints space will disappear.

Out of date

Back to the operator hierarchy.

This page written by Han Ming Ong (hanming@cs.cmu.edu) Updated by Mark Smith