Skip to contents

Convert run ID values to run names

Source: R/helper.R
id_to_run.Rd

Convert run ID values to run names

Usage

id_to_run(run_ids, id_max = NULL)

Arguments

run_ids

Integer vector with the run IDs

id_max

Largest value for run IDs (defines the number of leading zeros)

Value

An character vector with the run names

Examples

if (FALSE) {
run_sel <- c(1,36, 598, 2311)
id_to_run(run_sel)
}