1
A
答えて
1
Dafny内の文字列を更新する方法はありません:元の文字列は次のように文字列の値を更新するための最良の方法は何
method caesar(s:string, index:int)
//apply caesar
を返さなければなりません。 Strings are representedとしてseq<char>
であり、配列はDafnyに不変である。変更不可能とは、シーケンスが値であり変更できないことを意味します。
in place manipulationを行う必要がある場合は、代わりにarray<char>
を使用できます。
あなたがnew sequenceを返すことができる場合は行うことができます
var s' := s[i := e];
return s';
関連する問題
- 1. ArrayListを文字列に変換する最も良い方法
- 2. 文字列から文字列を構築する最も良い方法
- 3. dynamoDBの列のタイプを変更する最も良い方法
- 4. 月の文字列をMFCのintに変換する最も良い方法
- 5. PHP:datetimeを文字列に変換する最も良い方法は?
- 6. Pythonで文字列を整数に変換する最も良い方法
- 7. Cの最後のドットの文字列を壊す最も良い方法#
- 8. dbのメールリストを更新する最も良い方法
- 9. 私の更新ループを「スプライス」する最も良い方法は?
- 10. PHP配列内の文字列を見つける最も良い方法は?
- 11. 新しい列を追加する最も良い方法
- 12. クッキーを更新する最も良い方法は?
- 13. CFアプリケーション、dbとサーバーコードを更新する最も良い方法
- 14. AngularJS - $ルートパラメータを更新する最も良い方法
- 15. (Dafny) - ループ不変
- 16. テキスト中の特殊文字列を検索する最も良い方法
- 17. VBAの文字列を比較する最も良い方法は?
- 18. 文字列を単語の塊に分割する最も良い方法は?
- 19. 文字列の配列をCの配列に変換する最も良い方法
- 20. 長い文字列から文字列を解析する最も良い方法は何ですか?
- 21. 文字列をインクリメントする最も良い方法は何ですか?[jQuery]
- 22. Javascript:連想配列を文字列に変換し、後で逆に変換する最も良い方法は?
- 23. 文字列を整数列に変更する最も簡潔な方法
- 24. 文字列をPHPでUnicode文字の配列に分割する最も良い方法は何ですか?
- 25. 文字列または文字配列のインデックスを取得する最も良い方法は何ですか?
- 26. JSON文字列をJavaオブジェクトにデコードする最も良い方法は?
- 27. sqliteデータベースで行を変更する最も良い方法
- 28. libxml2でノード値を変更する最も良い方法
- 29. あるサイトから新しいサイトにリダイレクトしてクエリ文字列を追加する最も良い方法
- 30. 文字列大文字 - 良い方法