Home
last modified time | relevance | path

Searched refs:process_datatype_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.cpp678 app * process_datatype_app(func_decl * f, unsigned num, expr * const * args) { in process_datatype_app() function
732 u = process_datatype_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.cpp677 app * process_datatype_app(func_decl * f, unsigned num, expr * const * args) { in process_datatype_app() function
731 u = process_datatype_app(f, num, args); in reduce_app()