Home
last modified time | relevance | path

Searched refs:pos2 (Results 1 – 25 of 4639) sorted by relevance

12345678910>>...186

/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_factor.c67 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 DGridRemoval.cpp136 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 Dclass.ilExternalMediaAnalyzer.php56 $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 Dclass.ilExternalMediaAnalyzer.php56 $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 DHelmertTransform_T.cpp61 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 DvtkTextRepresentationTest1.cxx35 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 DvtkLineRepresentationTest1.cxx25 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 DWidgetTestingMacros.h571 …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 DvtkConstrainedPointHandleRepresentationTest1.cxx91 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 DvtkTextRepresentationTest1.cxx33 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 DvtkLineRepresentationTest1.cxx25 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 DWidgetTestingMacros.h583 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 DvtkConstrainedPointHandleRepresentationTest1.cxx78 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 DvtkTextRepresentationTest1.cxx35 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 DvtkLineRepresentationTest1.cxx25 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 DWidgetTestingMacros.h582 …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 DvtkConstrainedPointHandleRepresentationTest1.cxx91 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 Droaring.go177 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 Dfastaggregation.go11 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 Droaring.go148 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 Droaring.go159 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 Dfastaggregation.go11 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 Droaring.go148 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 Dcp_parser_inpp_methods.F78 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 DGenomicRegion.cpp17 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 …]

12345678910>>...186