Searched refs:ctx_option_key (Results 1 – 1 of 1) sorted by relevance
7977 static const int32_t ctx_option_key[NUM_CTX_OPTIONS] = { variable7997 k = parse_as_keyword(option, ctx_option_names, ctx_option_key, NUM_CTX_OPTIONS); in yices_context_enable_option()8054 k = parse_as_keyword(option, ctx_option_names, ctx_option_key, NUM_CTX_OPTIONS); in yices_context_disable_option()