R/helper.R
id_to_run.Rd
Convert run ID values to run names
id_to_run(run_ids, id_max = NULL)
Integer vector with the run IDs
Largest value for run IDs (defines the number of leading zeros)
An character vector with the run names
if (FALSE) { # \dontrun{ run_sel <- c(1,36, 598, 2311) id_to_run(run_sel) } # }