Home
last modified time | relevance | path

Searched refs:SPLX_EQPROP_OPTION_MASK (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_types.h157 #define SPLX_EQPROP_OPTION_MASK 0x4000000 macro
H A Dcontext_utils.h559 return (ctx->options & SPLX_EQPROP_OPTION_MASK) != 0; in splx_eqprop_enabled()
H A Dcontext.c4965 ctx->options |= SPLX_EQPROP_OPTION_MASK; in enable_splx_eqprop()
4972 ctx->options &= ~SPLX_EQPROP_OPTION_MASK; in disable_splx_eqprop()