Я получаю глупую ошибку в VDM++ ToolBox Academic. Когда я пытаюсь запустить операцию, я получаю эту ошибку: Run-Time Error 280: No constructor with this parameter list is in scope value: "Game" Мой конструктор: public Game: Date * Team...

Я реализовал генератор случайных чисел в vdm++. Но я хотел, чтобы сид был временем часов с компьютера. Кто-нибудь знает, есть ли функция vdm++, эквивалентная функции С++ time(NULL) ? Спасибо.

Я работаю над некоторыми логическими выражениями. Я хочу объединить 2 выражения в одно, но не знаю, как это сделать. Я использую VDM Overture Tool . Я смотрю на набор из 5 температур. Кому-то больше 400, кому-то меньше и т. Мое первое...

Я читаю руководство по языку VDM++. Мой вопрос в том, что в некоторых случаях он использует ";" в конце утверждения и где-то в том же утверждении он не использует «;». Ниже приведен пример public Top : () ==> Elem Top() == return (hd...

Пример 1 forall x,y in set {1,…,5} & X <> y => not m.temps(x) = m.temps(y) Пример 2 exists i,j in set inds m.temps & i <> j and m.temps(i) > 400 and m.temps(j) > 400 Что означает ‹> в этих предложениях?

Скажем, я хотел округлить действительное число до натурального, как мне это сделать в VDM++? В библиотеке MATH нет такой функции. Спасибо, Рикардо.

Я получаю это предупреждение, когда пытаюсь использовать чистую операцию для двух первых элементов последовательности. Код выглядит примерно так: class A functions public func: Seq -> bool func(sq) == ( (hd sq).pureOperation() inter...