/dports/math/eprover/eprover-E-2.0/CLAUSES/ |
H A D | ccl_factor.c | 67 pos2->literal = pos2->literal->next; in find_next_potential_eq_factor_partner() 92 assert(pos2); in find_first_eq_factor_partner() 100 pos2->side = LeftSide; in find_first_eq_factor_partner() 101 PStackReset(pos2->pos); in find_first_eq_factor_partner() 225 pos2) in ClausePosNextOrderedFactorLiterals() argument 236 pos2->side = LeftSide; in ClausePosNextOrderedFactorLiterals() 237 pos2->literal = pos2->literal->next; in ClausePosNextOrderedFactorLiterals() 338 assert(pos2); in ClausePosFirstEqualityFactorSides() 366 pos2) in ClausePosNextEqualityFactorSides() argument 376 pos2->side = LeftSide; in ClausePosNextEqualityFactorSides() [all …]
|
/dports/graphics/engauge-digitizer/engauge-digitizer-12.2.2/src/Grid/ |
H A D | GridRemoval.cpp | 136 QPointF pos2 = posMax; in removeLine() local 148 if (pos2.x() < 0) { pos2 = clipX (pos2, 0, pos1); } in removeLine() 150 if (pos2.y() < 0) { pos2 = clipY (pos2, 0, pos1); } in removeLine() 152 if (pos2.x() > w) { pos2 = clipX (pos2, w, pos1); } in removeLine() 154 if (pos2.y() > h) { pos2 = clipY (pos2, h, pos1); } 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/www/ilias/ILIAS-5.4.25/Services/MediaObjects/classes/ |
H A D | class.ilExternalMediaAnalyzer.php | 56 $len = ($pos2 > 0) 57 ? $pos2 87 $len = ($pos2 > 0) 88 ? $pos2 97 $len = ($pos2 > 0) 98 ? $pos2 108 ? $pos2 137 ? $pos2 166 ? $pos2 195 ? $pos2 [all …]
|
/dports/www/ilias6/ILIAS-6.14/Services/MediaObjects/classes/ |
H A D | class.ilExternalMediaAnalyzer.php | 56 $len = ($pos2 > 0) 57 ? $pos2 87 $len = ($pos2 > 0) 88 ? $pos2 97 $len = ($pos2 > 0) 98 ? $pos2 108 ? $pos2 137 ? $pos2 166 ? $pos2 195 ? $pos2 [all …]
|
/dports/astro/gpstk/GPSTk-8.0.0/core/tests/RefTime/ |
H A D | HelmertTransform_T.cpp | 61 Position pos2 = pos; in positionTransformTest() local 82 Xt pos, comp, pos2; in xtTransformTest() local 87 pos2.x = Triple(150, 150, 150); in xtTransformTest() 88 pos2.frame = initial; in xtTransformTest() 109 Xvt pos, comp, pos2; in xvtTransformTest() local 116 pos2.x = Triple(150, 150, 150); in xvtTransformTest() 118 pos2.frame = initial; in xvtTransformTest() 193 Vector<double> pos2(3,0.0); in vectorPosTransformTest() local 203 pos2(0) = 150; in vectorPosTransformTest() 204 pos2(1) = 150; in vectorPosTransformTest() [all …]
|
/dports/math/vtk8/VTK-8.2.0/Interaction/Widgets/Testing/Cxx/ |
H A D | vtkTextRepresentationTest1.cxx | 35 double *pos2; in vtkTextRepresentationTest1() local 36 pos2 = node1->GetPosition(); in vtkTextRepresentationTest1() 37 if (!pos2) in vtkTextRepresentationTest1() 42 else if (pos2[0] != pos[0] || in vtkTextRepresentationTest1() 43 pos2[1] != pos[1]) in vtkTextRepresentationTest1() 50 pos2 = node1->GetPosition(); in vtkTextRepresentationTest1() 51 if (!pos2 || in vtkTextRepresentationTest1() 52 pos2[0] != pos[0] || in vtkTextRepresentationTest1() 53 pos2[1] != pos[1]) in vtkTextRepresentationTest1() 58 else if (pos2[0] != pos[0] || in vtkTextRepresentationTest1() [all …]
|
H A D | vtkLineRepresentationTest1.cxx | 25 double pos2[3]; in vtkLineRepresentationTest1() local 47 node1->GetPoint1WorldPosition(pos2); in vtkLineRepresentationTest1() 48 if (pos2[0] != pos[0] || in vtkLineRepresentationTest1() 49 pos2[1] != pos[1] || in vtkLineRepresentationTest1() 50 pos2[2] != pos[2]) in vtkLineRepresentationTest1() 57 …std::cout << "GetPoint1WorldPosition = " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] << std::… in vtkLineRepresentationTest1() 117 node1->GetPoint2WorldPosition(pos2); in vtkLineRepresentationTest1() 118 if (pos2[0] != pos[0] || in vtkLineRepresentationTest1() 119 pos2[1] != pos[1] || in vtkLineRepresentationTest1() 120 pos2[2] != pos[2]) in vtkLineRepresentationTest1() [all …]
|
H A D | WidgetTestingMacros.h | 571 …d::cerr << "Failed to SetCenterDisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " << pos2[… 582 …d::cerr << "Failed to SetPoint1DisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " << pos2[… 593 …d::cerr << "Failed to SetPoint2DisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " << pos2[… 634 …s, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << std… 639 std::cout << "Set Position to " << pos2[0] << ", " << pos2[1] << std::endl; \ 649 …, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << st… 658 …e, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << st… 679 …y, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << std… 688 …2, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << std… 797 …" << wpos[1] << ", " << wpos[2] << ", instead got " << pos2[0] << ", " << pos2[1] << ", " << pos2[… [all …]
|
H A D | vtkConstrainedPointHandleRepresentationTest1.cxx | 91 double *pos2 = nullptr; in vtkConstrainedPointHandleRepresentationTest1() local 93 pos2 = node1->GetPosition(); in vtkConstrainedPointHandleRepresentationTest1() 94 if (pos2 == nullptr) in vtkConstrainedPointHandleRepresentationTest1() 99 else if (pos2[0] != pos[0] || in vtkConstrainedPointHandleRepresentationTest1() 100 pos2[1] != pos[1]) in vtkConstrainedPointHandleRepresentationTest1() 107 std::cout << "Set Position to " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] << std::endl; in vtkConstrainedPointHandleRepresentationTest1() 111 pos2 = node1->GetPosition(); in vtkConstrainedPointHandleRepresentationTest1() 112 if (pos2 == nullptr) in vtkConstrainedPointHandleRepresentationTest1() 117 else if (pos2[0] != pos[0] || in vtkConstrainedPointHandleRepresentationTest1() 118 pos2[1] != pos[1]) in vtkConstrainedPointHandleRepresentationTest1() [all …]
|
/dports/math/vtk9/VTK-9.1.0/Interaction/Widgets/Testing/Cxx/ |
H A D | vtkTextRepresentationTest1.cxx | 33 double* pos2; in vtkTextRepresentationTest1() local 34 pos2 = node1->GetPosition(); in vtkTextRepresentationTest1() 35 if (!pos2) in vtkTextRepresentationTest1() 41 else if (pos2[0] != pos[0] || pos2[1] != pos[1]) in vtkTextRepresentationTest1() 44 << ", instead got " << pos2[0] << ", " << pos2[1] << std::endl; in vtkTextRepresentationTest1() 49 pos2 = node1->GetPosition(); in vtkTextRepresentationTest1() 50 if (!pos2 || pos2[0] != pos[0] || pos2[1] != pos[1]) in vtkTextRepresentationTest1() 56 else if (pos2[0] != pos[0] || pos2[1] != pos[1]) in vtkTextRepresentationTest1() 59 << ", instead got " << pos2[0] << ", " << pos2[1] << std::endl; in vtkTextRepresentationTest1()
|
H A D | vtkLineRepresentationTest1.cxx | 25 double pos2[3]; in vtkLineRepresentationTest1() local 49 node1->GetPoint1WorldPosition(pos2); in vtkLineRepresentationTest1() 50 if (pos2[0] != pos[0] || pos2[1] != pos[1] || pos2[2] != pos[2]) in vtkLineRepresentationTest1() 53 << ", " << pos[2] << " but got " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] in vtkLineRepresentationTest1() 59 std::cout << "GetPoint1WorldPosition = " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] in vtkLineRepresentationTest1() 126 node1->GetPoint2WorldPosition(pos2); in vtkLineRepresentationTest1() 127 if (pos2[0] != pos[0] || pos2[1] != pos[1] || pos2[2] != pos[2]) in vtkLineRepresentationTest1() 130 << ", " << pos[2] << " but got " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] in vtkLineRepresentationTest1() 136 std::cout << "GetPoint2WorldPosition = " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] in vtkLineRepresentationTest1()
|
H A D | WidgetTestingMacros.h | 583 if (pos[0] != pos2[0] || pos[0] != pos2[0] || pos[0] != pos2[0]) \ 585 std::cerr << "Failed to SetCenterDisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " \ 594 if (pos[0] != pos2[0] || pos[0] != pos2[0] || pos[0] != pos2[0]) \ 596 std::cerr << "Failed to SetPoint1DisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " \ 605 if (pos[0] != pos2[0] || pos[0] != pos2[0] || pos[0] != pos2[0]) \ 662 if (pos2 == nullptr || pos2[0] != pos[0] || pos2[1] != pos[1]) \ 670 if (pos2 == nullptr || pos2[0] != pos[0] || pos2[1] != pos[1]) \ 680 if (pos2 == nullptr || pos2[0] != pos[0] || pos2[1] != pos[1]) \ 689 if (pos2 == nullptr || pos2[0] != pos[0] || pos2[1] != pos[1]) \ 697 if (pos2 == nullptr || pos2[0] != pos[0] || pos2[1] != pos[1]) \ [all …]
|
H A D | vtkConstrainedPointHandleRepresentationTest1.cxx | 78 double* pos2 = nullptr; in vtkConstrainedPointHandleRepresentationTest1() local 80 pos2 = node1->GetPosition(); in vtkConstrainedPointHandleRepresentationTest1() 81 if (pos2 == nullptr) in vtkConstrainedPointHandleRepresentationTest1() 86 else if (pos2[0] != pos[0] || pos2[1] != pos[1]) in vtkConstrainedPointHandleRepresentationTest1() 89 << pos[2] << ", instead got " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] in vtkConstrainedPointHandleRepresentationTest1() 95 std::cout << "Set Position to " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] << std::endl; in vtkConstrainedPointHandleRepresentationTest1() 99 pos2 = node1->GetPosition(); in vtkConstrainedPointHandleRepresentationTest1() 100 if (pos2 == nullptr) in vtkConstrainedPointHandleRepresentationTest1() 105 else if (pos2[0] != pos[0] || pos2[1] != pos[1]) in vtkConstrainedPointHandleRepresentationTest1() 108 << pos[2] << ", instead got " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] in vtkConstrainedPointHandleRepresentationTest1() [all …]
|
/dports/math/vtk6/VTK-6.2.0/Interaction/Widgets/Testing/Cxx/ |
H A D | vtkTextRepresentationTest1.cxx | 35 double *pos2; in vtkTextRepresentationTest1() local 36 pos2 = node1->GetPosition(); in vtkTextRepresentationTest1() 37 if (!pos2) in vtkTextRepresentationTest1() 42 else if (pos2[0] != pos[0] || in vtkTextRepresentationTest1() 43 pos2[1] != pos[1]) in vtkTextRepresentationTest1() 50 pos2 = node1->GetPosition(); in vtkTextRepresentationTest1() 51 if (!pos2 || in vtkTextRepresentationTest1() 52 pos2[0] != pos[0] || in vtkTextRepresentationTest1() 53 pos2[1] != pos[1]) in vtkTextRepresentationTest1() 58 else if (pos2[0] != pos[0] || in vtkTextRepresentationTest1() [all …]
|
H A D | vtkLineRepresentationTest1.cxx | 25 double pos2[3]; in vtkLineRepresentationTest1() local 47 node1->GetPoint1WorldPosition(pos2); in vtkLineRepresentationTest1() 48 if (pos2[0] != pos[0] || in vtkLineRepresentationTest1() 49 pos2[1] != pos[1] || in vtkLineRepresentationTest1() 50 pos2[2] != pos[2]) in vtkLineRepresentationTest1() 57 …std::cout << "GetPoint1WorldPosition = " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] << std::… in vtkLineRepresentationTest1() 117 node1->GetPoint2WorldPosition(pos2); in vtkLineRepresentationTest1() 118 if (pos2[0] != pos[0] || in vtkLineRepresentationTest1() 119 pos2[1] != pos[1] || in vtkLineRepresentationTest1() 120 pos2[2] != pos[2]) in vtkLineRepresentationTest1() [all …]
|
H A D | WidgetTestingMacros.h | 582 …d::cerr << "Failed to SetCenterDisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " << pos2[… 593 …d::cerr << "Failed to SetPoint1DisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " << pos2[… 604 …d::cerr << "Failed to SetPoint2DisplayPosition to " << pos2[0] << ", " << pos2[1] << ", " << pos2[… 644 …s, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << std… 649 std::cout << "Set Position to " << pos2[0] << ", " << pos2[1] << std::endl; \ 659 …, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << st… 668 …e, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << st… 679 …s, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << st… 689 …y, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << std… 698 …2, expected " << pos[0] << ", " << pos[1] << ", instead got " << pos2[0] << ", " << pos2[1] << std… [all …]
|
H A D | vtkConstrainedPointHandleRepresentationTest1.cxx | 91 double *pos2 = NULL; in vtkConstrainedPointHandleRepresentationTest1() local 93 pos2 = node1->GetPosition(); in vtkConstrainedPointHandleRepresentationTest1() 94 if (pos2 == NULL) in vtkConstrainedPointHandleRepresentationTest1() 99 else if (pos2[0] != pos[0] || in vtkConstrainedPointHandleRepresentationTest1() 100 pos2[1] != pos[1]) in vtkConstrainedPointHandleRepresentationTest1() 107 std::cout << "Set Position to " << pos2[0] << ", " << pos2[1] << ", " << pos2[2] << std::endl; in vtkConstrainedPointHandleRepresentationTest1() 111 pos2 = node1->GetPosition(); in vtkConstrainedPointHandleRepresentationTest1() 112 if (pos2 == NULL) in vtkConstrainedPointHandleRepresentationTest1() 117 else if (pos2[0] != pos[0] || in vtkConstrainedPointHandleRepresentationTest1() 118 pos2[1] != pos[1]) in vtkConstrainedPointHandleRepresentationTest1() [all …]
|
/dports/security/keybase/client-v5.7.1/go/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 177 pos2 := 0 688 pos2 := 0 738 pos2 := 0 782 for ; pos2 < length2; pos2++ { 791 pos2 := 0 837 pos2 := 0 884 pos2 := 0 901 pos2++ 912 pos2++ 926 pos2 := 0 [all …]
|
H A D | fastaggregation.go | 11 pos2 := 0 15 for (pos1 < length1) && (pos2 < length2) { 17 s2 := x2.highlowcontainer.getKeyAtIndex(pos2) 29 pos2++ 30 if pos2 == length2 { 47 pos2++ 58 } else if pos2 == length2 { 67 pos2 := 0 84 pos2++ 87 if pos2 == length2 { [all …]
|
/dports/www/mattermost-server/mattermost-server-6.0.2/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 148 pos2 := 0 154 pos2 = c.fillLeastSignificant16bits(array, pos2, hs) 717 pos2 := 0 767 pos2 := 0 811 for ; pos2 < length2; pos2++ { 820 pos2 := 0 866 pos2 := 0 913 pos2 := 0 930 pos2++ 941 pos2++ [all …]
|
/dports/audio/pms-devel/pms-c94e3c6/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 159 pos2 := 0 601 pos2 := 0 651 pos2 := 0 695 for ; pos2 < length2; pos2++ { 704 pos2 := 0 750 pos2 := 0 797 pos2 := 0 814 pos2++ 825 pos2++ 839 pos2 := 0 [all …]
|
H A D | fastaggregation.go | 11 pos2 := 0 15 for (pos1 < length1) && (pos2 < length2) { 17 s2 := x2.highlowcontainer.getKeyAtIndex(pos2) 29 pos2++ 30 if pos2 == length2 { 47 pos2++ 58 } else if pos2 == length2 { 67 pos2 := 0 84 pos2++ 87 if pos2 == length2 { [all …]
|
/dports/www/gitea/gitea-1.16.5/vendor/github.com/RoaringBitmap/roaring/ |
H A D | roaring.go | 148 pos2 := 0 154 pos2 = c.fillLeastSignificant16bits(array, pos2, hs) 717 pos2 := 0 767 pos2 := 0 811 for ; pos2 < length2; pos2++ { 820 pos2 := 0 866 pos2 := 0 913 pos2 := 0 930 pos2++ 941 pos2++ [all …]
|
/dports/science/cp2k-data/cp2k-7.1.0/src/input/ |
H A D | cp_parser_inpp_methods.F | 78 pos2 = INDEX(input_line, "#") 79 IF (((pos1 > 0) .AND. (pos1 < indi)) .OR. ((pos2 > 0) .AND. (pos2 < indi))) THEN 121 pos2 = INDEX(filename, '"') 325 pos2 = INDEX(input_line, "/=") 342 ELSEIF (pos2 > 0) THEN 344 cond2 = input_line(pos2+2:) 426 IF (((pos1 > 0) .AND. (pos1 < indi)) .OR. ((pos2 > 0) .AND. (pos2 < indi))) THEN 541 IF (pos2 == 0) THEN 548 pos2 = pos1+pos2-2 575 IF (pos2 == 0) & [all …]
|
/dports/biology/freebayes/freebayes-1.3.5/contrib/SeqLib/src/ |
H A D | GenomicRegion.cpp | 17 return pos2 - pos1 + 1; in Width() 29 bool gr2_in = gr.pos2 >= pos1 && gr.pos2 <= pos2; in GetOverlap() 33 bool pos2_in = pos2 >= gr.pos1 && pos2 <= gr.pos2; in GetOverlap() 82 pos2 += pad; in Pad() 95 …chr < b.chr) || (chr == b.chr && pos1 < b.pos1) || (chr==b.chr && pos1 == b.pos1 && pos2 < b.pos2); in operator <() 103 return (chr == b.chr && pos1 == b.pos1 && b.pos2 == pos2); in operator ==() 168 pos2 = end; in GenomicRegion() 184 pos2 = t_pos2; in GenomicRegion() 227 return std::abs(pos2 - gr.pos2); in DistanceBetweenEnds() 260 pos2 = std::stoi(tpos2); in GenomicRegion() [all …]
|