Home
last modified time | relevance | path

Searched refs:in_order (Results 1 – 25 of 385) sorted by relevance

12345678910>>...16

/dports/math/eprover/eprover-E-2.0/PCL2/
H A Dpcl_protocol.c70 handle->in_order = PStackAlloc(); in PCLProtAlloc()
108 PStackFree(junk->in_order); in PCLProtFree()
222 PStackReset(prot->in_order); in PCLProtSerialize()
227 PStackPushP(prot->in_order, step); in PCLProtSerialize()
312 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtPrintExtra()
314 step = PStackElementP(prot->in_order, i); in PCLProtPrintExtra()
434 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtResetTreeData()
436 step = PStackElementP(prot->in_order, i); in PCLProtResetTreeData()
538 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtMarkProofClauses()
540 step = PStackElementP(prot->in_order, i); in PCLProtMarkProofClauses()
[all …]
H A Dpcl_analysis.c205 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtProofDistance()
207 step = PStackElementP(prot->in_order, i); in PCLProtProofDistance()
317 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtUpdateGRefs()
319 step = PStackElementP(prot->in_order, i); in PCLProtUpdateGRefs()
349 qsort(prot->in_order->stack, in PCLProtSelectExamples()
350 PStackGetSP(prot->in_order), in PCLProtSelectExamples()
353 for(i=0; (i<PStackGetSP(prot->in_order))&&(neg_examples>0); i++) in PCLProtSelectExamples()
355 step = PStackElementP(prot->in_order, i); in PCLProtSelectExamples()
H A Dpcl_lemmas.c253 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtUpdateRefs()
255 step = PStackElementP(prot->in_order, i); in PCLProtUpdateRefs()
422 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtComputeProofSize()
424 step = PStackElementP(prot->in_order, i); in PCLProtComputeProofSize()
513 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtComputeLemmaWeights()
515 step = PStackElementP(prot->in_order, i); in PCLProtComputeLemmaWeights()
556 for(i=0; i<PStackGetSP(prot->in_order); i++) in PCLProtSeqFindLemmas()
558 step = PStackElementP(prot->in_order, i); in PCLProtSeqFindLemmas()
640 PStackSort(prot->in_order, PCLStepLemmaCmpWrapper); in PCLProtFlatFindLemmas()
642 max_number = MIN(max_number, PStackGetSP(prot->in_order)); in PCLProtFlatFindLemmas()
[all …]
/dports/math/maxima/maxima-5.43.2/tests/
H A Drtest1.mac569 (kill(in_order, exactly_1),
575 exactly_1 (in_order(a, b, c), in_order(a, c, b), in_order(b, a, c),
576 in_order(b, c, a), in_order(c, a, b), in_order(c, b, a));
579 exactly_1 (in_order(q, r, s), in_order(q, s, r), in_order(r, q, s),
580 in_order(r, s, q), in_order(s, q, r), in_order(s, r, q));
583 exactly_1 (in_order(l[1], l[2], l[3]), in_order(l[1], l[3], l[2]), in_order(l[2], l[1], l[3]),
584 in_order(l[2], l[3], l[1]), in_order(l[3], l[1], l[2]), in_order(l[3], l[2], l[1]));
592 exactly_1 (in_order(a, b, c), in_order(a, c, b), in_order(b, a, c),
593 in_order(b, c, a), in_order(c, a, b), in_order(c, b, a));
599 exactly_1 (in_order(a, b, c), in_order(a, c, b), in_order(b, a, c),
[all …]
/dports/archivers/dpkg/dpkg-1.19.7/scripts/Dpkg/Control/
H A DHashCore.pm114 in_order => [],
351 @keys = @{$$self->{in_order}};
496 push @{$self->[1]->{in_order}}, field_capitalize($key);
510 my $in_order = $parent->{in_order};
514 @{$in_order} = grep { lc ne $key } @{$in_order};
524 foreach my $key (@{$parent->{in_order}}) {
533 foreach my $key (@{$parent->{in_order}}) {
/dports/sysutils/boxbackup-devel/boxbackup-0.11_trunk_2979/bin/bbackupquery/
H A Dmakedocumentation.pl51 my @in_order;
60 push @in_order,$section;
89 for(@in_order)
102 for(@in_order)
H A Dmakedocumentation.pl.in9 my @in_order;
18 push @in_order,$section;
47 for(@in_order)
60 for(@in_order)
/dports/cad/gnucap/gnucap-2013-04-23/apps/
H A Dmeasure_slewrate.cc92 if (in_order(val, double(start_val), double(stop_val))) { in eval()
99 if (in_order(val, double(start_val), double(stop_val))) { in eval()
101 }else if (in_order(double(start_val), val, double(stop_val))) { in eval()
106 }else if (in_order(double(start_val), double(stop_val), val)) { in eval()
118 if (in_order(val, double(start_val), double(stop_val))) { in eval()
121 }else if (in_order(double(start_val), val, double(stop_val))) { in eval()
123 }else if (in_order(double(start_val), double(stop_val), val)) { in eval()
/dports/math/cgal/CGAL-5.3/include/CGAL/Box_intersection_d/
H A Dsegment_tree.h91 bool in_order = true )
115 if( in_order )
132 bool in_order = true )
153 if( in_order )
173 if( in_order )
326 std::ptrdiff_t cutoff, int dim, bool in_order) in segment_tree() argument
367 callback, traits, dim, in_order ); in segment_tree()
376 callback, traits, dim, in_order ); in segment_tree()
402 callback, traits, dim, in_order ); in segment_tree()
412 callback, traits, cutoff, dim, in_order ); in segment_tree()
[all …]
/dports/net-p2p/c-lightning/lightning-0.10.2/ccan/ccan/strmap/test/
H A Drun-prefix.c9 static bool in_order(const char *index, char *value, unsigned int *count) in in_order() function
64 strmap_iterate(sub, in_order, &i); in main()
70 strmap_iterate(sub, in_order, &i); in main()
76 strmap_iterate(sub, in_order, &i); in main()
H A Drun-order.c8 static bool in_order(const char *member, char *value, unsigned int *count) in in_order() function
59 strmap_iterate(&map, in_order, &i); in main()
85 strmap_iterate(&map, in_order, &i); in main()
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/src/objtools/blast/seqdb_reader/
H A Dseqdbcommon.cpp951 if (in_order) { in SeqDB_ReadMemoryGiList()
972 *in_order = in_gi_order; in SeqDB_ReadMemoryGiList()
1031 if (in_order) { in SeqDB_ReadMemoryPigList()
1052 *in_order = sorted; in SeqDB_ReadMemoryPigList()
1200 if (in_order) { in SeqDB_ReadMemoryTiList()
1229 if (in_order) { in SeqDB_ReadMemoryTiList()
1321 if (in_order) *in_order = false; in SeqDB_ReadMemorySiList()
1373 if (in_order) *in_order = false; in SeqDB_ReadMemoryMixList()
1480 *in_order = true; in SeqDB_ReadSiList()
1669 bool in_order = false; in CSeqDBFileGiList() local
[all …]
/dports/biology/ncbi-blast+/ncbi-blast-2.12.0+-src/c++/src/objtools/blast/seqdb_reader/
H A Dseqdbcommon.cpp951 if (in_order) { in SeqDB_ReadMemoryGiList()
972 *in_order = in_gi_order; in SeqDB_ReadMemoryGiList()
1031 if (in_order) { in SeqDB_ReadMemoryPigList()
1052 *in_order = sorted; in SeqDB_ReadMemoryPigList()
1200 if (in_order) { in SeqDB_ReadMemoryTiList()
1229 if (in_order) { in SeqDB_ReadMemoryTiList()
1321 if (in_order) *in_order = false; in SeqDB_ReadMemorySiList()
1373 if (in_order) *in_order = false; in SeqDB_ReadMemoryMixList()
1480 *in_order = true; in SeqDB_ReadSiList()
1669 bool in_order = false; in CSeqDBFileGiList() local
[all …]
/dports/devel/p5-libxml-enno/libxml-enno-1.02/lib/XML/XQL/
H A DDirXQL.pm300 for my $attrName ($self->in_order)
353 my @in_order = $self->in_order;
354 splice @in_order, $order, 1;
357 for (my $i = 0; $i < @in_order; $i++)
361 $self->{'@IN_ORDER'} = \@in_order;
377 my @in_order = $self->in_order;
379 if $hash{Order} >= @in_order;
383 push @in_order, $name;
387 splice @in_order, $hash{Order}, 0, $name;
392 for (my $i = 0; $i < @in_order; $i++)
[all …]
/dports/textproc/p5-XML-XQL/XML-XQL-0.68/lib/XML/XQL/
H A DDirXQL.pm300 for my $attrName ($self->in_order)
353 my @in_order = $self->in_order;
354 splice @in_order, $order, 1;
357 for (my $i = 0; $i < @in_order; $i++)
361 $self->{'@IN_ORDER'} = \@in_order;
377 my @in_order = $self->in_order;
379 if $hash{Order} >= @in_order;
383 push @in_order, $name;
387 splice @in_order, $hash{Order}, 0, $name;
392 for (my $i = 0; $i < @in_order; $i++)
[all …]
/dports/math/onednn/oneDNN-2.5.1/src/sycl/
H A Dsycl_stream.cpp31 if ((flags() & stream_flags::in_order) == 0 in init()
49 ::sycl::property_list props = (flags() & stream_flags::in_order) in init()
51 property_list {::sycl::property::queue::in_order {}} in init()
/dports/deskutils/calibre/calibre-src-5.34.0/src/calibre/utils/fonts/sfnt/
H A Dcmap.py29 in_order = None
38 if in_order is None or not in_order:
39 in_order = 1
42 if in_order:
43 in_order = 0
50 if in_order:
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/mkldnn/src/sycl/
H A Dsycl_stream.cpp31 if ((flags() & stream_flags::in_order) == 0 in init()
49 cl::sycl::property_list props = (flags() & stream_flags::in_order) in init()
51 in_order {}} in init()
/dports/www/firefox-legacy/firefox-52.8.0esr/media/webrtc/trunk/webrtc/video_engine/
H A Dvie_receiver.cc265 bool in_order = IsPacketInOrder(header); in OnRecoveredPacket() local
266 return ReceivePacket(rtp_packet, rtp_packet_length, header, in_order); in OnRecoveredPacket()
330 bool in_order = IsPacketInOrder(header); in InsertRTPPacket() local
332 int ret = ReceivePacket(rtp_packet, rtp_packet_length, header, in_order) in InsertRTPPacket()
339 header, rtp_packet_length, IsPacketRetransmitted(header, in_order)); in InsertRTPPacket()
346 bool in_order) { in ReceivePacket() argument
359 payload_specific, in_order); in ReceivePacket()
544 bool in_order) const { in IsPacketRetransmitted()
555 return !in_order && in IsPacketRetransmitted()
/dports/multimedia/v4l_compat/linux-5.13-rc2/tools/testing/selftests/timers/
H A Dnanosleep.c80 static inline int in_order(struct timespec a, struct timespec b) in in_order() function
114 if (!in_order(target, now)) in nanosleep_test()
126 if (!in_order(target, now)) in nanosleep_test()
/dports/multimedia/libv4l/linux-5.13-rc2/tools/testing/selftests/timers/
H A Dnanosleep.c80 static inline int in_order(struct timespec a, struct timespec b) in in_order() function
114 if (!in_order(target, now)) in nanosleep_test()
126 if (!in_order(target, now)) in nanosleep_test()
/dports/devel/pylint/pylint-2.12.1/pylint/lint/
H A Dreport_functions.py30 in_order = sorted(
35 in_order.reverse()
37 for value, msg_id in in_order:
/dports/multimedia/v4l-utils/linux-5.13-rc2/tools/testing/selftests/timers/
H A Dnanosleep.c80 static inline int in_order(struct timespec a, struct timespec b) in in_order() function
114 if (!in_order(target, now)) in nanosleep_test()
126 if (!in_order(target, now)) in nanosleep_test()
/dports/math/stanmath/math-4.2.0/stan/math/opencl/
H A Dmatrix_cl.hpp261 opencl_context.in_order() || std::is_rvalue_reference<Vec&&>::value, in matrix_cl()
518 template <bool in_order = false>
529 opencl_context.in_order() || in_order, 0, in initialize_buffer()
538 template <bool in_order = false>
554 buffer_cl_, opencl_context.in_order() || in_order, 0, in initialize_buffer()
/dports/biology/ncbi-cxx-toolkit/ncbi_cxx--25_2_0/include/objtools/blast/seqdb_reader/
H A Dseqdbcommon.hpp1155 bool * in_order = 0);
1174 bool * in_order = 0);
1193 bool * in_order = 0);
1216 bool * in_order);
1222 bool * in_order = 0);
1282 bool * in_order = 0);
1299 bool * in_order = 0);
1317 bool * in_order,
1338 bool * in_order);
1343 bool * in_order = 0);
[all …]

12345678910>>...16