Fully transitive const is not necessary

[Steven Schveighoffer]

"Simen Kjaeraas" wrote
> On Wed, 02 Apr 2008 16:04:36 +0200, Steven Schveighoffer  wrote:
>
>> - a pure method cannot access the mutable portion of a logically 
>> invariant data value.
>
> Wouldn't this basically make it transitive invariant?

Yes, which makes my point :)  pure must be transitive, but const / invariant 
by itself does not need to be.

-Steve