irv: Helper functions to specify state transitions

Description Usage Details

View source: R/irv.R

Description

To be used as argument of irv_joint_dist

Usage

1
irv(var, ..., default = NULL, lower = NULL, upper = NULL, vals.unique = TRUE)

Details

See vignette for examples


skranz/RelationalContracts documentation built on March 6, 2021, 11:54 a.m.