Learn R Programming

edeaR (version 0.8.6)

filter_resource: Filter: Resource

Description

Filters the log based on resource identifiers

Usage

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)

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.

Arguments

eventlog

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

resources

A vector of resources identifiers

reverse

Logical, indicating whether the selection should be reversed.

Methods (by class)

  • eventlog: Filter event log

  • grouped_eventlog: Filter grouped event log

Details

#' 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.

See Also

vignette("filters", "edeaR")