Tests on tree expressions of level 1
- Function: bool ap_texpr1_equal (ap_texpr1_t* e1, ap_texpr1_t* e2)
- Structural (recursive) equality
- Function: bool ap_texpr1_has_var (ap_texpr1_t* e, ap_var_t var)
- Return true if variable var appears in the expression.
The next functions classifies tree expressions.
- Function: bool ap_texpr1_is_interval_cst (ap_texpr1_t* e)
- No variable, only constant leaves
- Function: bool ap_texpr1_is_interval_linear (ap_texpr1_t* e)
- Linear with possibly interval coefficients, no rounding
- Function: bool ap_texpr1_is_interval_polynomial (ap_texpr1_t* e)
- Polynomial with possibly interval coefficients, no rounding
- Function: bool ap_texpr1_is_interval_polyfrac (ap_texpr1_t* e)
- Polynomial fraction with possibly interval coefficients, no rounding
- Function: bool ap_texpr1_is_scalar (ap_texpr1_t* e)
- All coefficients are scalar (non-interval)@end deftypefun
This document was generated
on September, 10 2009
using texi2html