07/12/01 19:54:15
>>170
"invariantな型に対してしか呼び出せない"というのはどういうこと？
invariant void foo()があることでSのメンバ変数がすべてinvariantになるという認識は間違いでしょうか。
07/12/01 19:54:15
>>170
"invariantな型に対してしか呼び出せない"というのはどういうこと？
invariant void foo()があることでSのメンバ変数がすべてinvariantになるという認識は間違いでしょうか。