TapeRecordingStrategy
Strategy for recording operations and traces onto an execution tape.
Inheritors
Functions
Link copied to clipboard
Records a RecordedOperation into the provided target list.
Link copied to clipboard
Records an OpTrace into the provided target list.