Searched refs:TK_SET_PARAM (Results 1 – 4 of 4) sorted by relevance
/dports/math/yices/yices-2.6.2/src/frontend/yices/ |
H A D | yices_lexer.h | 57 TK_ECHO, TK_INCLUDE, TK_SHOW_MODEL, TK_EVAL, TK_SET_PARAM, enumerator
|
H A D | yices_hash_keywords.h | 275 {"set-param", TK_SET_PARAM}, in in_yices_kw()
|
H A D | yices_lexer.c | 176 { "set-param", TK_SET_PARAM },
|
/dports/math/yices/yices-2.6.2/utils/ |
H A D | yices_input_tables.h | 246 { c1, TK_SET_PARAM, "setparam_next_goto_c11" }, 308 { c15, TK_SET_PARAM, "symbol_next_goto_r0" },
|