| 652 | int stringbufpos; |
| 653 | |
| 654 | bool parseInt(const char* text, int& value) { |
| 655 | long int result = strtol(text,NULL,0); |
| 656 | if ( (result == LONG_MAX || result == LONG_MIN) && errno == ERANGE ) |
| 657 | return false; |
| 658 | if (result < Gecode::Int::Limits::min || result > Gecode::Int::Limits::max) |
| 659 | return false; |
| 660 | value = static_cast<int>(result); |
| 661 | return true; |
| 662 | } |
| 663 | |
| 664 | int yy_input_proc(char* buf, int size, yyscan_t yyscanner); |
| 665 | #define YY_INPUT(buf, result, max_size) \ |