diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Correcting some versioning issues

Browse Source
This commit is contained in:
Theofrastos Mantadelis
2010-10-01 12:04:45 +02:00
parent b46fba7bd1
commit c1c02d1e95
5 changed files with 175 additions and 116 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
packages/ProbLog/simplecudd/general.c
View File

@@ -189,6 +189,25 @@
/* Number Handling */
int getRealNumber(char *c, double *number) {
char *unparsed_string;
errno = 0;
*number = strtod(c, &unparsed_string);
return !(errno == ERANGE || unparsed_string == c || *unparsed_string != '\0');
}
int getIntNumber(char *c, int *number) {
char *unparsed_string;
errno = 0;
long int numberl = strtol(c, &unparsed_string, 10);
*number = (int) numberl;
return !(errno == ERANGE || unparsed_string == c || *unparsed_string != '\0' || numberl > INT_MAX || numberl < INT_MIN);
}
inline int getPosNumber(char *c, int *number) {
return (getIntNumber(c, number) && *number >= 0);
}
int IsRealNumber(char *c) {
int i, l;
l = strlen(c);