Searched refs:TK_SET_TIMEOUT (Results 1 – 4 of 4) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/frontend/yices/ |
| H A D | yices_lexer.h | 59 TK_SET_TIMEOUT, TK_SHOW_TIMEOUT, TK_HELP, TK_EF_SOLVE, enumerator
|
| H A D | yices_hash_keywords.h | 129 {"set-timeout", TK_SET_TIMEOUT}, in in_yices_kw()
|
| H A D | yices_lexer.c | 181 { "set-timeout", TK_SET_TIMEOUT },
|
| /dports/math/yices/yices-2.6.2/utils/ |
| H A D | yices_input_tables.h | 252 { c1, TK_SET_TIMEOUT, "settimeout_next_goto_c14" },
313 { c15, TK_SET_TIMEOUT, "symbol_next_goto_r0" },
|