Генерация случайного числа в vdm++

Question

Кто-нибудь знает, как генерировать случайное число в vdm++? Библиотека математики не работает для меня.

Answer 1

Вы должны быть в состоянии использовать генератор случайных чисел в VDM (как в VDMTools, так и в Overture).

В Overture аргумент должен быть больше 0, и нужно установить начальное значение, которое по умолчанию. Не забудьте включить стандартную библиотеку MATH, выбрав проект в проводнике и выбрав New->Add VDM Library и выбрав MATH.

Это можно назвать так: MATH.rand(100) который вернет число от 0 до 100.

Семя может быть изменено через MATH.srand(5) он возвращает набор семян.