在vdm ++中生成随机数

Question

有谁知道如何在vdm ++中生成随机数？数学库对我不起作用。

Answer 1

您应该能够在VDM中使用随机生成器（VDMTools和Overture中都有）。

在Overture中，参数必须大于0并且必须设置种子，默认情况下是这样。请记住通过在资源管理器中选择项目并选择新建＆gt;添加VDM库并选择MATH来包含标准MATH库。

可以这样调用：MATH.rand(100)，它将返回0到100之间的数字。

种子可以通过MATH.srand(5)更改它返回种子集。