Home
last modified time | relevance | path

Searched refs:get_union_decl (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_mk_explanations.h75 static func_decl * get_union_decl(context & ctx);
76 func_decl * get_union_decl() const { in get_union_decl() function
77 return get_union_decl(m_context); in get_union_decl()
H A Ddl_mk_explanations.cpp70 m_union_decl(mk_explanations::get_union_decl(get_context()), get_ast_manager()) {} in explanation_relation_plugin()
639 func_decl * mk_explanations::get_union_decl(context & ctx) { in get_union_decl() function in datalog::mk_explanations
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Ddl_mk_explanations.h75 static func_decl * get_union_decl(context & ctx);
76 func_decl * get_union_decl() const { in get_union_decl() function
77 return get_union_decl(m_context); in get_union_decl()
H A Ddl_mk_explanations.cpp70 m_union_decl(mk_explanations::get_union_decl(get_context()), get_ast_manager()) {} in explanation_relation_plugin()
639 func_decl * mk_explanations::get_union_decl(context & ctx) { in get_union_decl() function in datalog::mk_explanations