yuanpeng revised this gist . Go to revision
1 file changed, 15 insertions
event_filter_snippet.py(file created)
@@ -0,0 +1,15 @@ | |||
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) |
Newer
Older