Searched refs:TK_DUMP_CONTEXT (Results 1 – 4 of 4) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/frontend/yices/ |
| H A D | yices_lexer.h | 56 TK_PUSH, TK_POP, TK_RESET, TK_DUMP_CONTEXT, TK_EXIT, enumerator
|
| H A D | yices_hash_keywords.h | 281 {"dump-context", TK_DUMP_CONTEXT}, in in_yices_kw()
|
| H A D | yices_lexer.c | 170 { "dump-context", TK_DUMP_CONTEXT },
|
| /dports/math/yices/yices-2.6.2/utils/ |
| H A D | yices_input_tables.h | 238 { c1, TK_DUMP_CONTEXT, "dump_context_next_goto_r0" },
302 { c15, TK_DUMP_CONTEXT, "symbol_next_goto_r0" },
|