Home
last modified time | relevance | path

Searched defs:CHECK_FORMULA (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/api/
H A Dapi_context.h262 #define CHECK_FORMULA(_a_, _ret_) { if (_a_ == 0 || !CHECK_REF_COUNT(_a_) || !is_bool_expr(c, _a_))… macro
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/
H A Dapi_context.h268 #define CHECK_FORMULA(_a_, _ret_) { if (_a_ == 0 || !CHECK_REF_COUNT(_a_) || !is_bool_expr(c, _a_))… macro
/dports/editors/libreoffice/libreoffice-7.2.6.2/sw/qa/extras/ooxmlexport/
H A Dooxmlexport2.cxx294 static void CHECK_FORMULA(OUString const & expected, OUString const & actual) { in CHECK_FORMULA() function
/dports/editors/libreoffice6/libreoffice-6.4.7.2/sw/qa/extras/ooxmlexport/
H A Dooxmlexport2.cxx205 static void CHECK_FORMULA(OUString const & expected, OUString const & actual) { in CHECK_FORMULA() function