07/12/01 20:09:08
>>173
つまり
S s1;
invariant S s2;
s1.foo(); //呼び出せない
s2.foo(); //呼び出せる
ということ？これなら納得できる。
07/12/01 20:09:08
>>173
つまり
S s1;
invariant S s2;
s1.foo(); //呼び出せない
s2.foo(); //呼び出せる
ということ？これなら納得できる。
07/12/01 20:09:08
>>173
つまり
S s1;
invariant S s2;
s1.foo(); //呼び出せない
s2.foo(); //呼び出せる
ということ？これなら納得できる。