在vdm++中生成随机数

Question

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

Answer 1

你应该能够在VDM中使用随机生成器(在VDMTools和序曲中)。

在Overture中，参数必须大于0，并且必须设置种子，这是默认设置。记住要包括标准数学库，方法是在资源管理器中选择项目，然后选择New->Add VDM Library并选择MATH。

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

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