/dports/math/eprover/eprover-E-2.0/CLAUSES/ |
H A D | ccl_factor.c | 65 if(lit==pos1->literal) in find_next_potential_eq_factor_partner() 91 assert(pos1); in find_first_eq_factor_partner() 93 assert(pos1->clause); in find_first_eq_factor_partner() 94 assert(pos1->literal); in find_first_eq_factor_partner() 189 pos1->clause = clause; in ClausePosFirstOrderedFactorLiterals() 191 pos1->side = LeftSide; in ClausePosFirstOrderedFactorLiterals() 192 PStackReset(pos1->pos); in ClausePosFirstOrderedFactorLiterals() 242 pos1->literal = pos1->literal->next; in ClausePosNextOrderedFactorLiterals() 280 assert(!EqnIsOriented(pos1->literal) || (pos1->side == LeftSide)); in ComputeEqualityFactor() 337 assert(pos1); in ClausePosFirstEqualityFactorSides() [all …]
|
/dports/www/ilias/ILIAS-5.4.25/Services/MediaObjects/classes/ |
H A D | class.ilExternalMediaAnalyzer.php | 55 if ($pos1 > 0) { 59 $par["v"] = substr($a_location, $pos1 + 2, $len - ($pos1 + 2)); 86 if ($pos1 > 0) { 96 if ($pos1 > 0) { 100 $par["tags"] = substr($a_location, $pos1 + 6, $len - ($pos1 + 6)); 106 if ($pos1 > 0) { 110 $par["sets"] = substr($a_location, $pos1 + 6, $len - ($pos1 + 6)); 135 if ($pos1 > 0) { 164 if ($pos1 > 0) { 168 $par["id"] = substr($a_location, $pos1 + 10, $len - ($pos1 + 10)); [all …]
|
/dports/www/ilias6/ILIAS-6.14/Services/MediaObjects/classes/ |
H A D | class.ilExternalMediaAnalyzer.php | 55 if ($pos1 > 0) { 59 $par["v"] = substr($a_location, $pos1 + 2, $len - ($pos1 + 2)); 86 if ($pos1 > 0) { 96 if ($pos1 > 0) { 100 $par["tags"] = substr($a_location, $pos1 + 6, $len - ($pos1 + 6)); 106 if ($pos1 > 0) { 110 $par["sets"] = substr($a_location, $pos1 + 6, $len - ($pos1 + 6)); 135 if ($pos1 > 0) { 164 if ($pos1 > 0) { 168 $par["id"] = substr($a_location, $pos1 + 10, $len - ($pos1 + 10)); [all …]
|
/dports/multimedia/gmerlin/gmerlin-1.2.0/lib/ |
H A D | urilist.c | 109 if(!pos1) in bg_uri_to_string() 179 pos1 = str; in bg_urilist_decode() 188 while(((pos1 - str) < len) && isspace(*pos1)) in bg_urilist_decode() 189 pos1++; in bg_urilist_decode() 191 if(isspace(*pos1) || (*pos1 == '\0')) in bg_urilist_decode() 197 while(((pos1 - str) < len) && !isspace(*pos1)) in bg_urilist_decode() 198 pos1++; in bg_urilist_decode() 208 pos1 = str; in bg_urilist_decode() 214 while(((pos1 - str) < len) && isspace(*pos1)) in bg_urilist_decode() 215 pos1++; in bg_urilist_decode() [all …]
|
/dports/www/domoticz/domoticz-2020.2/hardware/ |
H A D | DenkoviSmartdenIPInOut.cpp | 244 int pos1; in GetMeterDetails() local 268 pos1 = tmpstr.find(">"); in GetMeterDetails() 281 pos1 = tmpstr.find(">"); in GetMeterDetails() 294 pos1 = tmpstr.find(">"); in GetMeterDetails() 307 pos1 = tmpstr.find(">"); in GetMeterDetails() 317 pos1 = tmpstr.find("<Name>"); in GetMeterDetails() 321 pos1 = tmpstr.find("<"); in GetMeterDetails() 336 pos1 = tmpstr.find('<'); in GetMeterDetails() 357 pos1 = tmpstr.find('<'); in GetMeterDetails() 378 pos1 = tmpstr.find('<'); in GetMeterDetails() [all …]
|
/dports/graphics/engauge-digitizer/engauge-digitizer-12.2.2/src/Grid/ |
H A D | GridRemoval.cpp | 135 QPointF pos1 = posMin; in removeLine() local 147 if (pos1.x() < 0) { pos1 = clipX (pos1, 0, pos2); } in removeLine() 149 if (pos1.y() < 0) { pos1 = clipY (pos1, 0, pos2); } in removeLine() 151 if (pos1.x() > w) { pos1 = clipX (pos1, w, pos2); } in removeLine() 153 if (pos1.y() > h) { pos1 = clipY (pos1, h, pos2); } in removeLine() 157 double deltaX = qAbs (pos1.x() - pos2.x()); in removeLine() 158 double deltaY = qAbs (pos1.y() - pos2.y()); in removeLine() 168 int yAtXMin = (pos1.x() < pos2.x() ? qFloor (pos1.y()) : qFloor (pos2.y())); in removeLine() 169 int yAtXMax = (pos1.x() < pos2.x() ? qFloor (pos2.y()) : qFloor (pos1.y())); in removeLine() 189 int xAtYMin = (pos1.y() < pos2.y() ? qFloor (pos1.x()) : qFloor (pos2.x())); in removeLine() [all …]
|
/dports/security/keybase/client-v5.7.1/go/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 687 pos1 := 0 737 pos1 := 0 779 for ; pos1 < length1; pos1++ { 790 pos1 := 0 836 pos1 := 0 883 pos1 := 0 900 pos1++ 925 pos1 := 0 936 pos1++ 943 pos1++ [all …]
|
H A D | fastaggregation.go | 10 pos1 := 0 22 pos1++ 23 if pos1 == length1 { 46 pos1++ 56 if pos1 == length1 { 66 pos1 := 0 77 pos1++ 78 if pos1 == length1 { 85 pos1++ 106 pos1++ [all …]
|
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 716 pos1 := 0 766 pos1 := 0 808 for ; pos1 < length1; pos1++ { 819 pos1 := 0 865 pos1 := 0 912 pos1 := 0 929 pos1++ 954 pos1 := 0 965 pos1++ 972 pos1++ [all …]
|
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 600 pos1 := 0 650 pos1 := 0 692 for ; pos1 < length1; pos1++ { 703 pos1 := 0 749 pos1 := 0 796 pos1 := 0 813 pos1++ 838 pos1 := 0 849 pos1++ 856 pos1++ [all …]
|
H A D | fastaggregation.go | 10 pos1 := 0 22 pos1++ 23 if pos1 == length1 { 46 pos1++ 56 if pos1 == length1 { 66 pos1 := 0 77 pos1++ 78 if pos1 == length1 { 85 pos1++ 106 pos1++ [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/webrtc/modules/audio_coding/codecs/isac/main/source/ |
H A D | lpc_analysis.c | 208 for (pos1 = 0; pos1 < QLOOKAHEAD; pos1++) in WebRtcIsac_GetLpcCoefLb() 209 maskdata->DataBufferLo[pos1 + WINLEN - QLOOKAHEAD] = inLo[pos1]; in WebRtcIsac_GetLpcCoefLb() 214 for (pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) { in WebRtcIsac_GetLpcCoefLb() 217 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 218 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 224 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 225 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 383 for(pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) in WebRtcIsac_GetLpcCoefUb() 385 maskdata->DataBufferLo[pos1] = maskdata->DataBufferLo[pos1 + in WebRtcIsac_GetLpcCoefUb() 387 data[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefUb() [all …]
|
/dports/net-im/telegram-desktop/tdesktop-3.2.5-full/Telegram/ThirdParty/libtgvoip/webrtc_dsp/modules/audio_coding/codecs/isac/main/source/ |
H A D | lpc_analysis.c | 208 for (pos1 = 0; pos1 < QLOOKAHEAD; pos1++) in WebRtcIsac_GetLpcCoefLb() 209 maskdata->DataBufferLo[pos1 + WINLEN - QLOOKAHEAD] = inLo[pos1]; in WebRtcIsac_GetLpcCoefLb() 214 for (pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) { in WebRtcIsac_GetLpcCoefLb() 217 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 218 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 224 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 225 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 383 for(pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) in WebRtcIsac_GetLpcCoefUb() 385 maskdata->DataBufferLo[pos1] = maskdata->DataBufferLo[pos1 + in WebRtcIsac_GetLpcCoefUb() 387 data[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefUb() [all …]
|
/dports/net-im/tg_owt/tg_owt-d578c76/src/modules/audio_coding/codecs/isac/main/source/ |
H A D | lpc_analysis.c | 208 for (pos1 = 0; pos1 < QLOOKAHEAD; pos1++) in WebRtcIsac_GetLpcCoefLb() 209 maskdata->DataBufferLo[pos1 + WINLEN - QLOOKAHEAD] = inLo[pos1]; in WebRtcIsac_GetLpcCoefLb() 214 for (pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) { in WebRtcIsac_GetLpcCoefLb() 217 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 218 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 224 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 225 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 383 for(pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) in WebRtcIsac_GetLpcCoefUb() 385 maskdata->DataBufferLo[pos1] = maskdata->DataBufferLo[pos1 + in WebRtcIsac_GetLpcCoefUb() 387 data[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefUb() [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/webrtc/modules/audio_coding/codecs/isac/main/source/ |
H A D | lpc_analysis.c | 208 for (pos1 = 0; pos1 < QLOOKAHEAD; pos1++) in WebRtcIsac_GetLpcCoefLb() 209 maskdata->DataBufferLo[pos1 + WINLEN - QLOOKAHEAD] = inLo[pos1]; in WebRtcIsac_GetLpcCoefLb() 214 for (pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) { in WebRtcIsac_GetLpcCoefLb() 217 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 218 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 224 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 225 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 383 for(pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) in WebRtcIsac_GetLpcCoefUb() 385 maskdata->DataBufferLo[pos1] = maskdata->DataBufferLo[pos1 + in WebRtcIsac_GetLpcCoefUb() 387 data[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefUb() [all …]
|
/dports/www/firefox/firefox-99.0/third_party/libwebrtc/modules/audio_coding/codecs/isac/main/source/ |
H A D | lpc_analysis.c | 208 for (pos1 = 0; pos1 < QLOOKAHEAD; pos1++) in WebRtcIsac_GetLpcCoefLb() 209 maskdata->DataBufferLo[pos1 + WINLEN - QLOOKAHEAD] = inLo[pos1]; in WebRtcIsac_GetLpcCoefLb() 214 for (pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) { in WebRtcIsac_GetLpcCoefLb() 217 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 218 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 224 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 225 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 383 for(pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) in WebRtcIsac_GetLpcCoefUb() 385 maskdata->DataBufferLo[pos1] = maskdata->DataBufferLo[pos1 + in WebRtcIsac_GetLpcCoefUb() 387 data[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefUb() [all …]
|
/dports/net/kmime/kmime-21.12.3/src/ |
H A D | kmime_parsers.cpp | 31 int pos1 = 0; in parse() local 39 if ((pos1 = m_src.indexOf(b, pos1)) == -1 || pos1 == 0 || in parse() 46 if (pos1 > -1) { in parse() 47 pos1 += blen; in parse() 48 if (m_src[pos1] == '-' && m_src[pos1 + 1] == '-') { in parse() 60 if ((pos1 = m_src.indexOf('\n', pos1)) > -1) { in parse() 75 pos1 = -1; in parse() 300 if (pos2 >= 0 && (pos1 < 0 || pos1 > pos2)) { in yencMeta() 301 pos1 = pos2; in yencMeta() 303 if (pos3 >= 0 && (pos1 < 0 || pos1 > pos3)) { in yencMeta() [all …]
|
/dports/audio/webrtc-audio-processing/webrtc-audio-processing-1.0/webrtc/modules/audio_coding/codecs/isac/main/source/ |
H A D | lpc_analysis.c | 208 for (pos1 = 0; pos1 < QLOOKAHEAD; pos1++) in WebRtcIsac_GetLpcCoefLb() 209 maskdata->DataBufferLo[pos1 + WINLEN - QLOOKAHEAD] = inLo[pos1]; in WebRtcIsac_GetLpcCoefLb() 214 for (pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) { in WebRtcIsac_GetLpcCoefLb() 217 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 218 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 224 DataLo[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 225 DataHi[pos1] = maskdata->DataBufferHi[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefLb() 383 for(pos1 = 0; pos1 < WINLEN - UPDATE/2; pos1++) in WebRtcIsac_GetLpcCoefUb() 385 maskdata->DataBufferLo[pos1] = maskdata->DataBufferLo[pos1 + in WebRtcIsac_GetLpcCoefUb() 387 data[pos1] = maskdata->DataBufferLo[pos1] * kLpcCorrWindow[pos1]; in WebRtcIsac_GetLpcCoefUb() [all …]
|
/dports/science/quantum-espresso/q-e-qe-6.7.0/NEB/src/ |
H A D | engine_to_path_pos.f90 | 33 REAL(DP), ALLOCATABLE :: pos0(:,:), pos1(:,:) local 54 ALLOCATE( pos0(3,nat), pos1(3,nat) ) 57 pos1 = reshape( pos(:,idx), (/ 3, nat /) ) / alat 58 CALL cryst_to_cart( nat, pos1(1,1), bg, -1 ) 60 IF ( minimum_image ) pos1 = pos1(:,:) - anint(pos1(:,:)) 74 WHERE( (pos1(:,iat) - pos0(:,iat)) > 0.5_DP ) 75 pos1(:,iat) = pos1(:,iat) - 1.0_DP 78 WHERE( (pos1(:,iat) - pos0(:,iat)) < -0.5_DP ) 79 pos1(:,iat) = pos1(:,iat) + 1.0_DP 94 CALL cryst_to_cart( nat, pos1(1,1), at, 1 ) [all …]
|
/dports/science/cp2k-data/cp2k-7.1.0/src/input/ |
H A D | cp_parser_inpp_methods.F | 79 IF (((pos1 > 0) .AND. (pos1 < indi)) .OR. ((pos2 > 0) .AND. (pos2 < indi))) THEN 113 filename = filename(pos1+1:pos1+pos2-1) 118 filename = filename(pos1+1:pos1+pos2-1) 186 filename = filename(pos1+1:pos1+pos2-1) 191 filename = filename(pos1+1:pos1+pos2-1) 332 IF (pos1 > 0) THEN 538 pos1 = pos1+2 548 pos2 = pos1+pos2-2 559 IF (pos1 > 3) THEN 572 pos1 = pos1+1 ! move to the start of the variable name [all …]
|
/dports/www/gitea/gitea-1.16.5/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 716 pos1 := 0 766 pos1 := 0 808 for ; pos1 < length1; pos1++ { 819 pos1 := 0 865 pos1 := 0 912 pos1 := 0 929 pos1++ 954 pos1 := 0 965 pos1++ 972 pos1++ [all …]
|
/dports/devel/kdevelop/kdevelop-21.12.3/plugins/qmljs/3rdparty/qtcreator-libs/utils/ |
H A D | changeset.cpp | 76 if (cmd.pos1 > pos && cmd.pos1 < pos + length) in hasOverlap() 131 cmd.pos1 = pos; in replace_helper() 148 cmd.pos1 = pos; in move_helper() 164 cmd.pos1 = pos; in insert() 223 cmd.pos1 = pos1; in flip_helper() 257 if (op.pos1 <= c.pos1) in doReplace() 259 if (op.pos1 < c.pos1) in doReplace() 284 replace1.pos1 = op.pos1; in convertToReplace() 294 replace1.pos1 = op.pos1; in convertToReplace() 300 replace1.pos1 = op.pos1; in convertToReplace() [all …]
|
/dports/devel/qtcreator/qt-creator-opensource-src-5.0.3/src/libs/utils/ |
H A D | changeset.cpp | 74 if (cmd.pos1 > pos && cmd.pos1 < pos + length) in hasOverlap() 129 cmd.pos1 = pos; in replace_helper() 146 cmd.pos1 = pos; in move_helper() 162 cmd.pos1 = pos; in insert() 221 cmd.pos1 = pos1; in flip_helper() 253 if (op.pos1 <= c.pos1) in doReplace() 255 if (op.pos1 < c.pos1) in doReplace() 280 replace1.pos1 = op.pos1; in convertToReplace() 290 replace1.pos1 = op.pos1; in convertToReplace() 296 replace1.pos1 = op.pos1; in convertToReplace() [all …]
|
/dports/devel/qbs/qbs-src-1.21.0/src/lib/corelib/api/ |
H A D | changeset.cpp | 88 if (cmd.pos1 > pos && cmd.pos1 < pos + length) in hasOverlap() 142 cmd.pos1 = pos; in replace_helper() 158 cmd.pos1 = pos; in move_helper() 174 cmd.pos1 = pos; in insert() 232 cmd.pos1 = pos1; in flip_helper() 265 if (replace_helper.pos1 <= c.pos1) in doReplace() 267 if (replace_helper.pos1 < c.pos1) in doReplace() 288 replace1.pos1 = op.pos1; in convertToReplace() 298 replace1.pos1 = op.pos1; in convertToReplace() 304 replace1.pos1 = op.pos1; in convertToReplace() [all …]
|
/dports/dns/powerdns/pdns-4.5.2/ext/yahttp/yahttp/ |
H A D | url.hpp | 16 size_t pos1; in parseSchema() local 22 pos = pos1+1; // after : in parseSchema() 31 size_t pos1; in parseHost() local 39 pos = pos1; in parseHost() 55 host = host.substr(0, pos1); in parseHost() 61 size_t pos1,pos2; in parseUserPass() local 74 pos = pos1+1; in parseUserPass() 80 size_t pos1; in parsePath() local 88 pos = pos1; in parsePath() 94 size_t pos1; in parseParameters() local [all …]
|