Searched defs:apply_subst (Results 1 – 11 of 11) sorted by relevance
| /dports/science/dynare/dynare-4.6.4/dynare++/parser/cc/ |
| H A D | atom_assignings.cc | 157 AtomAssignings::apply_subst(const AtomSubstitutions::Toldnamemap &mm) in apply_subst() function in AtomAssignings
|
| /dports/net/ns3/ns-allinone-3.35/ns-3.35/waf-tools/ |
| H A D | misc.py | 106 def apply_subst(self): function
|
| /dports/lang/ocaml/ocaml-4.05.0/typing/ |
| H A D | printtyp.ml | 233 let apply_subst s1 tyl = function
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/typing/ |
| H A D | printtyp.ml | 233 let apply_subst s1 tyl = function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | th_rewriter.cpp | 668 void apply_subst(ptr_buffer<expr>& patterns) { in apply_subst() function
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/base/ |
| H A D | dl_util.cpp | 113 void apply_subst(expr_ref_vector& tgt, expr_ref_vector const& sub) { in apply_subst() function
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | th_rewriter.cpp | 687 void apply_subst(ptr_buffer<expr>& patterns) { in apply_subst() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/ |
| H A D | dl_util.cpp | 113 void apply_subst(expr_ref_vector& tgt, expr_ref_vector const& sub) { in apply_subst() function
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/ |
| H A D | nlarith_util.cpp | 1009 void apply_subst(isubst& sub, comp c, poly const& p, app_ref& r) { in apply_subst() function in nlarith::util::imp
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/ |
| H A D | nlarith_util.cpp | 1008 void apply_subst(isubst& sub, comp c, poly const& p, app_ref& r) { in apply_subst() function in nlarith::util::imp
|
| /dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
| H A D | new_sat_solver.c | 6686 static bool apply_subst(wide_ttbl_t *norm, wide_ttbl_t *aux, in apply_subst() function
|