random - 在 vdm++ 中生成随机数

Question

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

Answer 1

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

在 Overture 中，参数必须大于 0，并且必须设置种子，这是默认设置。请记住通过在资源管理器中选择项目并选择 New->Add VDM Library 并选择 MATH 来包含标准 MATH 库。

它可以这样调用：MATH.rand(100)它将返回一个介于 0 和 100 之间的数字。

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