event_filter_snippet.py
· 655 B · Python
原始檔案
GenerateEventsFilter(InputWorkspace=ws,
OutputWorkspace='filter',
InformationWorkspace='info',
StartTime=start_time,
StopTime=stop_time,
TimeInterval=time_interval,
TimeTolerance=time_tolerance,
UnitOfTime=unit_of_time)
FilterEvents(InputWorkspace=ws,
SplitterWorkspace='filter',
OutputWorkspaceBaseName=ws + '_filtered',
InformationWorkspace='info',
GroupWorkspaces=True,
FilterByPulseTime=True,
OutputWorkspaceIndexedFrom1=True)
| 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) |