Filters the log based on resource identifiers
filter_resource(eventlog, resources, reverse) # S3 method for eventlog filter_resource(eventlog, resources, reverse = FALSE) # S3 method for grouped_eventlog filter_resource(eventlog, resources, reverse = FALSE) ifilter_resource(eventlog)
The dataset to be used. Should be a (grouped) eventlog object.
A vector of resources 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.
#' The method filter_resource can be used to filter on resource identifiers. It has a resources argument, to which a vector of identifiers can be given. The selection can be negated with the reverse argument.
eventlog: Filter event log
grouped_eventlog: Filter grouped event log