Investigating Preconditions
One Point Rule: Substitute d ?{p?}for d’, removing ?
PreEnter1
d: P Person
p?: Person
?d’:P Person ? (#d <= Max ?
#d’ <= Max
#d < Max ?
p?? d ?
d’ = d ?{p?})
Previous slide
Next slide
Back to first slide
View graphic version