Toggle navigation
RelationalContracts
0.2.0
Manuals
Reference
Helper functions to specify state transitions
irv_val.Rd
To be used as argument of
irv
irv_val
(
val
,
prob
)
Details
See vignette for examples
Contents