Home
last modified time | relevance | path

Searched refs:unsorted (Results 1 – 25 of 2673) sorted by relevance

12345678910>>...107

/dports/math/cvc4/CVC4-1.7/test/regress/regress1/fmf/
H A Dnlp042+1.smt26 (declare-fun woman ($$unsorted $$unsorted) Bool)
7 (declare-fun female ($$unsorted $$unsorted) Bool)
9 (declare-fun human_person ($$unsorted $$unsorted) Bool)
10 (declare-fun animate ($$unsorted $$unsorted) Bool)
12 (declare-fun human ($$unsorted $$unsorted) Bool)
14 (declare-fun organism ($$unsorted $$unsorted) Bool)
15 (declare-fun living ($$unsorted $$unsorted) Bool)
19 (declare-fun entity ($$unsorted $$unsorted) Bool)
80 (declare-fun of ($$unsorted $$unsorted $$unsorted) Bool)
83 (declare-fun agent ($$unsorted $$unsorted $$unsorted) Bool)
[all …]
H A Dalg202+1.smt24 (declare-sort $$unsorted 0)
5 (declare-fun sorti1 ($$unsorted) Bool)
6 (declare-fun op1 ($$unsorted $$unsorted) $$unsorted)
7 (declare-fun sorti2 ($$unsorted) Bool)
8 (declare-fun op2 ($$unsorted $$unsorted) $$unsorted)
9 (declare-fun h ($$unsorted) $$unsorted)
10 (declare-fun j ($$unsorted) $$unsorted)
11 (assert (forall ((U $$unsorted) (BOUND_VARIABLE_345 $$unsorted)) (or (not (sorti1 U)) (not (sorti1 …
12 (assert (forall ((U $$unsorted) (BOUND_VARIABLE_364 $$unsorted)) (or (not (sorti2 U)) (not (sorti2 …
15 …unsorted)) (or (not (sorti1 U)) (sorti2 (h U))) ) (forall ((V $$unsorted)) (or (not (sorti2 V)) (s…
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/ho/
H A Dshadowing-defs.smt27 (declare-fun mnot ((-> $$unsorted Bool) $$unsorted) Bool)
10 (declare-fun mor ((-> $$unsorted Bool) (-> $$unsorted Bool) $$unsorted) Bool)
11 (assert (= mor (lambda ((Phi (-> $$unsorted Bool)) (Psi (-> $$unsorted Bool)) (W $$unsorted)) (or (…
13 (declare-fun mand ((-> $$unsorted Bool) (-> $$unsorted Bool) $$unsorted) Bool)
16 (declare-fun mimplies ((-> $$unsorted Bool) (-> $$unsorted Bool) $$unsorted) Bool)
19 (declare-fun mforall_ind ((-> mu $$unsorted Bool) $$unsorted) Bool)
22 (declare-fun mbox ((-> $$unsorted $$unsorted Bool) (-> $$unsorted Bool) $$unsorted) Bool)
23 …ert (= mbox (lambda ((R (-> $$unsorted $$unsorted Bool)) (Phi (-> $$unsorted Bool)) (W $$unsorted)…
28 (declare-fun a1 ($$unsorted $$unsorted) Bool)
29 (declare-fun a2 ($$unsorted $$unsorted) Bool)
[all …]
/dports/science/bagel/bagel-1.2.2/src/util/
H A Dprim_op.h48 sorted[0] = unsorted[0]*factor; in sort_indices()
67 sorted[ib]=unsorted[iall]*factor; in sort_indices()
91 sorted[ib]=unsorted[iall]*factor; in sort_indices()
101 std::copy_n(unsorted, b*a, sorted);
113 blas::transpose(unsorted, b, a, sorted, 1.0);
126 std::copy_n(unsorted, b*a, sorted);
138 blas::transpose(unsorted, b, a, sorted, 1.0);
178 sorted[ib]=unsorted[iall]*factor; in sort_indices()
187 std::copy_n(unsorted, d*c*b, sorted);
257 std::copy_n(unsorted, d*c*b, sorted);
[all …]
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/tce/sort/
H A Dtce_sort4_jeff_goldstone.F1 subroutine tce_sort_4(unsorted,sorted,a,b,c,d, argument
11 double precision unsorted(a*b*c*d) local
110 double precision unsorted(dim1*dim2*dim3*dim4) local
142 double precision unsorted(dim1*dim2*dim3*dim4) local
172 double precision unsorted(dim1*dim2*dim3*dim4) local
204 double precision unsorted(dim1*dim2*dim3*dim4) local
236 double precision unsorted(dim1*dim2*dim3*dim4) local
268 double precision unsorted(dim1*dim2*dim3*dim4) local
300 double precision unsorted(dim1*dim2*dim3*dim4) local
332 double precision unsorted(dim1*dim2*dim3*dim4) local
[all …]
H A Dtce_sort4_jeff_torun.F2 subroutine tce_sort_4(unsorted,sorted,a,b,c,d, argument
12 double precision unsorted(a*b*c*d)
111 double precision unsorted(dim1*dim2*dim3*dim4)
222 double precision unsorted(dim1*dim2*dim3*dim4)
254 double precision unsorted(dim1*dim2*dim3*dim4)
286 double precision unsorted(dim1*dim2*dim3*dim4)
318 double precision unsorted(dim1*dim2*dim3*dim4)
350 double precision unsorted(dim1*dim2*dim3*dim4)
382 double precision unsorted(dim1*dim2*dim3*dim4)
414 double precision unsorted(dim1*dim2*dim3*dim4)
[all …]
/dports/science/nwchem-data/nwchem-7.0.2-release/src/tce/sort/
H A Dtce_sort4_jeff_goldstone.F1 subroutine tce_sort_4(unsorted,sorted,a,b,c,d, argument
11 double precision unsorted(a*b*c*d)
110 double precision unsorted(dim1*dim2*dim3*dim4)
142 double precision unsorted(dim1*dim2*dim3*dim4)
172 double precision unsorted(dim1*dim2*dim3*dim4)
204 double precision unsorted(dim1*dim2*dim3*dim4)
236 double precision unsorted(dim1*dim2*dim3*dim4)
268 double precision unsorted(dim1*dim2*dim3*dim4)
300 double precision unsorted(dim1*dim2*dim3*dim4)
332 double precision unsorted(dim1*dim2*dim3*dim4)
[all …]
H A Dtce_sort4_jeff_torun.F2 subroutine tce_sort_4(unsorted,sorted,a,b,c,d, argument
12 double precision unsorted(a*b*c*d)
111 double precision unsorted(dim1*dim2*dim3*dim4)
222 double precision unsorted(dim1*dim2*dim3*dim4)
254 double precision unsorted(dim1*dim2*dim3*dim4)
286 double precision unsorted(dim1*dim2*dim3*dim4)
318 double precision unsorted(dim1*dim2*dim3*dim4)
350 double precision unsorted(dim1*dim2*dim3*dim4)
382 double precision unsorted(dim1*dim2*dim3*dim4)
414 double precision unsorted(dim1*dim2*dim3*dim4)
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/fmf/
H A Dkrs-sat.smt25 (declare-sort $$unsorted 0)
6 (declare-fun cowlNothing ($$unsorted) Bool)
7 (declare-fun cowlThing ($$unsorted) Bool)
8 (declare-fun xsd_integer ($$unsorted) Bool)
9 (declare-fun xsd_string ($$unsorted) Bool)
10 (declare-fun _is () $$unsorted)
11 (assert (and (forall ((X $$unsorted)) (cowlThing X) ) (forall ((X $$unsorted)) (not (cowlNothing X)…
12 (assert (forall ((X $$unsorted)) (= (xsd_string X) (not (xsd_integer X))) ))
13 (assert (and (forall ((X $$unsorted)) (or (not (cowlThing X)) (= X _is)) ) (cowlThing _is)))
15 (assert (and (forall ((X $$unsorted)) (cowlThing X) ) (forall ((X $$unsorted)) (not (cowlNothing X)…
/dports/games/bzflag-server/bzflag-2.4.22/src/ogl/
H A DOpenGLGState.cxx344 unsorted.reset(); in reset()
405 unsorted.needsSorting = unsorted.hasBlending; in setBlending()
488 if (!unsorted.hasCulling || unsorted.culling != GL_BACK) in resetOpenGLState()
610 glBlendFunc(unsorted.blendSFactor, unsorted.blendDFactor); in setOpenGLState()
667 if (unsorted.culling != oldState->unsorted.culling) in setOpenGLState()
699 if (unsorted.alphaFunc != oldState->unsorted.alphaFunc || in setOpenGLState()
700 unsorted.alphaRef != oldState->unsorted.alphaRef) in setOpenGLState()
701 glAlphaFunc(unsorted.alphaFunc, unsorted.alphaRef); in setOpenGLState()
705 glAlphaFunc(unsorted.alphaFunc, unsorted.alphaRef); in setOpenGLState()
774 glBlendFunc(unsorted.blendSFactor, unsorted.blendDFactor); in setOpenGLState()
[all …]
/dports/games/bzflag/bzflag-2.4.22/src/ogl/
H A DOpenGLGState.cxx344 unsorted.reset(); in reset()
405 unsorted.needsSorting = unsorted.hasBlending; in setBlending()
488 if (!unsorted.hasCulling || unsorted.culling != GL_BACK) in resetOpenGLState()
610 glBlendFunc(unsorted.blendSFactor, unsorted.blendDFactor); in setOpenGLState()
667 if (unsorted.culling != oldState->unsorted.culling) in setOpenGLState()
699 if (unsorted.alphaFunc != oldState->unsorted.alphaFunc || in setOpenGLState()
700 unsorted.alphaRef != oldState->unsorted.alphaRef) in setOpenGLState()
701 glAlphaFunc(unsorted.alphaFunc, unsorted.alphaRef); in setOpenGLState()
705 glAlphaFunc(unsorted.alphaFunc, unsorted.alphaRef); in setOpenGLState()
774 glBlendFunc(unsorted.blendSFactor, unsorted.blendDFactor); in setOpenGLState()
[all …]
/dports/misc/p5-List-Compare/List-Compare-0.53/t/
H A D38_func_lists_alt_dual_unsorted.t27 @union = get_union( { lists => [ \@a0, \@a1 ], unsorted => 1} );
29 is_deeply(\%seen, \%pred, "unsorted: got expected union");
36 is_deeply(\%seen, \%pred, "unsorted: got expected union");
43 @shared = get_shared( { lists => [ \@a0, \@a1 ], unsorted => 1} );
45 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
52 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
77 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
84 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
103 is_deeply(\%seen, \%pred, "unsorted: got expected complement");
110 is_deeply(\%seen, \%pred, "unsorted: got expected complement");
[all …]
H A D46_func_hashes_alt_dual_unsorted.t27 @union = get_union( { lists => [ \%h0, \%h1 ], unsorted => 1} );
29 is_deeply(\%seen, \%pred, "unsorted: got expected union");
36 is_deeply(\%seen, \%pred, "unsorted: got expected union");
43 @shared = get_shared( { lists => [ \%h0, \%h1 ], unsorted => 1} );
45 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
52 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
77 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
84 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
103 is_deeply(\%seen, \%pred, "unsorted: got expected complement");
110 is_deeply(\%seen, \%pred, "unsorted: got expected complement");
[all …]
H A D48_func_hashes_alt_mult_unsorted.t29 unsorted => 1,
39 unsorted => 1,
51 unsorted => 1,
61 unsorted => 1,
73 unsorted => 1,
83 unsorted => 1,
95 unsorted => 1,
106 unsorted => 1,
124 unsorted => 1,
135 unsorted => 1,
[all …]
H A D40_func_lists_alt_mult_unsorted.t29 unsorted => 1,
39 unsorted => 1,
51 unsorted => 1,
61 unsorted => 1,
73 unsorted => 1,
83 unsorted => 1,
95 unsorted => 1,
106 unsorted => 1,
124 unsorted => 1,
135 unsorted => 1,
[all …]
H A D04_oo_lists_dual_acc_unsorted.t32 is_deeply(\%seen, \%pred, "unsorted: got expected union");
39 is_deeply(\%seen, \%pred, "unsorted: got expected union");
53 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
69 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
97 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
104 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
111 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
118 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
125 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
132 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
[all …]
H A D20_oo_hashes_dual_acc_unsorted.t32 is_deeply(\%seen, \%pred, "unsorted: got expected union");
39 is_deeply(\%seen, \%pred, "unsorted: got expected union");
53 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
69 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
97 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
104 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
111 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
118 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
125 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
132 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
[all …]
H A D10_oo_lists_alt_dual_reg_unsorted.t26 unsorted => 1,
35 is_deeply(\%seen, \%pred, "unsorted: got expected union");
42 is_deeply(\%seen, \%pred, "unsorted: got expected union");
99 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
106 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
398 unsorted => 1,
426 unsorted => 1,
442 unsorted => 1,
456 unsorted => 1,
462 unsorted => 1,
[all …]
H A D26_oo_hashes_alt_dual_reg_unsorted.t57 unsorted => 1,
66 is_deeply(\%seen, \%pred, "unsorted: got expected union");
73 is_deeply(\%seen, \%pred, "unsorted: got expected union");
130 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
137 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
429 unsorted => 1,
457 unsorted => 1,
473 unsorted => 1,
487 unsorted => 1,
493 unsorted => 1,
[all …]
H A D34_func_lists_dual_unsorted.t29 is_deeply(\%seen, \%pred, "unsorted: got expected union");
36 is_deeply(\%seen, \%pred, "unsorted: got expected union");
45 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
52 is_deeply(\%seen, \%pred, "unsorted: got expected shared");
77 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
84 is_deeply(\%seen, \%pred, "unsorted: got expected unique");
197 # Tests for --unsorted option
201 @union = get_union( '--unsorted', [ \@a0, \@a1 ] );
203 is_deeply(\%seen, \%pred, "unsorted: got expected union");
210 @unique = get_unique( '--unsorted', [ \@a0, \@a1 ] );
[all …]
/dports/devel/ptlib/ptlib-2.10.11/samples/ThreadSafe/
H A Dmain.cxx78 unsorted.RemoveAll(PTrue); in ~ThreadSafe()
155 unsorted.RemoveAll(); in Test1()
165 unsorted.DeleteObjectsToBeRemoved(); in Test1Output()
170 << ", Unsorted=" << unsorted.GetSize() in Test1Output()
218 if (random%(unsorted.GetSize()+1) == 0) in Test1Thread()
219 unsorted.Append(new TestObject(*this, random)); in Test1Thread()
234 unsorted.Remove(ptr); in Test1Thread()
250 for (ptr = unsorted; ptr != NULL; ++ptr) in Test1Thread()
296 if ( unsorted.GetSize() > 0 ) { in Test1Thread()
297 PSafePtr<TestObject> ptr2 = unsorted.GetAt(unsorted.GetSize() - 1, PSafeReadOnly); in Test1Thread()
[all …]
/dports/misc/p5-List-Compare/List-Compare-0.53/lib/List/Compare/
H A DFunctional.pm114 my ($argref, $unsorted) = _alt_construct_tester(@_);
115 $unsorted
131 my ($argref, $unsorted) = _alt_construct_tester(@_);
132 $unsorted
156 $unsorted
198 $unsorted
231 my ($argref, $unsorted) = _alt_construct_tester(@_);
232 $unsorted
261 $unsorted
279 $unsorted
[all …]
/dports/databases/cayley/cayley-0.7.5-2-gcf576ba/vendor/go4.org/sort/
H A Dsort_test.go175 for i := range unsorted {
181 copy(data, unsorted)
197 copy(data, unsorted)
217 copy(data, unsorted)
235 copy(data, unsorted)
259 unsorted[i] = i ^ 0x2cc
263 copy(data, unsorted)
274 unsorted[i] = i ^ 0x2cc
278 copy(data, unsorted)
293 unsorted[i] = i ^ 0x2cc
[all …]
/dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/gitlab.com/gitlab-org/gitaly/v14/_support/git-patches/
H A D0003-connected-do-not-sort-input-revisions.patch66 +--unsorted-input::
71 --no-walk[=(sorted|unsorted)]::
80 + `--unsorted-input` if `sorted` or no argument was given.
92 + strvec_push(&rev_list.args, "--unsorted-input");
104 + } else if (!strcmp(arg, "--unsorted-input")) {
134 + git rev-list --unsorted-input HEAD HEAD~ >first &&
135 + git rev-list --unsorted-input HEAD~ HEAD >second &&
144 + fatal: --no-walk is incompatible with --unsorted-input
150 + test_must_fail git rev-list --unsorted-input --no-walk=unsorted HEAD 2>error &&
154 + fatal: --unsorted-input is incompatible with --no-walk
[all …]
/dports/textproc/gitlab-elasticsearch-indexer/gitlab-elasticsearch-indexer-ef1440548effec15831eda2d246dacc43233cefb/vendor/gitlab.com/gitlab-org/gitaly/v14/_support/git-patches/
H A D0003-connected-do-not-sort-input-revisions.patch66 +--unsorted-input::
71 --no-walk[=(sorted|unsorted)]::
80 + `--unsorted-input` if `sorted` or no argument was given.
92 + strvec_push(&rev_list.args, "--unsorted-input");
104 + } else if (!strcmp(arg, "--unsorted-input")) {
134 + git rev-list --unsorted-input HEAD HEAD~ >first &&
135 + git rev-list --unsorted-input HEAD~ HEAD >second &&
144 + fatal: --no-walk is incompatible with --unsorted-input
150 + test_must_fail git rev-list --unsorted-input --no-walk=unsorted HEAD 2>error &&
154 + fatal: --unsorted-input is incompatible with --no-walk
[all …]

12345678910>>...107