/dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
H A D | che_clausefeatures.c | 132 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 D | che_clausefeatures.h | 46 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 D | che_fcode_featurearrays.c | 106 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 D | ccl_f_generality.c | 84 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | backward_references_cost_enc.c | 139 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 D | dbcsr_var_mod.F90 | 83 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 D | dbcsr_example_1.F | 136 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 D | dbcsr_example_2.F | 175 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 D | dbcsr_example_1.F | 135 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)
|