From: Andrew J Bromage (ajb_at_[hidden])
Date: 2002-08-01 23:01:40
G'day all.
On Thu, Aug 01, 2002 at 10:55:23PM -0400, Douglas Gregor wrote:
> I see that the naming of 'indeterminate' might be an issue, then. I need the
> tribool in the domain of static analysis, where the third value means "I
> can't statically determine if this boolean value is true or false, so the
> value is indeterminate at compile-time". I'm not overly attached to the name
> 'indeterminate', and 'maybe' is a lot shorter...
Well if it's static analysis that you're doing, perhaps a better name
is "bottom".
Now that I think about it, would there be any value in a lattice type?
Cheers,
Andrew Bromage