Changes between Version 1 and Version 2 of ContractReduction


Ignore:
Timestamp:
06/30/14 09:55:49 (12 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ContractReduction

    v1 v2  
    77`$ample{ BOOLEAN EXPRESSION }`
    88
    9     where `BOOLEAN EXPRESSION` is composed of the following functions over `f`'s arguments.
     9    where `BOOLEAN EXPRESSION` is composed of the following functions over `f`'s arguments (`a, ...`).
    1010
    1111- `$reach(a, ...)`