rename_stage: Rename stage(s) in staged event tree
Description
Change the name of a stage in a staged event tree.
Usage
rename_stage(object, var, stage, new)
Arguments
var
name of a variable in object
.
stage
name of the stage to be renamed.
Value
a staged event tree object where stages stage
have been renamed to new
.
Details
No internal checks are performed and as side effect
stages can be joined, if e.g. new
is equal to the name
of a stage for variable var
.