経験の豊富なみなさんにお伺いしたいのですが、

クラスの 全ての メンバ関数に対し、
「強い保証／基本保証 をします」
とドキュメントに記載していますか？