Exercises for labs week 21 -- 25 Oct

19 outubro 2019, 13:44 • Jan Gunnar Cederquist

Solve the exercise A.3.6 (Surgeon's Gloves) from the reference book.

In order to solve this task, one need to model the fact that the surgeon can wear multiple gloves at the same time. Sequences can be used for that, 'seq A' is a sequence of elements of A. One also needs to model all different events. One of those events is 'turning a glove inside out'.