Last active 1732209811

Revision 5ccb3410f5ab53dc29daab31d36e8f77aed2b50c

event_filter_snippet.py Raw
1GenerateEventsFilter(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)
9FilterEvents(InputWorkspace=ws,
10 SplitterWorkspace='filter',
11 OutputWorkspaceBaseName=ws + '_filtered',
12 InformationWorkspace='info',
13 GroupWorkspaces=True,
14 FilterByPulseTime=True,
15 OutputWorkspaceIndexedFrom1=True)