Filters the log based on activity instance identifier
filter_activity_instance(eventlog, activity_instances, reverse)# S3 method for eventlog
filter_activity_instance(eventlog,
activity_instances = NULL, reverse = FALSE)
# S3 method for grouped_eventlog
filter_activity_instance(eventlog,
activity_instances = NULL, reverse = FALSE)
ifilter_activity_instance(eventlog)
The dataset to be used. Should be a (grouped) eventlog object.
A vector of activity instance identifiers
Logical, indicating whether the selection should be reversed.
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.
eventlog
: Filter for eventlogs
grouped_eventlog
: Stratified filter for grouped eventlogs
The method filter_activity_instance can be used to filter on activity instance identifiers. It has an activity_instances argument, to which a vector of identifiers can be given. The selection can be negated with the reverse argument.
vignette("filters", "edeaR")