Changes between Version 16 and Version 17 of C Interface


Ignore:
Timestamp:
06/24/10 11:15:05 (16 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • C Interface

    v16 v17  
    129129Answer: Here is a proposed list:
    130130
    131  * {{{#pragma TASS assert <TASS expression>}}}
     131 * `#pragma TASS assert <TASS expression>`
    132132   * verify that the expression is true; report an error if it is not
    133133 * {{{#pragma TASS assume <TASS expression>}}}
    … …  
    146146   * declares the following function to be abstract (a pure mathematical side-effect free function, like sin(x))
    147147
     148To combine an input with assumption:
     149{{{
     150#pragma input assume N>0 && N*N<M
     151int N;
     152}}}
     153
    148154Grammar of TASS expressions:
    149155