Re[2]: Dafny, массивы и мультимножества
От: WolfHound  
Дата: 06.05.16 15:17
Оценка:
Здравствуйте, Кодт, Вы писали:

К>А у тебя интервалы полуоткрытые или закрытые?

К>Для закрытых интервалов a[begin..mid] + a[mid..end] == a[begin..end] + a[mid], вообще-то.
Везде полуоткрытые.
Если бы были закрытые, то остальные ассерты тоже бы обломались. Вернее, дафна сказала бы что index out of range.
Дафна очень внимательная девушка. У неё не забалуешь.
... << RSDN@Home 1.2.0 alpha 5 rev. 62>>
Пусть это будет просто:
просто, как только можно,
но не проще.
(C) А. Эйнштейн
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.