| Select your answer and click
the button below: |
|
|
| Question10: |
 |
|
| |
C = ♥; C2 = ♠; S = < ♥, ♠, ♦, ♣>; |
|
| |
Operation ServeCards (updates S: Stack;
replaces C: Card
replaces C2: Card
);
|
| |
requires: |S| >= 2;
ensures: <C2> o <C> o S = #S;
|
| |
|
| |
After ServeCards executes the values are:: |
|
| |
|
| |
C = ♥; C2 = ♠; S = <♦, ♣>;
C = ♠; C2 = ♥; S = <♥, ♣, ♦, ♠>;
C = ♥; C2 = ♥; S = <♥, ♥, ♠, ♦, ♣>;
C = ♠; C2 = ♥; S = <♦, ♣>;
|
| |
|
| |
|
|
|
|
|