| /dports/math/polymake/polymake-4.5/bundled/nauty/apps/graph/src/ |
| H A D | GraphIso.cc | 125 std::fill(p_impl->partitions.get(), p_impl->partitions.get() + p_impl->n-1, 1); in partition()
128 p_impl->partitions[p_impl->n-1] = 0; in partition()
140 …nauty(p_impl->src_graph.get(), p_impl->canon_labels.get(), p_impl->partitions.get(), nullptr, p_im… in finalize()
141 … &p_impl->options, &stats, workspace, worksize, p_impl->m, p_impl->n, p_impl->canon_graph.get()); in finalize()
147 if (p_impl->n != g2.p_impl->n) return false; in operator ==()
148 …nauty_set *cg1=p_impl->canon_graph.get(), *cg1_end=cg1+p_impl->n*p_impl->m, *cg2=g2.p_impl->canon_… in operator ==()
182 lab1_end = p_impl->canon_labels.get() + p_impl->n; in find_permutations()
194 …std::fill(p_impl->partitions.get()+p_impl->n_colored, p_impl->partitions.get()+p_impl->n_colored+c… in next_color()
195 p_impl->partitions[p_impl->n_colored+c.first-1] = 0; in next_color()
202 …std::copy(g1.p_impl->partitions.get(), g1.p_impl->partitions.get() + g1.p_impl->n, p_impl->partiti… in copy_colors()
[all …]
|
| /dports/math/polymake/polymake-4.5/bundled/bliss/apps/graph/src/ |
| H A D | GraphIso.cc | 109 if (p_impl->digraph) { in add_edge()
120 c.second = p_impl->n_colors++; in next_color()
129 if (p_impl->digraph) { in set_node_color()
142 p_impl->set_color(0U, int(at), 0U); in partition()
143 p_impl->set_color(int(at), p_impl->src_graph->get_nof_vertices(), 1U); in partition()
164 p_impl->canon_graph = p_impl->src_graph->permute(perm); in finalize()
170 if (p_impl->digraph != g2.p_impl->digraph) in operator ==()
173 if (!p_impl->canon_graph) in operator ==()
175 if (!g2.p_impl->canon_graph) in operator ==()
177 if (p_impl->digraph) { in operator ==()
[all …]
|
| /dports/math/zarray/zarray-0.1.0/include/zarray/ |
| H A D | zarray.hpp | 182 : p_impl(std::move(impl)) in zarray()
188 p_impl = std::move(impl); in operator =()
193 : p_impl(rhs.p_impl->clone()) in zarray()
202 if (p_impl->is_chunked()) in operator =()
218 : p_impl(std::move(rhs.p_impl)) in zarray()
267 std::swap(p_impl, rhs.p_impl); in swap()
272 return *p_impl; in get_implementation()
277 return *p_impl; in get_implementation()
305 return p_impl->shape(); in shape()
310 p_impl->reshape(shape); in reshape()
[all …]
|
| H A D | zchunked_iterator.hpp | 57 implementation_ptr p_impl; member in xt::zchunked_iterator
124 : p_impl(new zchunked_iterator_wrapper<std::decay_t<It>>(std::forward<It>(iter))) in zchunked_iterator()
129 : p_impl(rhs.p_impl->clone()) in zchunked_iterator()
136 tmp.p_impl.swap(p_impl); in operator =()
141 : p_impl(std::move(rhs.p_impl)) in zchunked_iterator()
147 rhs.p_impl.swap(p_impl); in operator =()
153 p_impl->increment(); in operator ++()
159 return p_impl->get_slice_vector(); in get_slice_vector()
164 return p_impl->get_chunk_slice_vector(); in get_chunk_slice_vector()
170 const auto& impl = static_cast<const zchunked_iterator_wrapper<It>&>(*p_impl); in get_xchunked_iterator()
[all …]
|
| /dports/print/scribus-devel/scribus-1.5.7/scribus/text/ |
| H A D | shapedtext.cpp | 85 return p_impl != nullptr && p_impl->m_source != nullptr; in isValid()
91 ShapedText::ShapedText(const ShapedText& other) : p_impl(other.p_impl) {} in ShapedText()
93 bool ShapedText::needsContext() const { return p_impl->m_needsContext; } in needsContext()
94 void ShapedText::needsContext(bool b) { p_impl->m_needsContext = b; } in needsContext()
95 const ITextSource* ShapedText::source() const { return p_impl->m_source; } in source()
96 int ShapedText::firstChar() const { return p_impl->m_firstChar; } in firstChar()
97 int ShapedText::lastChar() const { return p_impl->m_lastChar; } in lastChar()
99 QList<GlyphCluster>& ShapedText::glyphs() { return p_impl->m_glyphs; } in glyphs()
102 ShapedText ShapedText::split(int pos) { return p_impl->split(pos); } in split()
103 bool ShapedText::canCombine(const ShapedText& other) const { return p_impl->canCombine(other.p_impl… in canCombine()
[all …]
|
| H A D | shapedtextcache.cpp | 80 ShapedTextCache::ShapedTextCache() : p_impl(new ShapedTextCacheImplementation()) {} in ShapedTextCache()
83 { return p_impl->contains(charPos, len); } in contains()
86 { return p_impl->get(charPos, minLen); } in get()
89 { p_impl->put(txt); } in put()
92 { p_impl->clear(charPos, len); } in clear()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_hash_table_put/ |
| H A D | aws_hash_table_put_harness.c | 16 map.p_impl->destroy_key_fn = nondet_bool() ? NULL : hash_proof_destroy_noop; in aws_hash_table_put_harness()
17 map.p_impl->destroy_value_fn = nondet_bool() ? NULL : hash_proof_destroy_noop; in aws_hash_table_put_harness()
18 map.p_impl->equals_fn = uninterpreted_equals_assert_inputs_nonnull; in aws_hash_table_put_harness()
19 map.p_impl->hash_fn = uninterpreted_hasher; in aws_hash_table_put_harness()
20 map.p_impl->alloc = aws_default_allocator(); in aws_hash_table_put_harness()
29 struct hash_table_state old_state = *map.p_impl; in aws_hash_table_put_harness()
34 assert(map.p_impl->entry_count == old_state.entry_count + was_created); in aws_hash_table_put_harness()
37 map.p_impl->entry_count == old_state.entry_count || in aws_hash_table_put_harness()
38 map.p_impl->entry_count == old_state.entry_count + 1); in aws_hash_table_put_harness()
41 assert(map.p_impl->entry_count == old_state.entry_count); in aws_hash_table_put_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_hash_table_remove/ |
| H A D | aws_hash_table_remove_harness.c | 15 map.p_impl->destroy_key_fn = nondet_bool() ? NULL : hash_proof_destroy_noop; in aws_hash_table_remove_harness()
16 map.p_impl->destroy_value_fn = nondet_bool() ? NULL : hash_proof_destroy_noop; in aws_hash_table_remove_harness()
17 map.p_impl->equals_fn = uninterpreted_equals_assert_inputs_nonnull; in aws_hash_table_remove_harness()
18 map.p_impl->hash_fn = uninterpreted_hasher; in aws_hash_table_remove_harness()
19 map.p_impl->alloc = aws_default_allocator(); in aws_hash_table_remove_harness()
29 struct hash_table_state old_state = *map.p_impl; in aws_hash_table_remove_harness()
40 assert(map.p_impl->entry_count == old_state.entry_count - was_present); in aws_hash_table_remove_harness()
43 map.p_impl->entry_count == old_state.entry_count || in aws_hash_table_remove_harness()
44 map.p_impl->entry_count == old_state.entry_count - 1); in aws_hash_table_remove_harness()
51 assert(map.p_impl->entry_count == old_state.entry_count); in aws_hash_table_remove_harness()
|
| /dports/devel/R-cran-later/later/src/ |
| H A D | timestamp.h | 18 std::shared_ptr<const TimestampImpl> p_impl;
26 return p_impl->future(); in future()
31 return p_impl->less(other.p_impl.get());
34 return p_impl->greater(other.p_impl.get());
39 return p_impl->diff_secs(other.p_impl.get()); in diff_secs()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_hash_table_create/ |
| H A D | aws_hash_table_create_harness.c | 15 map.p_impl->equals_fn = uninterpreted_equals_assert_inputs_nonnull; in aws_hash_table_create_harness()
16 map.p_impl->hash_fn = uninterpreted_hasher; in aws_hash_table_create_harness()
17 map.p_impl->alloc = aws_default_allocator(); in aws_hash_table_create_harness()
27 struct hash_table_state old_state = *map.p_impl; in aws_hash_table_create_harness()
33 assert(map.p_impl->entry_count == old_state.entry_count + was_created); in aws_hash_table_create_harness()
36 map.p_impl->entry_count == old_state.entry_count || in aws_hash_table_create_harness()
37 map.p_impl->entry_count == old_state.entry_count + 1); in aws_hash_table_create_harness()
44 assert(map.p_impl->entry_count == old_state.entry_count); in aws_hash_table_create_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/stubs/ |
| H A D | aws_hash_table_no_slots_override.c | 23 return map && map->p_impl; in aws_hash_table_is_valid()
39 if (iter->limit != iter->map->p_impl->entry_count) { in aws_hash_iter_is_valid()
68 map->p_impl = malloc(sizeof(struct hash_table_state)); in make_hash_table_with_no_backing_store()
69 __CPROVER_assume(map->p_impl != NULL); in make_hash_table_with_no_backing_store()
70 __CPROVER_assume(map->p_impl->entry_count <= max_table_entries); in make_hash_table_with_no_backing_store()
79 struct hash_table_state *state = map->p_impl; in aws_hash_table_clear()
97 struct hash_table_state *state = map->p_impl; in aws_hash_table_put()
159 const struct hash_table_state *const state = map->p_impl; in aws_hash_table_find()
185 rval.limit = map->p_impl->entry_count; in aws_hash_iter_begin()
232 iter->map->p_impl->entry_count > 0, in aws_hash_iter_delete()
[all …]
|
| H A D | aws_hash_iter_overrides.c | 41 rval.limit = map->p_impl->size; in aws_hash_iter_begin()
89 rval.map->p_impl->entry_count = iter->map->p_impl->entry_count; in aws_hash_iter_delete()
90 if (rval.map->p_impl->entry_count) in aws_hash_iter_delete()
91 rval.map->p_impl->entry_count--; in aws_hash_iter_delete()
|
| /dports/math/openturns/openturns-1.18/python/src/ |
| H A D | BaseFuncCollection.i | 27 OT::FunctionImplementation * p_impl = reinterpret_cast< OT::FunctionImplementation * >(ptr);
28 return p_impl != NULL;
46 OT::FunctionImplementation * p_impl = reinterpret_cast< OT::FunctionImplementation * >(ptr);
47 return *p_impl;
80 OT::BasisImplementation * p_impl = reinterpret_cast< OT::BasisImplementation * >(ptr);
81 return p_impl != NULL;
100 OT::BasisImplementation * p_impl = reinterpret_cast< OT::BasisImplementation * >(ptr);
101 return *p_impl;
|
| H A D | Domain.i | 17 OT::DomainImplementation * p_impl = reinterpret_cast<OT::DomainImplementation * >(ptr); variable
18 $1 = new OT::Domain(*p_impl);
22 OT::MeshDomain * p_impl = new OT::MeshDomain(*p_mesh); variable
23 $1 = new OT::Domain(*p_impl);
|
| H A D | IntersectionEvent.i | 25 …OT::RandomVectorImplementation * p_impl = reinterpret_cast< OT::RandomVectorImplementation * >(ptr…
26 return p_impl != NULL;
42 …OT::RandomVectorImplementation * p_impl = reinterpret_cast< OT::RandomVectorImplementation * >(ptr…
43 return *p_impl;
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_hash_iter_delete/ |
| H A D | aws_hash_iter_delete_harness.c | 16 …__CPROVER_assume(map.p_impl->destroy_key_fn == hash_proof_destroy_noop || !map.p_impl->destroy_key… in aws_hash_iter_delete_harness()
17 …__CPROVER_assume(map.p_impl->destroy_value_fn == hash_proof_destroy_noop || !map.p_impl->destroy_v… in aws_hash_iter_delete_harness()
22 struct hash_table_state *state = map.p_impl; in aws_hash_iter_delete_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/source/ |
| H A D | hash_table.c | 93 struct hash_table_state *state = tbl->p_impl;
160 struct hash_table_state *state = map->p_impl; in aws_hash_table_get_entry_count()
238 map->p_impl = s_alloc_state(&template); in aws_hash_table_init()
240 if (!map->p_impl) { in aws_hash_table_init()
261 aws_mem_release(map->p_impl->alloc, map->p_impl); in aws_hash_table_clean_up()
263 map->p_impl = NULL; in aws_hash_table_clean_up()
264 AWS_POSTCONDITION(map->p_impl == NULL); in aws_hash_table_clean_up()
504 map->p_impl = new_state; in s_expand_table()
546 state = map->p_impl; in aws_hash_table_create()
866 iter->map->p_impl->entry_count > 0, in aws_hash_iter_delete()
[all …]
|
| H A D | logging.c | 60 .p_impl = NULL,
67 struct aws_logger_pipeline *impl = logger->p_impl; in s_aws_logger_pipeline_owned_clean_up()
97 struct aws_logger_pipeline *impl = logger->p_impl; in s_aws_logger_pipeline_log()
124 struct aws_logger_pipeline *impl = logger->p_impl; in s_aws_logger_pipeline_get_log_level()
130 struct aws_logger_pipeline *impl = logger->p_impl; in s_aws_logger_pipeline_set_log_level()
200 logger->p_impl = impl; in aws_logger_init_standard()
264 logger->p_impl = impl; in aws_logger_init_from_external()
441 struct aws_logger_noalloc *impl = logger->p_impl; in s_noalloc_stderr_logger_get_log_level()
487 struct aws_logger_noalloc *impl = logger->p_impl; in s_noalloc_stderr_logger_log()
505 struct aws_logger_noalloc *impl = logger->p_impl; in s_noalloc_stderr_logger_clean_up()
[all …]
|
| /dports/comms/gnuradio/gnuradio-3.8.4.0/gnuradio-runtime/include/gnuradio/ |
| H A D | thrift_application_base.h | 186 static boost::scoped_ptr<thrift_application_base_impl> p_impl; variable
216 if (!p_impl->d_application_initialized) { in start_application()
217 p_impl->d_start_thrift_thread.reset((new gr::thread::thread( in start_application()
234 p_impl->d_application_initialized = true; in start_application()
243 ep.push_back(p_impl->d_endpointStr); in endpoints()
252 p_impl->d_endpointStr = endpoint; in set_endpoint()
258 if (!p_impl->d_application_initialized) { in i()
|
| /dports/devel/godot/godot-3.2.3-stable/modules/gdnative/net/ |
| H A D | webrtc_gdnative.cpp | 41 …_bind_webrtc_peer_connection(godot_object *p_obj, const godot_net_webrtc_peer_connection *p_impl) { in godot_net_bind_webrtc_peer_connection() argument
43 ((WebRTCPeerConnectionGDNative *)p_obj)->set_native_webrtc_peer_connection(p_impl); in godot_net_bind_webrtc_peer_connection()
47 …ot_net_bind_webrtc_data_channel(godot_object *p_obj, const godot_net_webrtc_data_channel *p_impl) { in godot_net_bind_webrtc_data_channel() argument
49 ((WebRTCDataChannelGDNative *)p_obj)->set_native_webrtc_data_channel(p_impl); in godot_net_bind_webrtc_data_channel()
|
| H A D | packet_peer_gdnative.cpp | 40 void PacketPeerGDNative::set_native_packet_peer(const godot_net_packet_peer *p_impl) { in set_native_packet_peer() argument
41 interface = p_impl; in set_native_packet_peer()
69 void GDAPI godot_net_bind_packet_peer(godot_object *p_obj, const godot_net_packet_peer *p_impl) { in godot_net_bind_packet_peer() argument
71 ((PacketPeerGDNative *)p_obj)->set_native_packet_peer(p_impl); in godot_net_bind_packet_peer()
|
| /dports/devel/godot-tools/godot-3.2.3-stable/modules/gdnative/net/ |
| H A D | webrtc_gdnative.cpp | 41 …_bind_webrtc_peer_connection(godot_object *p_obj, const godot_net_webrtc_peer_connection *p_impl) { in godot_net_bind_webrtc_peer_connection() argument
43 ((WebRTCPeerConnectionGDNative *)p_obj)->set_native_webrtc_peer_connection(p_impl); in godot_net_bind_webrtc_peer_connection()
47 …ot_net_bind_webrtc_data_channel(godot_object *p_obj, const godot_net_webrtc_data_channel *p_impl) { in godot_net_bind_webrtc_data_channel() argument
49 ((WebRTCDataChannelGDNative *)p_obj)->set_native_webrtc_data_channel(p_impl); in godot_net_bind_webrtc_data_channel()
|
| H A D | packet_peer_gdnative.cpp | 40 void PacketPeerGDNative::set_native_packet_peer(const godot_net_packet_peer *p_impl) { in set_native_packet_peer() argument
41 interface = p_impl; in set_native_packet_peer()
69 void GDAPI godot_net_bind_packet_peer(godot_object *p_obj, const godot_net_packet_peer *p_impl) { in godot_net_bind_packet_peer() argument
71 ((PacketPeerGDNative *)p_obj)->set_native_packet_peer(p_impl); in godot_net_bind_packet_peer()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/tests/logging/ |
| H A D | test_logger.c | 44 struct test_logger_impl *impl = (struct test_logger_impl *)logger->p_impl; in s_test_logger_log()
63 struct test_logger_impl *impl = (struct test_logger_impl *)logger->p_impl; in s_test_logger_get_log_level()
69 struct test_logger_impl *impl = (struct test_logger_impl *)logger->p_impl; in s_test_logger_clean_up()
78 struct test_logger_impl *impl = (struct test_logger_impl *)logger->p_impl; in s_test_logger_set_log_level()
114 logger->p_impl = impl; in test_logger_init()
120 struct test_logger_impl *impl = (struct test_logger_impl *)logger->p_impl; in test_logger_get_contents()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_hash_table_eq/ |
| H A D | aws_hash_table_eq_harness.c | 15 map_a.p_impl->equals_fn = uninterpreted_equals_assert_inputs_nonnull; in aws_hash_table_eq_harness()
16 map_a.p_impl->hash_fn = uninterpreted_hasher; in aws_hash_table_eq_harness()
23 map_b.p_impl->equals_fn = uninterpreted_equals_assert_inputs_nonnull; in aws_hash_table_eq_harness()
24 map_b.p_impl->hash_fn = uninterpreted_hasher; in aws_hash_table_eq_harness()
|