title Filter: Case

Filters the log based on case identifier

filter_case(eventlog, cases, reverse)

# S3 method for eventlog
filter_case(eventlog, cases = NULL, reverse = FALSE)

# S3 method for grouped_eventlog
filter_case(eventlog, cases = NULL,
  reverse = FALSE)

ifilter_case(eventlog)

Arguments

eventlog

The dataset to be used. Should be a (grouped) eventlog object.
cases

A vector of cases identifiers
reverse

Logical, indicating whether the selection should be reversed.

Value

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.

Details

The method filter_activity can be used to filter on case identifiers. It has an cases argument, to which a vector of identifiers can be given. The selection can be negated with the reverse argument.

Methods (by class)

  • eventlog: Filter for eventlogs

  • grouped_eventlog: Stratified filter for grouped eventlogs

See also

vignette("filters", "edeaR")