Home
last modified time | relevance | path

Searched refs:PARAM_CACHE_TCLAUSES (Results 1 – 5 of 5) sorted by relevance

/dports/math/yices/yices-2.6.2/src/api/
H A Dsearch_parameters.c200 PARAM_CACHE_TCLAUSES, enumerator
272 PARAM_CACHE_TCLAUSES,
566 case PARAM_CACHE_TCLAUSES: in params_set_field()
/dports/math/yices/yices-2.6.2/src/frontend/common/
H A Dparameters.h68 PARAM_CACHE_TCLAUSES, enumerator
H A Dparameters.c99 PARAM_CACHE_TCLAUSES,
/dports/math/yices/yices-2.6.2/src/frontend/yices/
H A Dyices_reval.c1302 case PARAM_CACHE_TCLAUSES: in show_param()
1648 case PARAM_CACHE_TCLAUSES: in yices_setparam_cmd()
/dports/math/yices/yices-2.6.2/src/frontend/smt2/
H A Dsmt2_commands.c4672 case PARAM_CACHE_TCLAUSES: in yices_get_option()
5239 case PARAM_CACHE_TCLAUSES: in yices_set_option()