Свързани въпроси 'preconditions'
Как да използвате предварително условие, за да гарантирате, че входовете са само от тип int
Да кажем, че имам функция, която връща по-малката от две входни стойности от тип int . Искам да задам предварителното условие да разрешавам само a и b от тип int .
class Example
functions
min: int * int -> int
min(a, b) ==
if...
29 изгледи
schedule
04.10.2022