Re: Constructors & decorations
> From: John Pryce <j.d.pryce@xxxxxxxxxxxx>
> Subject: Constructors & decorations
> Date: Tue, 9 Feb 2010 20:21:26 +0000
> To: stds-1788@xxxxxxxxxxxxxxxxx
>
> . . .
>
>
> Whereas if it fails to construct an interval, it returns
> Empty (as Vienna proposes) and decorates it as
> - notValid
> - possiblyDefined
> - possiblyContinuous
> - possiblyBounded
>
> . . .
>
> Query 3.
> I can't see any reason why an operation should ever generate
> possiblyValid, and therefore conclude it is never used. Agreed?
>
> Regards
>
> John Pryce
This may be a bit of a topic drift but what is the difference
between Valid & Defined? Can anyone give an example of an
interval created under circumstances in which it was Valid but
notDefined? Or, vice versa?
I am inspired to ask because John gave an example just now of
something notValid but possiblyDefined.
Just curious... - Dan