Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/tactic/core/
H A Delim_uncnstr_tactic.cpp272 app * process_basic_app(func_decl * f, unsigned num, expr * const * args) { in process_basic_app() function
724 u = process_basic_app(f, num, args); in reduce_app()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/
H A Delim_uncnstr_tactic.cpp271 app * process_basic_app(func_decl * f, unsigned num, expr * const * args) { in process_basic_app() function
723 u = process_basic_app(f, num, args); in reduce_app()