Révision 150 pobysoC-4.0/src/pobyso.h
| pobyso.h (revision 150) | ||
|---|---|---|
| 21 | 21 |
|
| 22 | 22 |
/* Typedefs to make code more readable. */ |
| 23 | 23 |
|
| 24 |
typedef sollya_obj_t pobyso_constant_t; |
|
| 24 | 25 |
typedef sollya_obj_t pobyso_error_t; |
| 25 | 26 |
typedef sollya_obj_t pobyso_func_exp_t; |
| 26 | 27 |
typedef sollya_obj_t pobyso_on_off_t; |
| ... | ... | |
| 109 | 110 |
*@param functionSo : the function to evaluate; |
| 110 | 111 |
*@param argumentMp : the argument used for the evaluation; |
| 111 | 112 |
*@param evalutionMp: the result of the evaluation. |
| 112 |
*@retun 0 if 0K, 1 in case of a "generic" error, POBYSO_UNFAITHFULL if the |
|
| 113 |
*@return 0 if 0K, 1 in case of a "generic" error, POBYSO_UNFAITHFULL if the
|
|
| 113 | 114 |
* result is the mean of the two bound of the range encompassing it |
| 114 | 115 |
* and POBYSO_NAN if the result of the evaluation is not a number. |
| 115 | 116 |
*/ |
| ... | ... | |
| 122 | 123 |
* @return 1 if true and zero otherwise |
| 123 | 124 |
*/ |
| 124 | 125 |
int |
| 125 |
pobyso_is_constant_expression(sollya_obj_t obj_to_text);
|
|
| 126 |
pobyso_is_constant_expression(sollya_obj_t objToTestSo);
|
|
| 126 | 127 |
|
| 127 | 128 |
/** |
| 128 | 129 |
* Check if an expression is a monomial (the free variable to an integer |
| ... | ... | |
| 182 | 183 |
pobyso_func_exp_t |
| 183 | 184 |
pobyso_parse_string(const char* expression); |
| 184 | 185 |
|
| 186 |
/** Disable the console output from Sollya. |
|
| 187 |
* @return a Sollya constant holding the current verbosity level |
|
| 188 |
* when Sollya was silenced or NULL, if something goes wrong.*/ |
|
| 189 |
pobyso_constant_t |
|
| 190 |
pobyso_quiet(); |
|
| 191 |
|
|
| 185 | 192 |
/** Create a Sollya range from two MPFR bounds. |
| 186 | 193 |
* A wrapper around sollya_lib_range_from_bounds. |
| 187 | 194 |
*/ |
Formats disponibles : Unified diff