Random 在vdm+中生成随机数+；
有人知道如何在vdm++中生成随机数吗？数学图书馆不适合我 您应该能够在VDM中使用随机生成器（在VDMTools和Overture中） 在序曲中，参数必须大于0，并且必须设置种子，这是默认设置。请记住，通过在资源管理器中选择项目并新建->添加VDM库并选择“数学”来包括标准数学库 它可以这样调用：Random 在vdm+中生成随机数+；,random,vdm++,Random,Vdm++,有人知道如何在vdm++中生成随机数吗？数学图书馆不适合我 您应该能够在VDM中使用随机生成器（在VDMTools和Overture中） 在序曲中，参数必须大于0，并且必须设置种子，这是默认设置。请记住，通过在资源管理器中选择项目并新建->添加VDM库并选择“数学”来包括标准数学库 它可以这样调用：MATH.rand（100），它将返回一个介于0和100之间的数字 种子可以通过MATH.srand（5）更改，它返回种子集。您应该能够在VDM中使用随机生成器（在VDMTools和Overture中
MATH.rand（100）种子可以通过
MATH.srand（5）MATH.rand（100）MATH.srand（5）