Searched refs:fail_buffer_ (Results 1 – 1 of 1) sorted by relevance
962 fail_buffer_(), in Search()981 fail_buffer_(), in Search()1076 jmp_buf fail_buffer_; member in operations_research::Search1108 if (setjmp(search->fail_buffer_) == 0)1110 #define CP_DO_FAIL(search) longjmp(search->fail_buffer_, 1)