Home
last modified time | relevance | path

Searched refs:dist_array (Results 1 – 25 of 50) sorted by relevance

12

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausefeatures.c132 dist_array[i] = 0; in ClauseCountExtSymbols()
134 ClauseAddSymbolDistribution(clause, dist_array); in ClauseCountExtSymbols()
143 SizeFree(dist_array, (sig->f_count+1)*sizeof(long)); in ClauseCountExtSymbols()
191 PDArrayAssignInt(dist_array, -(term->f_code), count); in TermAddVarDistribution()
241 local = EqnAddVarDistribution(list, dist_array); in EqnListAddVarDistribution()
264 PDArray_p dist_array = PDIntArrayAlloc(20,20); in ClauseCountVariableSet() local
272 if(PDArrayElementInt(dist_array, i)) in ClauseCountVariableSet()
277 PDArrayFree(dist_array); in ClauseCountVariableSet()
297 PDArray_p dist_array = PDIntArrayAlloc(20,20); in ClauseCountSingletonSet() local
305 if(PDArrayElementInt(dist_array, i)==1) in ClauseCountSingletonSet()
[all …]
H A Dche_clausefeatures.h46 FunCode TermAddVarDistribution(Term_p term, PDArray_p dist_array);
47 FunCode EqnAddVarDistribution(Eqn_p eqn, PDArray_p dist_array);
48 FunCode EqnListAddVarDistribution(Eqn_p list, PDArray_p dist_array);
49 #define ClauseAddVarDistribution(clause, dist_array)\ argument
50 EqnListAddVarDistribution((clause)->literals, (dist_array))
H A Dche_fcode_featurearrays.c106 long *dist_array= SizeMalloc(array_size); in FCodeFeatureArrayAlloc() local
117 dist_array[i] = 0; in FCodeFeatureArrayAlloc()
121 ClauseSetAddSymbolDistribution(axioms, dist_array); in FCodeFeatureArrayAlloc()
128 handle->array[i].freq = dist_array[i]; in FCodeFeatureArrayAlloc()
134 SizeFree(dist_array, array_size); in FCodeFeatureArrayAlloc()
/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_f_generality.c84 dist->dist_array[i].term_freq += factor*dist->f_distrib[i]; in gd_merge_single_res()
85 dist->dist_array[i].fc_freq+=factor; in gd_merge_single_res()
201 &(generality->dist_array[i])); in compute_d_rel()
278 handle->dist_array = SecureMalloc(handle->size*sizeof(FunGenCell)); in GenDistribAlloc()
282 init_fun_gen_cell(&(handle->dist_array[i]), i); in GenDistribAlloc()
305 FREE(junk->dist_array); in GenDistribFree()
332 gd->dist_array = SecureRealloc(gd->dist_array, new_size*sizeof(FunGenCell)); in GenDistribSizeAdjust()
335 init_fun_gen_cell(&(gd->dist_array[i]), i); in GenDistribSizeAdjust()
537 dist->dist_array[i].f_code, in GenDistPrint()
538 dist->dist_array[i].term_freq, in GenDistPrint()
[all …]
/dports/graphics/freeimage/FreeImage/Source/LibWebP/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/multimedia/gstreamer1-plugins-rust/gst-plugins-rs-d0466b3eee114207f851b37cae0015c0e718f021/cargo-crates/libwebp-sys2-0.1.2/c_src/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/devel/godot-tools/godot-3.2.3-stable/thirdparty/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/devel/godot/godot-3.2.3-stable/thirdparty/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/security/keybase/client-v5.7.1/shared/ios/Pods/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/www/firefox/firefox-99.0/media/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/graphics/webp/libwebp-1.2.1/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/www/gohugo/hugo-0.91.2/vendor/github.com/bep/gowebp/libwebp_src/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/devel/godot2/godot-2.1.6-stable/thirdparty/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/devel/godot2-tools/godot-2.1.6-stable/thirdparty/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/graphics/opencv/opencv-4.5.3/3rdparty/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/www/zola/zola-0.15.2/cargo-crates/libwebp-sys-0.2.0/vendor/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted.
261 manager->dist_array_ = dist_array;
566 uint16_t* const dist_array) {
604 dist_array[0] = 0;
689 static void TraceBackwards(uint16_t* const dist_array,
693 uint16_t* path = dist_array + dist_array_size;
694 uint16_t* cur = dist_array + dist_array_size - 1;
695 while (cur >= dist_array) {
771 uint16_t* dist_array =
774 if (dist_array == NULL) goto Error;
[all …]
/dports/graphics/urho3d/Urho3D-1.7.1/Source/ThirdParty/WebP/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/graphics/dssim/dssim-3.1.2/cargo-crates/libwebp-sys2-0.1.2/c_src/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/graphics/qt5-imageformats/kde-qtimageformats-5.15.2p3/src/3rdparty/libwebp/src/enc/
H A Dbackward_references_cost_enc.c139 dist_array[idx] = 1; // only one is inserted. in AddSingleLiteralWithCostModel()
261 manager->dist_array_ = dist_array; in CostManagerInit()
566 uint16_t* const dist_array) { in BackwardReferencesHashChainDistanceOnly() argument
604 dist_array[0] = 0; in BackwardReferencesHashChainDistanceOnly()
689 static void TraceBackwards(uint16_t* const dist_array, in TraceBackwards() argument
693 uint16_t* path = dist_array + dist_array_size; in TraceBackwards()
694 uint16_t* cur = dist_array + dist_array_size - 1; in TraceBackwards()
695 while (cur >= dist_array) { in TraceBackwards()
771 uint16_t* dist_array = in VP8LBackwardReferencesTraceBackwards() local
774 if (dist_array == NULL) goto Error; in VP8LBackwardReferencesTraceBackwards()
[all …]
/dports/science/latte/LATTE-1.2.2/src/
H A Ddbcsr_var_mod.F9083 SUBROUTINE myset_dist (dist_array, dist_size, nbins) argument
84 TYPE(array_i1d_obj), INTENT(OUT) :: dist_array local
91 CALL array_nullify (dist_array)
97 CALL array_new (dist_array, grid_dist, lb=1)
/dports/math/dbcsr/dbcsr-2.1.0/examples/
H A Ddbcsr_example_1.F136 SUBROUTINE random_dist(dist_array, dist_size, nbins) argument
137 INTEGER, DIMENSION(:), INTENT(out), POINTER :: dist_array local
142 ALLOCATE (dist_array(dist_size))
144 dist_array(i) = MODULO(nbins - i, nbins)
H A Ddbcsr_example_2.F175 SUBROUTINE random_dist(dist_array, dist_size, nbins) argument
176 INTEGER, DIMENSION(:), INTENT(out), POINTER :: dist_array local
181 ALLOCATE (dist_array(dist_size))
183 dist_array(i) = MODULO(nbins - i, nbins)
/dports/science/cp2k/cp2k-2e995eec7fd208c8a72d9544807bd8b8ba8cd1cc/exts/dbcsr/examples/
H A Ddbcsr_example_1.F135 SUBROUTINE random_dist(dist_array, dist_size, nbins) argument
136 INTEGER, DIMENSION(:), INTENT(out), POINTER :: dist_array local
141 ALLOCATE (dist_array(dist_size))
143 dist_array(i) = MODULO(nbins - i, nbins)

12