Home
last modified time | relevance | path

Searched refs:body_fds (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_solver.cpp474 func_decl_set pattern_fds, body_fds; in add_nonlocal_pattern_literals_to_core() local
476 collect_body_func_decls(assrtn, body_fds); in add_nonlocal_pattern_literals_to_core()
479 if (!body_fds.contains(fd) && !core.contains(name)) { in add_nonlocal_pattern_literals_to_core()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_solver.cpp470 func_decl_set pattern_fds, body_fds; in add_nonlocal_pattern_literals_to_core() local
472 collect_body_func_decls(assrtn, body_fds); in add_nonlocal_pattern_literals_to_core()
475 if (!body_fds.contains(fd) && !core.contains(name)) { in add_nonlocal_pattern_literals_to_core()