Вопросы по теме 'vdm++'
Ошибка Overture: имя «BinBuilder ()» не входит в область действия
Я выполнял упражнения из книги, посвященной итеративному построению всего приложения. Написав четыре класса, я пишу пятый, который является тестом для четвертого. Однако Overture сообщает об ошибке «Имя BinBuilder () не входит в область действия»;...
154 просмотров
schedule
06.04.2024
Как использовать предварительное условие, чтобы гарантировать, что входные данные имеют тип только int
Допустим, у меня есть функция, которая возвращает меньшее из двух входных значений типа int . Я хочу установить предварительное условие, разрешающее только a и b типа int .
class Example
functions
min: int * int -> int
min(a, b) ==...
29 просмотров
schedule
04.10.2022