| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | factor_equivs.cpp | 77 expr *choose_rep(expr_equiv_class::eq_class &clazz, ast_manager &m) { in choose_rep()
101 for (auto eq_class : equiv) { in rewrite_eqs() local
102 expr *rep = choose_rep(eq_class, m); in rewrite_eqs()
103 for (expr *el : eq_class) { in rewrite_eqs()
118 for (auto eq_class : equiv) { in equiv_to_expr() local
119 expr *rep = choose_rep(eq_class, m); in equiv_to_expr()
121 for (expr *elem : eq_class) { in equiv_to_expr()
135 for (auto eq_class : equiv) { in equiv_to_expr_full() local
136 for (auto a = eq_class.begin(), end = eq_class.end(); a != end; ++a) { in equiv_to_expr_full()
|
| H A D | factor_equivs.h | 122 class eq_class {
127 eq_class(const iterator& a, const iterator& b) : m_begin(a), m_end(b) {} in eq_class() function
144 eq_class operator*() {
145 return eq_class(iterator(m_ouf, m_rootnb, true),
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | factor_equivs.cpp | 77 expr *choose_rep(expr_equiv_class::eq_class &clazz, ast_manager &m) { in choose_rep()
101 for (auto eq_class : equiv) { in rewrite_eqs() local
102 expr *rep = choose_rep(eq_class, m); in rewrite_eqs()
103 for (expr *el : eq_class) { in rewrite_eqs()
118 for (auto eq_class : equiv) { in equiv_to_expr() local
119 expr *rep = choose_rep(eq_class, m); in equiv_to_expr()
121 for (expr *elem : eq_class) { in equiv_to_expr()
135 for (auto eq_class : equiv) { in equiv_to_expr_full() local
136 for (auto a = eq_class.begin(), end = eq_class.end(); a != end; ++a) { in equiv_to_expr_full()
|
| H A D | factor_equivs.h | 122 class eq_class {
127 eq_class(const iterator& a, const iterator& b) : m_begin(a), m_end(b) {} in eq_class() function
144 eq_class operator*() {
145 return eq_class(iterator(m_ouf, m_rootnb, true),
|
| /dports/mail/mairix/mairix-0.24/dfasyn/ |
| H A D | compdfa.c | 73 int deq_class = d->eq_class; in calculate_signatures()
89 if (aa->eq_class < bb->eq_class) { in general_compare()
91 } else if (aa->eq_class > bb->eq_class) { in general_compare()
129 seq[0]->new_eq_class = seq[0]->eq_class; in split_classes()
132 seq[i]->new_eq_class = seq[i]->eq_class; in split_classes()
134 if (seq[i]->eq_class == seq[i-1]->eq_class) { in split_classes()
203 seq[0]->eq_class = last_eq_class; in assign_initial_classes()
208 seq[i]->eq_class = ++last_eq_class; in assign_initial_classes()
211 seq[i]->eq_class = last_eq_class; in assign_initial_classes()
244 int eqc = dfa->s[i]->eq_class; in compress_states()
[all …]
|
| H A D | n2d.h | 134 int eq_class; member
|
| H A D | dfasyn.h | 224 int eq_class; member
|
| /dports/biology/py-hits/hits-0.1/hits/ |
| H A D | bus.py | 52 def __init__(self, barcode, umi, eq_class, count, flags): argument
55 self.eq_class = eq_class
68 barcode, umi, eq_class, count, flags, pad = RecordStruct.unpack(bs)
71 eq_class,
79 self.eq_class,
|
| /dports/devel/hyperscan/hyperscan-5.4.0/src/nfagraph/ |
| H A D | ng_equivalence.cpp | 350 unsigned eq_class = classes.size(); in partitionGraph() local
351 vi->equivalence_class = eq_class; in partitionGraph()
353 classinfomap.emplace(move(ci), eq_class); in partitionGraph()
356 unsigned eq_class = ii->second; in partitionGraph() local
357 vi->equivalence_class = eq_class; in partitionGraph()
358 classes.at(eq_class).insert(vi.get()); in partitionGraph()
362 work_queue.push(eq_class); in partitionGraph()
534 assert(old_vertex_info->equivalence_class == eq_class); in mergeClass()
607 new_vertex_info->equivalence_class = eq_class; in mergeClass()
622 for (unsigned eq_class = 0; eq_class < classes.size(); eq_class++) { in mergeEquivalentClasses() local
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/components/password_manager/core/browser/android_affiliation/ |
| H A D | affiliation_fetcher_unittest.cc | 169 affiliation_pb::Affiliation* eq_class = test_response.add_affiliation(); in TEST_F() local
170 eq_class->add_facet()->set_id(kExampleWebFacet1URI); in TEST_F()
171 eq_class->add_facet()->set_id(kExampleWebFacet2URI); in TEST_F()
175 affiliation_pb::Facet* android_facet = eq_class->add_facet(); in TEST_F()
208 affiliation_pb::FacetGroup* eq_class = test_response.add_group(); in TEST_F() local
211 affiliation_pb::Facet* web_facet_1 = eq_class->add_facet(); in TEST_F()
217 affiliation_pb::Facet* web_facet_2 = eq_class->add_facet(); in TEST_F()
|
| /dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
| H A D | var_eqs.h | 297 class eq_class {
301 eq_class(var_eqs& ve, signed_var v) : m_ve(ve), m_v(v) {} in eq_class() function
306 eq_class equiv_class(signed_var v) { return eq_class(*this, v); } in equiv_class()
308 eq_class equiv_class(lpvar v) { return equiv_class(signed_var(v, false)); } in equiv_class()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
| H A D | var_eqs.h | 297 class eq_class {
301 eq_class(var_eqs& ve, signed_var v) : m_ve(ve), m_v(v) {} in eq_class() function
306 eq_class equiv_class(signed_var v) { return eq_class(*this, v); } in equiv_class()
308 eq_class equiv_class(lpvar v) { return equiv_class(signed_var(v, false)); } in equiv_class()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/components/password_manager/core/browser/android_affiliation/ |
| H A D | affiliation_fetcher_unittest.cc | 176 affiliation_pb::Affiliation* eq_class = test_response.add_affiliation(); in TEST_F() local
177 eq_class->add_facet()->set_id(kExampleWebFacet1URI); in TEST_F()
178 eq_class->add_facet()->set_id(kExampleWebFacet2URI); in TEST_F()
182 affiliation_pb::Facet* android_facet = eq_class->add_facet(); in TEST_F()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/abseil-cpp/absl/types/internal/ |
| H A D | conformance_testing.h | 711 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
713 eq_class.generators); in operator()
716 eq_class.generators); in operator()
729 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
731 eq_class.generators); in operator()
734 eq_class.generators); in operator()
|
| /dports/devel/abseil/abseil-cpp-20211102.0/absl/types/internal/ |
| H A D | conformance_testing.h | 711 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
713 eq_class.generators); in operator()
716 eq_class.generators); in operator()
729 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
731 eq_class.generators); in operator()
734 eq_class.generators); in operator()
|
| /dports/www/firefox/firefox-99.0/third_party/libwebrtc/third_party/abseil-cpp/absl/types/internal/ |
| H A D | conformance_testing.h | 711 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
713 eq_class.generators); in operator()
716 eq_class.generators); in operator()
729 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
731 eq_class.generators); in operator()
734 eq_class.generators); in operator()
|
| /dports/devel/py-grpcio/grpcio-1.43.0/third_party/abseil-cpp/absl/types/internal/ |
| H A D | conformance_testing.h | 711 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
713 eq_class.generators); in operator()
716 eq_class.generators); in operator()
729 void operator()(EquivalenceClassType<Funs...> eq_class) const { in operator()
731 eq_class.generators); in operator()
734 eq_class.generators); in operator()
|
| /dports/biology/p5-BioPerl/BioPerl-1.7.7/lib/Bio/AlignIO/Handler/ |
| H A D | GenericAlignHandler.pm | 155 my $class = $data->{-seq_class} || 'Bio::LocatableSeq';
|
| /dports/multimedia/handbrake/ffmpeg-4.4/libavfilter/ |
| H A D | vf_eq.c | 384 .priv_class = &eq_class,
|
| /dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/libavfilter/ |
| H A D | vf_eq.c | 383 .priv_class = &eq_class,
|
| /dports/multimedia/ffmpeg/ffmpeg-4.4.1/libavfilter/ |
| H A D | vf_eq.c | 384 .priv_class = &eq_class,
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/ffmpeg/libavfilter/ |
| H A D | vf_eq.c | 386 .priv_class = &eq_class,
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/libavfilter/ |
| H A D | vf_eq.c | 384 .priv_class = &eq_class,
|