Home
last modified time | relevance | path

Searched refs:interval_relation (Results 1 – 14 of 14) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_interval_relation.cpp66 …interval_relation* result = dynamic_cast<interval_relation*>(p.mk_full(nullptr, get_result_signatu… in operator ()()
88 interval_relation const& r = get(_r); in operator ()()
90 …interval_relation* result = dynamic_cast<interval_relation*>(p.mk_full(nullptr, get_result_signatu… in operator ()()
110 …interval_relation* result = dynamic_cast<interval_relation*>(p.mk_full(nullptr, get_result_signatu… in operator ()()
205 interval_relation& r = get(_r); in operator ()()
241 interval_relation & pr = get(r); in operator ()()
270 interval_relation & r = get(_r); in operator ()()
317 …interval_relation::interval_relation(interval_relation_plugin& p, relation_signature const& s, boo… in interval_relation() function in datalog::interval_relation
360 interval_relation * interval_relation::clone() const { in clone()
361 … interval_relation* result = alloc(interval_relation, get_plugin(), get_signature(), empty()); in clone()
[all …]
H A Ddl_interval_relation.h31 class interval_relation; variable
45 friend class interval_relation; variable
79 static interval_relation& get(relation_base& r);
80 static interval_relation const & get(relation_base const& r);
93 class interval_relation : public vector_relation<interval> {
97 interval_relation(interval_relation_plugin& p, relation_signature const& s, bool is_empty);
101 interval_relation * clone() const override;
102 interval_relation * complement(func_decl*) const override;
H A Ddl_bound_relation.h90 static interval_relation& get_interval_relation(relation_base& r);
91 static interval_relation const& get_interval_relation(relation_base const& r);
130 void mk_union_i(interval_relation const& src, bound_relation* delta, bool is_widen);
H A Ddl_bound_relation.cpp57 interval_relation& bound_relation_plugin::get_interval_relation(relation_base& r) { in get_interval_relation()
59 return dynamic_cast<interval_relation&>(r); in get_interval_relation()
62 interval_relation const& bound_relation_plugin::get_interval_relation(relation_base const& r) { in get_interval_relation()
64 return dynamic_cast<interval_relation const&>(r); in get_interval_relation()
235 interval_relation* m_interval;
379 interval_relation& r = get_interval_relation(t); in attach()
618 …void bound_relation::mk_union_i(interval_relation const& src, bound_relation* delta, bool is_widen… in mk_union_i()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Ddl_interval_relation.cpp66 …interval_relation* result = dynamic_cast<interval_relation*>(p.mk_full(nullptr, get_result_signatu… in operator ()()
88 interval_relation const& r = get(_r); in operator ()()
90 …interval_relation* result = dynamic_cast<interval_relation*>(p.mk_full(nullptr, get_result_signatu… in operator ()()
110 …interval_relation* result = dynamic_cast<interval_relation*>(p.mk_full(nullptr, get_result_signatu… in operator ()()
205 interval_relation& r = get(_r); in operator ()()
241 interval_relation & pr = get(r); in operator ()()
270 interval_relation & r = get(_r); in operator ()()
317 …interval_relation::interval_relation(interval_relation_plugin& p, relation_signature const& s, boo… in interval_relation() function in datalog::interval_relation
360 interval_relation * interval_relation::clone() const { in clone()
361 … interval_relation* result = alloc(interval_relation, get_plugin(), get_signature(), empty()); in clone()
[all …]
H A Ddl_interval_relation.h31 class interval_relation; variable
45 friend class interval_relation; variable
79 static interval_relation& get(relation_base& r);
80 static interval_relation const & get(relation_base const& r);
93 class interval_relation : public vector_relation<interval> {
97 interval_relation(interval_relation_plugin& p, relation_signature const& s, bool is_empty);
101 interval_relation * clone() const override;
102 interval_relation * complement(func_decl*) const override;
H A Ddl_bound_relation.h90 static interval_relation& get_interval_relation(relation_base& r);
91 static interval_relation const& get_interval_relation(relation_base const& r);
131 void mk_union_i(interval_relation const& src, bound_relation* delta, bool is_widen);
H A Ddl_bound_relation.cpp57 interval_relation& bound_relation_plugin::get_interval_relation(relation_base& r) { in get_interval_relation()
59 return dynamic_cast<interval_relation&>(r); in get_interval_relation()
62 interval_relation const& bound_relation_plugin::get_interval_relation(relation_base const& r) { in get_interval_relation()
64 return dynamic_cast<interval_relation const&>(r); in get_interval_relation()
235 interval_relation* m_interval;
379 interval_relation& r = get_interval_relation(t); in attach()
618 …void bound_relation::mk_union_i(interval_relation const& src, bound_relation* delta, bool is_widen… in mk_union_i()
/dports/math/z3/z3-z3-4.8.13/src/test/
H A Ddl_relation.cpp39 interval_relation& i1 = dynamic_cast<interval_relation&>(*ip.mk_empty(sig)); in test_interval_relation()
40 interval_relation& i2 = dynamic_cast<interval_relation&>(*ip.mk_full(0, sig)); in test_interval_relation()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/
H A Ddl_relation.cpp39 interval_relation& i1 = dynamic_cast<interval_relation&>(*ip.mk_empty(sig)); in test_interval_relation()
40 interval_relation& i2 = dynamic_cast<interval_relation&>(*ip.mk_full(0, sig)); in test_interval_relation()
/dports/devel/ppl/ppl-1.2/src/
H A DBox_defs.hh2239 interval_relation(const ITV& i,
H A DBox_templates.hh645 interval_relation(const ITV& i, in interval_relation() function
915 return interval_relation(r, Constraint::EQUALITY, v); in relation_with()
982 return interval_relation(seq[c_only_var], in relation_with()
1004 return interval_relation(r, in relation_with()
4144 if (interval_relation(seq[c_only_var], c.type(), n, d) in get_limiting_box()
H A Dppl.hh.dist39235 interval_relation(const ITV& i,
88264 interval_relation(const ITV& i,
88534 return interval_relation(r, Constraint::EQUALITY, v);
88601 return interval_relation(seq[c_only_var],
88623 return interval_relation(r,
91763 if (interval_relation(seq[c_only_var], c.type(), n, d)
/dports/devel/ppl/ppl-1.2/
H A DChangeLog_2001-200814691 Redone the previous correction for the interval_relation() when
14699 Fixed a bug in the interval_relation() when the relation is an
15377 interval_relation() as there is now nothing that is unchecked.