Home
last modified time | relevance | path

Searched refs:has_facts (Results 1 – 10 of 10) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Drel_context.h112 bool has_facts(func_decl * pred) const override;
H A Drel_context.cpp577 bool rel_context::has_facts(func_decl * pred) const { in has_facts() function in datalog::rel_context
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Drel_context.h112 bool has_facts(func_decl * pred) const override;
H A Drel_context.cpp577 bool rel_context::has_facts(func_decl * pred) const {
/dports/math/z3/z3-z3-4.8.13/src/muz/base/
H A Ddl_context.h121 virtual bool has_facts(func_decl * pred) const = 0;
384 bool has_facts(func_decl * pred) const;
H A Ddl_context.cpp644 bool context::has_facts(func_decl * pred) const { in has_facts() function in datalog::context
645 return m_rel && m_rel->has_facts(pred); in has_facts()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/
H A Ddl_context.h121 virtual bool has_facts(func_decl * pred) const = 0;
384 bool has_facts(func_decl * pred) const;
H A Ddl_context.cpp643 bool context::has_facts(func_decl * pred) const { in has_facts() function in datalog::context
644 return m_rel && m_rel->has_facts(pred); in has_facts()
/dports/math/z3/z3-z3-4.8.13/src/muz/transforms/
H A Ddl_mk_coi_filter.cpp47 if (m_context.has_facts(decl_i)) { in bottom_up()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/transforms/
H A Ddl_mk_coi_filter.cpp47 if (m_context.has_facts(decl_i)) { in bottom_up()