Problem-Space: read-cdc

Result type: Operator Proposal (C,T,I)

Problem Space Overview:

The read-cdc problem space implements the determine-cdc-time and reevaluate-cdc-time tasks. This problem space returns preferences for PEACTIDM operators to the top.

Problem Space Proposal:

The problem space is proposed when there is a state no-change and the task is either of the ones listed above.

Operators in Problem Space:

• Construct Step
• Intend
• New Task