Walden Mathews wrote:
>How about this:
>
>The post-condition of a (successful) credit card transaction
>is that your loan balance is increased and your available credit
>is decreased, both by the transaction amount.
>
>
>
If post-conditions are conditions, then there are 2 post-conditions
here, which could be stated as:
1) the increase in the loan balance is equal to the transaction amount
2) the decrease in the available credit is equal to the transaction amount.
(and which could be conjoined into a single post-condition, if you prefer).
There are also two effects:
a) the loan balance has been increased (by the transaction amount, as it
happens)
b) the available credit has been decreased (also by the transaction
amount, as it happens).
Jeff