Operator: extract-value

Operator Overview:

This operator copies one of the time values pointed to by the superoperator and puts it onto the local state.

Operator Proposal:

It is proposed once for each time argument on the superoperator. A slightly different version is reproposed once the first one has been selected and applied. This allows the results to be returned in terms of relations between arbitrary attribute names.

Operator Application:

One attribute-value pair is copied to the state for each application.

Operator Reconsider:

Reconsidered as part of the copying process.