[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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