Searched refs:vars_out (Results 1 – 6 of 6) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
| H A D | nra_plugin_internal.c | 36 nra_plugin_get_term_variables(nra, arith_atom_arg(terms, atom), vars_out); in nra_plugin_get_constraint_variables()
39 nra_plugin_get_term_variables(nra, composite_term_arg(terms, atom, 0), vars_out); in nra_plugin_get_constraint_variables()
40 nra_plugin_get_term_variables(nra, composite_term_arg(terms, atom, 1), vars_out); in nra_plugin_get_constraint_variables()
43 nra_plugin_get_term_variables(nra, arith_root_atom_desc(terms, atom)->p, vars_out); in nra_plugin_get_constraint_variables()
59 nra_plugin_get_term_variables(nra, constraint, vars_out); in nra_plugin_get_constraint_variables()
60 int_mset_add(vars_out, variable_db_get_variable(nra->ctx->var_db, constraint)); in nra_plugin_get_constraint_variables()
65 void nra_plugin_get_term_variables(nra_plugin_t* nra, term_t t, int_mset_t* vars_out) { in nra_plugin_get_term_variables() argument
99 int_mset_add(vars_out, var); in nra_plugin_get_term_variables()
105 int_mset_add(vars_out, var); in nra_plugin_get_term_variables()
116 int_mset_add(vars_out, var); in nra_plugin_get_term_variables()
[all …]
|
| H A D | nra_plugin_internal.h | 134 void nra_plugin_get_term_variables(nra_plugin_t* nra, term_t t, int_mset_t* vars_out);
140 void nra_plugin_get_constraint_variables(nra_plugin_t* nra, term_t c, int_mset_t* vars_out);
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ppapi/proxy/ |
| H A D | ppb_var_unittest.cc | 102 PP_Var* vars_out, in CreateVarThreadDelegate() argument
106 vars_out_(vars_out), in CreateVarThreadDelegate()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ppapi/proxy/ |
| H A D | ppb_var_unittest.cc | 102 PP_Var* vars_out, in CreateVarThreadDelegate() argument
106 vars_out_(vars_out), in CreateVarThreadDelegate()
|
| /dports/math/py-flax/flax-0.3.3/flax/core/ |
| H A D | lift.py | 604 vars_out = repack_fn(scope)
605 return y, vars_out
611 vars_out = repack_fn(scope)
612 return (y, vars_out), (res, grad_variables)
|
| /dports/math/yices/yices-2.6.2/src/mcsat/bv/ |
| H A D | bv_plugin.c | 378 …ified_term_subvariables(bv_plugin_t* bv, term_t constraint, int_mset_t* vars_out, uint64_t bump_am… in bv_plugin_get_notified_term_subvariables() argument
563 int_mset_add(vars_out, t_var); in bv_plugin_get_notified_term_subvariables()
|