filter_resource: Filter: Resource

In gertjanssenswillen/edeaR: Exploratory and Descriptive Event-Based Data Analysis

Description

Filters the log based on resource identifiers

Usage

filter_resource(eventlog, resources, reverse)

## S3 method for class 'eventlog'
filter_resource(eventlog, resources, reverse = FALSE)

## S3 method for class 'grouped_eventlog'
filter_resource(eventlog, resources,
  reverse = FALSE)

ifilter_resource(eventlog)

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.

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.

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.

Methods (by class)

• eventlog: Filter event log

• grouped_eventlog: Filter grouped event log

See Also

vignette("filters", "edeaR")

gertjanssenswillen/edeaR documentation built on July 22, 2019, 7:08 p.m.