Home
last modified time | relevance | path

Searched refs:is_num_str (Results 1 – 5 of 5) sorted by last modified time

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtoruntrace.c237 is_num_str (const char *str) in is_num_str() function
273 if (!(tok = strtok (0, " ")) || !is_num_str (tok)) in parse_int_arg()
285 if (!(tok = strtok (0, " ")) || !is_num_str (tok) || tok[0] == '-') in parse_uint_arg()
321 if (is_num_str (tok) && tok[0] != '-') in parse_opt()
H A Dbtormbt.c1092 is_num_str (const char *str) in is_num_str() function
3972 if (!is_num_str (argv[i])) in main()
4004 if (!is_num_str (argv[i])) in main()
4013 if (!is_num_str (argv[i])) in main()
4068 else if (!is_num_str (argv[i])) in main()
/dports/audio/play/play-1.0/
H A Dplay.h55 int is_num_str(const char *);
H A DMakefile6 init_param.c is_num_str.c mixer_ctl.c play.c play_audio.c speed.c
H A Dis_num_str.c13 if (!is_num_str(arg)) { in check_numarg()
21 int is_num_str(const char *str) in is_num_str() function