| 1 | GenerateEventsFilter(InputWorkspace=ws, |
| 2 | OutputWorkspace='filter', |
| 3 | InformationWorkspace='info', |
| 4 | StartTime=start_time, |
| 5 | StopTime=stop_time, |
| 6 | TimeInterval=time_interval, |
| 7 | TimeTolerance=time_tolerance, |
| 8 | UnitOfTime=unit_of_time) |
| 9 | FilterEvents(InputWorkspace=ws, |
| 10 | SplitterWorkspace='filter', |
| 11 | OutputWorkspaceBaseName=ws + '_filtered', |
| 12 | InformationWorkspace='info', |
| 13 | GroupWorkspaces=True, |
| 14 | FilterByPulseTime=True, |
| 15 | OutputWorkspaceIndexedFrom1=True) |
yuanpeng / event_filter_snippet.py
Last active 2 months ago