Learn R Programming

edeaR (version 0.8.5)

filter_trace: title Filter: Trace

Description

Filters the log based on trace id

Usage

filter_trace(eventlog, trace_ids, reverse)

Arguments

eventlog

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

trace_ids

A vector of trace 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_trace can be used to filter on trace id It has an trace_ids argument, to which a vector of identifiers can be given. The selection can be negated with the reverse argument.

See Also

vignette("filters", "edeaR")