Home
last modified time | relevance | path

Searched refs:PSEUDO_INVERSE_OPTION_MASK (Results 1 – 2 of 2) sorted by relevance

/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_utils.h446 ctx->options |= PSEUDO_INVERSE_OPTION_MASK; in enable_pseudo_inverse_simplification()
450 ctx->options &= ~PSEUDO_INVERSE_OPTION_MASK; in disable_pseudo_inverse_simplification()
523 return (ctx->options & PSEUDO_INVERSE_OPTION_MASK) != 0; in context_pseudo_inverse_enabled()
H A Dcontext_types.h141 #define PSEUDO_INVERSE_OPTION_MASK 0x1000 macro
150 BVARITHELIM_OPTION_MASK|BREAKSYM_OPTION_MASK|PSEUDO_INVERSE_OPTION_MASK|\