Home
last modified time | relevance | path

Searched refs:check_relation (Results 1 – 21 of 21) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Dcheck_relation.cpp16 …check_relation::check_relation(check_relation_plugin& p, relation_signature const& sig, relation_b… in check_relation() function in datalog::check_relation
23 check_relation::~check_relation() { in ~check_relation()
29 void check_relation::consistent_formula() { in consistent_formula()
81 bool check_relation::empty() const { in empty()
95 void check_relation::reset() { in reset()
113 check_relation * check_relation::clone() const { in clone()
123 check_relation * check_relation::complement(func_decl* f) const { in complement()
170 check_relation* result = alloc(check_relation, *this, sig, r); in mk_empty()
178 check_relation* result = alloc(check_relation, *this, s, r); in mk_full()
494 check_relation& r = get(_r); in operator ()()
[all …]
H A Dcheck_relation.h29 class check_relation; variable
31 class check_relation : public relation_base {
39 check_relation(check_relation_plugin& p, relation_signature const& s, relation_base* r);
40 ~check_relation() override;
45 check_relation * clone() const override;
46 check_relation * complement(func_decl*) const override;
61 friend class check_relation; variable
77 static check_relation& get(relation_base& r);
78 static check_relation* get(relation_base* r);
79 static check_relation const & get(relation_base const& r);
H A Drel_context.cpp593 if (m_context.check_relation() != symbol::null && in updt_params()
594 m_context.check_relation() != symbol("null")) { in updt_params()
600 relation_plugin* p2 = get_rmanager().get_relation_plugin(m_context.check_relation()); in updt_params()
605 if (m_context.check_relation() == symbol("doc")) { in updt_params()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Dcheck_relation.cpp16 …check_relation::check_relation(check_relation_plugin& p, relation_signature const& sig, relation_b… in check_relation() function in datalog::check_relation
23 check_relation::~check_relation() { in ~check_relation()
29 void check_relation::consistent_formula() { in consistent_formula()
81 bool check_relation::empty() const { in empty()
95 void check_relation::reset() { in reset()
113 check_relation * check_relation::clone() const { in clone()
123 check_relation * check_relation::complement(func_decl* f) const { in complement()
170 check_relation* result = alloc(check_relation, *this, sig, r); in mk_empty()
178 check_relation* result = alloc(check_relation, *this, s, r); in mk_full()
494 check_relation& r = get(_r); in operator ()()
[all …]
H A Dcheck_relation.h29 class check_relation; variable
31 class check_relation : public relation_base {
39 check_relation(check_relation_plugin& p, relation_signature const& s, relation_base* r);
40 ~check_relation() override;
45 check_relation * clone() const override;
46 check_relation * complement(func_decl*) const override;
61 friend class check_relation; variable
77 static check_relation& get(relation_base& r);
78 static check_relation* get(relation_base* r);
79 static check_relation const & get(relation_base const& r);
H A Drel_context.cpp593 if (m_context.check_relation() != symbol::null &&
594 m_context.check_relation() != symbol("null")) {
600 relation_plugin* p2 = get_rmanager().get_relation_plugin(m_context.check_relation());
605 if (m_context.check_relation() == symbol("doc")) {
/dports/converters/osm2pgsql/osm2pgsql-1.5.1/tests/
H A Dtest-middle.cpp740 check_relation(mid, relation30);
741 check_relation(mid, relation31);
753 check_relation(mid, relation30);
754 check_relation(mid, relation31);
771 check_relation(mid, relation31);
781 check_relation(mid, relation31);
800 check_relation(mid, relation31);
801 check_relation(mid, relation32);
811 check_relation(mid, relation31);
1097 check_relation(mid, rel30);
[all …]
/dports/astro/readosm/readosm-1.1.0a/tests/
H A Dcheck_pbf.c68 check_relation (const void *user_data, const readosm_relation * relation) in check_relation() function
94 check_relation); in main()
117 check_relation); in main()
H A Dcheck_osm.c68 check_relation (const void *user_data, const readosm_relation * relation) in check_relation() function
95 check_relation); in main()
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/
H A Dfree_regions.rs77 if self.check_relation(re_static, r_b) { in sub_free_regions()
83 self.check_relation(r_a, r_b) in sub_free_regions()
88 fn check_relation(&self, r_a: Region<'tcx>, r_b: Region<'tcx>) -> bool { in check_relation() method
/dports/net/wireshark-lite/wireshark-3.6.1/epan/dfilter/
H A Dsemcheck.c1337 check_relation(dfwork_t *dfw, const char *relation_string, in check_relation() function
1470 check_relation(dfw, "==", FALSE, ftype_can_eq, st_node, st_arg1, st_arg2); in check_test()
1473 check_relation(dfw, "!=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2); in check_test()
1476 check_relation(dfw, "~=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2); in check_test()
1479 check_relation(dfw, ">", FALSE, ftype_can_gt, st_node, st_arg1, st_arg2); in check_test()
1482 check_relation(dfw, ">=", FALSE, ftype_can_ge, st_node, st_arg1, st_arg2); in check_test()
1485 check_relation(dfw, "<", FALSE, ftype_can_lt, st_node, st_arg1, st_arg2); in check_test()
1488 check_relation(dfw, "<=", FALSE, ftype_can_le, st_node, st_arg1, st_arg2); in check_test()
1491 check_relation(dfw, "&", FALSE, ftype_can_bitwise_and, st_node, st_arg1, st_arg2); in check_test()
1497 check_relation(dfw, "matches", TRUE, ftype_can_matches, st_node, st_arg1, st_arg2); in check_test()
[all …]
/dports/net/tshark-lite/wireshark-3.6.1/epan/dfilter/
H A Dsemcheck.c1337 check_relation(dfwork_t *dfw, const char *relation_string,
1470 check_relation(dfw, "==", FALSE, ftype_can_eq, st_node, st_arg1, st_arg2);
1473 check_relation(dfw, "!=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2);
1476 check_relation(dfw, "~=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2);
1479 check_relation(dfw, ">", FALSE, ftype_can_gt, st_node, st_arg1, st_arg2);
1482 check_relation(dfw, ">=", FALSE, ftype_can_ge, st_node, st_arg1, st_arg2);
1485 check_relation(dfw, "<", FALSE, ftype_can_lt, st_node, st_arg1, st_arg2);
1488 check_relation(dfw, "<=", FALSE, ftype_can_le, st_node, st_arg1, st_arg2);
1491 check_relation(dfw, "&", FALSE, ftype_can_bitwise_and, st_node, st_arg1, st_arg2);
1497 check_relation(dfw, "matches", TRUE, ftype_can_matches, st_node, st_arg1, st_arg2);
[all …]
/dports/net/wireshark/wireshark-3.6.1/epan/dfilter/
H A Dsemcheck.c1337 check_relation(dfwork_t *dfw, const char *relation_string, in check_relation() function
1470 check_relation(dfw, "==", FALSE, ftype_can_eq, st_node, st_arg1, st_arg2); in check_test()
1473 check_relation(dfw, "!=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2); in check_test()
1476 check_relation(dfw, "~=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2); in check_test()
1479 check_relation(dfw, ">", FALSE, ftype_can_gt, st_node, st_arg1, st_arg2); in check_test()
1482 check_relation(dfw, ">=", FALSE, ftype_can_ge, st_node, st_arg1, st_arg2); in check_test()
1485 check_relation(dfw, "<", FALSE, ftype_can_lt, st_node, st_arg1, st_arg2); in check_test()
1488 check_relation(dfw, "<=", FALSE, ftype_can_le, st_node, st_arg1, st_arg2); in check_test()
1491 check_relation(dfw, "&", FALSE, ftype_can_bitwise_and, st_node, st_arg1, st_arg2); in check_test()
1497 check_relation(dfw, "matches", TRUE, ftype_can_matches, st_node, st_arg1, st_arg2); in check_test()
[all …]
/dports/net/tshark/wireshark-3.6.1/epan/dfilter/
H A Dsemcheck.c1337 check_relation(dfwork_t *dfw, const char *relation_string, in check_relation() function
1470 check_relation(dfw, "==", FALSE, ftype_can_eq, st_node, st_arg1, st_arg2); in check_test()
1473 check_relation(dfw, "!=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2); in check_test()
1476 check_relation(dfw, "~=", FALSE, ftype_can_ne, st_node, st_arg1, st_arg2); in check_test()
1479 check_relation(dfw, ">", FALSE, ftype_can_gt, st_node, st_arg1, st_arg2); in check_test()
1482 check_relation(dfw, ">=", FALSE, ftype_can_ge, st_node, st_arg1, st_arg2); in check_test()
1485 check_relation(dfw, "<", FALSE, ftype_can_lt, st_node, st_arg1, st_arg2); in check_test()
1488 check_relation(dfw, "<=", FALSE, ftype_can_le, st_node, st_arg1, st_arg2); in check_test()
1491 check_relation(dfw, "&", FALSE, ftype_can_bitwise_and, st_node, st_arg1, st_arg2); in check_test()
1497 check_relation(dfw, "matches", TRUE, ftype_can_matches, st_node, st_arg1, st_arg2); in check_test()
[all …]
/dports/devel/android-tools-fastboot/platform_system_core-platform-tools-29.0.5/extras/simpleperf/runtest/
H A Druntest.py149 def check_relation(self, call_tree): member in SymbolRelationRequirement
157 if child.check_relation(node):
541 fulfilled = req.check_relation(symbol.call_tree)
/dports/math/z3/z3-z3-4.8.13/src/muz/base/
H A Ddl_context.h250 symbol check_relation() const;
H A Dfp_params.pyg39 … ('datalog.check_relation',SYMBOL,'null', "name of default relation to check. " +
H A Ddl_context.cpp281 symbol context::check_relation() const { return m_params->datalog_check_relation(); } in check_relation() function in datalog::context
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/
H A Ddl_context.h250 symbol check_relation() const;
H A Dfp_params.pyg39 … ('datalog.check_relation',SYMBOL,'null', "name of default relation to check. " +
H A Ddl_context.cpp280 symbol context::check_relation() const { return m_params->datalog_check_relation(); } in check_relation() function in datalog::context