Home
last modified time | relevance | path

Searched refs:visit_vars (Results 1 – 6 of 6) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/substitution/
H A Dsubstitution_tree.h117 bool visit_vars(expr * e, st_visitor & st);
H A Dsubstitution_tree.cpp731 bool substitution_tree::visit_vars(expr * e, st_visitor & st) { in visit_vars() function in substitution_tree
832 if (visit_vars<Mode>(e, st)) { in visit()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/substitution/
H A Dsubstitution_tree.h117 bool visit_vars(expr * e, st_visitor & st);
H A Dsubstitution_tree.cpp731 bool substitution_tree::visit_vars(expr * e, st_visitor & st) { in visit_vars() function in substitution_tree
832 if (visit_vars<Mode>(e, st)) { in visit()
/dports/devel/py-numba/numba-0.51.2/numba/core/
H A Dir_utils.py281 visit_vars(blocks, get_name_var_visit, namevar)
298 visit_vars(blocks, replace_name, new_namedict)
317 visit_vars(blocks, replace_var_callback, new_vardict)
333 def visit_vars(blocks, callback, cbdata): function
/dports/devel/py-numba/numba-0.51.2/numba/parfors/
H A Dparfor.py46 visit_vars,
3592 visit_vars({-1: parfor.init_block}, callback, cbdata)
3594 visit_vars(parfor.loop_body, callback, cbdata)