Searched defs:subst_val (Results 1 – 6 of 6) sorted by relevance
| /dports/misc/wmweather+/wmweather+-2.18/ |
| H A D | subst.h | 4 struct subst_val { struct
21 char *subst(const char *s, struct subst_val *substitutes); argument
|
| /dports/math/z3/z3-z3-4.8.13/src/math/dd/ |
| H A D | dd_pdd.h | 366 …pdd subst_val(vector<std::pair<unsigned, rational>> const& s) const { return m.subst_val(*this, s)… in subst_val() function
367 pdd subst_val(unsigned v, rational const& val) const { return m.subst_val(*this, v, val); } in subst_val() function
|
| H A D | dd_pdd.cpp | 116 pdd pdd_manager::subst_val(pdd const& p, unsigned v, rational const& val) { in subst_val() function in dd::pdd_manager
166 pdd pdd_manager::subst_val(pdd const& p, vector<std::pair<unsigned, rational>> const& _s) { in subst_val() function in dd::pdd_manager
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/dd/ |
| H A D | dd_pdd.h | 355 …pdd subst_val(vector<std::pair<unsigned, rational>> const& s) const { return m.subst_val(*this, s)… in subst_val() function
|
| H A D | dd_pdd.cpp | 112 pdd pdd_manager::subst_val(pdd const& p, vector<std::pair<unsigned, rational>> const& _s) { in subst_val() function in dd::pdd_manager
|
| /dports/math/gretl/gretl-2021d/lib/src/ |
| H A D | genfuncs.c | 8183 static double subst_val (double x, const double *x0, int n0, in subst_val() function
|