Searched refs:CTX_OPTION_FLATTEN (Results 1 – 1 of 1) sorted by relevance
7947 CTX_OPTION_FLATTEN, enumerator7983 CTX_OPTION_FLATTEN,8011 case CTX_OPTION_FLATTEN: in yices_context_enable_option()8068 case CTX_OPTION_FLATTEN: in yices_context_disable_option()