Searched refs:TK_CHECK_ASSUMING (Results 1 – 4 of 4) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/frontend/yices/ |
| H A D | yices_lexer.h | 55 TK_DEFINE_TYPE, TK_DEFINE, TK_ASSERT, TK_CHECK, TK_CHECK_ASSUMING, enumerator
|
| H A D | yices_hash_keywords.h | 296 {"check-assuming", TK_CHECK_ASSUMING}, in in_yices_kw()
|
| H A D | yices_lexer.c | 166 { "check-assuming", TK_CHECK_ASSUMING },
|
| /dports/math/yices/yices-2.6.2/utils/ |
| H A D | yices_input_tables.h | 234 { c1, TK_CHECK_ASSUMING, "check_assuming_next_goto_c16" },
298 { c15, TK_CHECK_ASSUMING, "symbol_next_goto_r0" },
|