This wiki has undergone a migration to Confluence found Here
Datatypes R2 Issue 65
Revision as of 10:12, 1 June 2006 by MatthewStephens (talk | contribs)
Contents
Data Types Issue 65: IVL low/high and center/width issue
Introduction
[from Charlie]
There is an error in the abstract datatypes that is not helping us > here invariant(IVL<T> x) > where x.low.isNull.or(x.high.isNull) { > x.center.notApplicable; > }; > This cannot be true -- since center is used exactly when high and low > are unknown (ie null). I think that this should be invariant(IVL<T> > x) > where x.low.isNull.xor(x.high.isNull) { > x.center.notApplicable; > };
Discussion
Links
Back to Data Types R2 issues