/dports/misc/otter/otter-3.3f/examples/ivy/ |
H A D | lifsch.in | 3 (OR (P (SK1 V2 V3) (SK1 V2 V3)) 4 (OR (NOT (S V2 (SK1 V2 V3))) (NOT (Q V3 (SK1 V2 V3)))))) 6 (OR (P (SK1 V2 V3) (SK1 V2 V3)) 9 (OR (P (SK1 V2 V3) (SK1 V2 V3)) 10 (OR (NOT (S V2 (SK1 V2 V3))) (NOT (S V3 V3))))) 12 (OR (P (SK1 V2 V3) (SK1 V2 V3)) 13 (OR (S (SK1 V2 V3) V5) (NOT (Q V3 (SK1 V2 V3)))))) 15 (OR (P (SK1 V2 V3) (SK1 V2 V3)) 18 (OR (P (SK1 V2 V3) (SK1 V2 V3)) 19 (OR (S (SK1 V2 V3) V5) (NOT (S V3 V3))))) [all …]
|
/dports/astro/kstars/kstars-3.5.6/kstars/ekos/align/ |
H A D | rotations.h | 15 class V3 19 V3() : X(0.0), Y(0.0), Z(0.0) {}; in V3() function 32 static V3 normal(const V3 &v1, const V3 &v2, const V3 &v3); 46 V3 getAxis(const V3 &p1, const V3 &p2, const V3 &p3 = V3(0.0, 0.0, 0.0)); 50 double getAngle(const V3 &p1, const V3 &p2); 54 V3 rotateAroundAxis(const V3 &point, const V3 &axis, double degrees); 55 V3 rotateAroundY(const V3 &point, double degrees); 59 V3 azAlt2xyz(const QPointF &azAlt); 60 QPointF xyz2azAlt(const V3 &xyz); 64 QPointF xyz2haDec(const V3 &xyz, double latitude); [all …]
|
H A D | rotations.cpp | 32 V3 V3::normal(const V3 &v1, const V3 &v2, const V3 &v3) in normal() 35 const V3 d21 = V3(v2.x() - v1.x(), v2.y() - v1.y(), v2.z() - v1.z()); in normal() 36 const V3 d32 = V3(v3.x() - v2.x(), v3.y() - v2.y(), v3.z() - v2.z()); in normal() 38 const V3 cross = V3(d21.y() * d32.z() - d21.z() * d32.y(), in normal() 49 double V3::length() in length() 66 return V3(x, y, z); in azAlt2xyz() 108 V3 getAxis(const V3 &p1, const V3 &p2, const V3 &p3) in getAxis() 115 double getAngle(const V3 &p1, const V3 &p2) in getAngle() 126 V3 rotateAroundAxis(const V3 &point, const V3 &axis, double degrees) in rotateAroundAxis() 137 return V3(x, y, z); in rotateAroundAxis() [all …]
|
/dports/devel/adabooch/bc-20160321/tests/ |
H A D | graph_test.adb | 81 V3 := V1; 86 Clear (V3); 95 V3 := V1; 96 Assertion (V1 = V3, 116 Assertion (V1 /= V3, 160 Assertion (V1 = V3, 190 Create_Arc (G, A3, '7', V3, V3); 261 V3 := V1; 266 Clear (V3); 275 V3 := V1; [all …]
|
/dports/math/openturns/openturns-1.18/python/test/ |
H A D | t_Sample_slice.expout | 3 sample= [ V1 V2 V3 V4 V5 ] 14 rslice[:]= [ V1 V2 V3 V4 V5 ] 25 rslice[2:4]= [ V1 V2 V3 V4 V5 ] 28 rslice[1:8:2]= [ V1 V2 V3 V4 V5 ] 33 rslice[[4,2,2,-1]]= [ V1 V2 V3 V4 V5 ] 57 rslice[:,:]= [ V1 V2 V3 V4 V5 ] 68 rslice[2:4,2:4]= [ V3 V4 ] 76 rslice[:, (4,2,2,-1)]= [ V5 V3 V3 V5 ] 102 wrslice[:]= [ V1 V2 V3 V4 V5 ] 113 wslice[2:4]= [ V1 V2 V3 V4 V5 ] [all …]
|
/dports/science/jmol/jmol-14.32.7/src/org/jmol/smiles/ |
H A D | VTemp.java | 3 import javajs.util.V3; 8 final V3 vTemp = new V3(); 9 final V3 vA = new V3(); 10 final V3 vB = new V3(); 11 final V3 vTemp1 = new V3(); 12 final V3 vTemp2 = new V3(); 13 final V3 vNorm2 = new V3(); // 1 2 3 14 final V3 vNorm3 = new V3(); // 2 3 4 15 final V3 vNorm4 = new V3(); // 3 4 1
|
/dports/editors/kak-lsp/kak-lsp-11.1.0/cargo-crates/enum_primitive-0.1.1/tests/ |
H A D | omitted-discriminants.rs | 32 enum_from_primitive! { enum E0000 { V0, V1, V2, V3 } } 33 enum_from_primitive! { enum E0000C { V0, V1, V2, V3, } } 34 enum_from_primitive! { enum E0001 { V0, V1, V2, V3 = 3 } } 35 enum_from_primitive! { enum E0001C { V0, V1, V2, V3 = 3, } } 36 enum_from_primitive! { enum E0010 { V0, V1, V2 = 2, V3 } } 37 enum_from_primitive! { enum E0010C { V0, V1, V2 = 2, V3, } } 38 enum_from_primitive! { enum E0011 { V0, V1, V2 = 2, V3 = 3 } } 40 enum_from_primitive! { enum E0100 { V0, V1 = 1, V2, V3 } } 41 enum_from_primitive! { enum E0100C { V0, V1 = 1, V2, V3, } } 48 enum_from_primitive! { enum E1000 { V0 = 0, V1, V2, V3 } } [all …]
|
/dports/net/rabbiteer/rabbiteer-rs-c881238/cargo-crates/enum_primitive-0.1.1/tests/ |
H A D | omitted-discriminants.rs | 32 enum_from_primitive! { enum E0000 { V0, V1, V2, V3 } } 33 enum_from_primitive! { enum E0000C { V0, V1, V2, V3, } } 34 enum_from_primitive! { enum E0001 { V0, V1, V2, V3 = 3 } } 35 enum_from_primitive! { enum E0001C { V0, V1, V2, V3 = 3, } } 36 enum_from_primitive! { enum E0010 { V0, V1, V2 = 2, V3 } } 37 enum_from_primitive! { enum E0010C { V0, V1, V2 = 2, V3, } } 38 enum_from_primitive! { enum E0011 { V0, V1, V2 = 2, V3 = 3 } } 40 enum_from_primitive! { enum E0100 { V0, V1 = 1, V2, V3 } } 41 enum_from_primitive! { enum E0100C { V0, V1 = 1, V2, V3, } } 48 enum_from_primitive! { enum E1000 { V0 = 0, V1, V2, V3 } } [all …]
|
/dports/security/suricata/suricata-6.0.4/rust/vendor/enum_primitive/tests/ |
H A D | omitted-discriminants.rs | 32 enum_from_primitive! { enum E0000 { V0, V1, V2, V3 } } 33 enum_from_primitive! { enum E0000C { V0, V1, V2, V3, } } 34 enum_from_primitive! { enum E0001 { V0, V1, V2, V3 = 3 } } 35 enum_from_primitive! { enum E0001C { V0, V1, V2, V3 = 3, } } 36 enum_from_primitive! { enum E0010 { V0, V1, V2 = 2, V3 } } 37 enum_from_primitive! { enum E0010C { V0, V1, V2 = 2, V3, } } 38 enum_from_primitive! { enum E0011 { V0, V1, V2 = 2, V3 = 3 } } 40 enum_from_primitive! { enum E0100 { V0, V1 = 1, V2, V3 } } 41 enum_from_primitive! { enum E0100C { V0, V1 = 1, V2, V3, } } 48 enum_from_primitive! { enum E1000 { V0 = 0, V1, V2, V3 } } [all …]
|
/dports/net/p5-Net-GitHub/Net-GitHub-1.02/lib/Net/GitHub/ |
H A D | V3.pm | 1 package Net::GitHub::V3; 11 use Net::GitHub::V3::Users; 12 use Net::GitHub::V3::Repos; 13 use Net::GitHub::V3::Issues; 15 use Net::GitHub::V3::Orgs; 16 use Net::GitHub::V3::GitData; 17 use Net::GitHub::V3::Gists; 18 use Net::GitHub::V3::OAuth; 19 use Net::GitHub::V3::Events; 21 use Net::GitHub::V3::Search; [all …]
|
/dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/cmd/asm/internal/asm/testdata/ |
H A D | ppc64.s | 730 LVX (R7)(R8*1), V3 763 VADDUBM V3, V2, V1 764 VADDUHM V3, V2, V1 765 VADDUWM V3, V2, V1 766 VADDUDM V3, V2, V1 767 VADDUQM V3, V2, V1 768 VADDCUQ V3, V2, V1 769 VADDCUW V3, V2, V1 770 VADDUBS V3, V2, V1 771 VADDUHS V3, V2, V1 [all …]
|
/dports/science/lammps/lammps-stable_29Sep2021/src/INTERLAYER/ |
H A D | pair_drip.h | 48 typedef double V3[3]; typedef 67 V3 const *, V3 const *, V3 const *, V3 const *, double *const, 72 void calc_normal(int const, double *const, V3 *const, V3 *const, V3 *const, V3 *const); 74 void get_drhosqij(double const *, double const *, V3 const *, V3 const *, V3 const *, V3 const *, 91 void deriv_cross(double const *, double const *, double const *, double *const, V3 *const, 92 V3 *const, V3 *const);
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.target/i386/ |
H A D | pr95905-3.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 8, 0, 9, 1, 10, 2, 11, 3 }); in f9() 78 V3 [all …]
|
H A D | pr95905-2.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 4, 0, 5, 1 }); in f9() 78 V3 [all …]
|
H A D | pr95905-4.c | 24 V3 25 f3 (V3 x) in f3() 27 …return __builtin_shuffle (x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, 2… in f3() 42 V3 43 f6 (V3 *x) in f6() 45 …return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, … in f6() 60 V3 61 f9 (V3 x) in f9() 63 …return __builtin_shuffle ((V3) {}, x, (V3) { 16, 0, 17, 1, 18, 2, 19, 3, 20, 4, 21, 5, 22, 6, 23, … in f9() 78 V3 [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.target/i386/ |
H A D | pr95905-3.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 8, 0, 9, 1, 10, 2, 11, 3 }); in f9() 78 V3 [all …]
|
H A D | pr95905-2.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 4, 0, 5, 1 }); in f9() 78 V3 [all …]
|
H A D | pr95905-4.c | 24 V3 25 f3 (V3 x) in f3() 27 …return __builtin_shuffle (x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, 2… in f3() 42 V3 43 f6 (V3 *x) in f6() 45 …return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, … in f6() 60 V3 61 f9 (V3 x) in f9() 63 …return __builtin_shuffle ((V3) {}, x, (V3) { 16, 0, 17, 1, 18, 2, 19, 3, 20, 4, 21, 5, 22, 6, 23, … in f9() 78 V3 [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.target/i386/ |
H A D | pr95905-3.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 8, 0, 9, 1, 10, 2, 11, 3 }); in f9() 78 V3 [all …]
|
H A D | pr95905-2.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 4, 0, 5, 1 }); in f9() 78 V3 [all …]
|
H A D | pr95905-4.c | 24 V3 25 f3 (V3 x) in f3() 27 …return __builtin_shuffle (x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, 2… in f3() 42 V3 43 f6 (V3 *x) in f6() 45 …return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, … in f6() 60 V3 61 f9 (V3 x) in f9() 63 …return __builtin_shuffle ((V3) {}, x, (V3) { 16, 0, 17, 1, 18, 2, 19, 3, 20, 4, 21, 5, 22, 6, 23, … in f9() 78 V3 [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gcc.target/i386/ |
H A D | pr95905-2.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 4, 1, 5 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 4, 0, 5, 1 }); in f9() 78 V3 [all …]
|
H A D | pr95905-4.c | 24 V3 25 f3 (V3 x) in f3() 27 …return __builtin_shuffle (x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, 2… in f3() 42 V3 43 f6 (V3 *x) in f6() 45 …return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 16, 1, 17, 2, 18, 3, 19, 4, 20, 5, 21, 6, 22, 7, … in f6() 60 V3 61 f9 (V3 x) in f9() 63 …return __builtin_shuffle ((V3) {}, x, (V3) { 16, 0, 17, 1, 18, 2, 19, 3, 20, 4, 21, 5, 22, 6, 23, … in f9() 78 V3 [all …]
|
H A D | pr95905-3.c | 24 V3 25 f3 (V3 x) in f3() 27 return __builtin_shuffle (x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f3() 42 V3 43 f6 (V3 *x) in f6() 45 return __builtin_shuffle (*x, (V3) {}, (V3) { 0, 8, 1, 9, 2, 10, 3, 11 }); in f6() 60 V3 61 f9 (V3 x) in f9() 63 return __builtin_shuffle ((V3) {}, x, (V3) { 8, 0, 9, 1, 10, 2, 11, 3 }); in f9() 78 V3 [all …]
|
/dports/lang/fpc-source/fpc-3.2.2/tests/test/cg/ |
H A D | tvectorcall2.pp | 52 HVATest.V3 := InputHVA.V3 + A3; 59 HVATest.V3 := InputHVA.V3 - A3; 66 HVATest.V3 := InputHVA.V3 + A3; 82 …HVA.V3.M128_F32[0] := 90.0; HVA.V3.M128_F32[1] := 100.0; HVA.V3.M128_F32[2] := 110.0; HVA.V3.M… 106 …WriteLn('HVA.V3: ', HVA.V3.M128_F32[0], ',', HVA.V3.M128_F32[1], ',', HVA.V3.M128_F32[2], ',', HVA… 114 …WriteLn('AddRes.V3: ', AddRes.V3.M128_F32[0], ',', AddRes.V3.M128_F32[1], ',', AddRes.V3.M128_F32[… 119 …WriteLn('AddExp.V3: ', AddExp.V3.M128_F32[0], ',', AddExp.V3.M128_F32[1], ',', AddExp.V3.M128_F32[… 124 …WriteLn('SubRes.V3: ', SubRes.V3.M128_F32[0], ',', SubRes.V3.M128_F32[1], ',', SubRes.V3.M128_F32[… 129 …WriteLn('SubExp.V3: ', SubExp.V3.M128_F32[0], ',', SubExp.V3.M128_F32[1], ',', SubExp.V3.M128_F32[… 134 …WriteLn('MixRes.V3: ', MixRes.V3.M128_F32[0], ',', MixRes.V3.M128_F32[1], ',', MixRes.V3.M128_F32[… [all …]
|