Filters cases using a condition
filter_case_condition(eventlog, condition, reverse)
When given an eventlog, it will return a filtered eventlog. When given a grouped eventlog, the filter will be applied in a stratified way (i.e. each separately for each group). The returned eventlog will be grouped on the same variables as the original event log.
The dataset to be used. Should be a (grouped) eventlog object.
A condition
Logical, indicating whether the selection should be reversed.
Only keeps cases if the condition is valid for at least one event.
vignette("filters", "edeaR")