/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/test/system_tests/church/ |
H A D | church.t | 21 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… 23 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… 24 A = W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 … 38 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… 54 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 W2))))))))))))))))) (M … 74 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… 76 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… 77 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… 78 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… 94 …W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1… [all …]
|
/dports/textproc/regex2dfa/regex2dfa-0.1.6/third_party/openfst/src/include/fst/ |
H A D | lexicographic-weight.h | 39 template<class W1, class W2> 61 LexicographicWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) { in LexicographicWeight() 76 static const LexicographicWeight<W1, W2> zero(PairWeight<W1, W2>::Zero()); in Zero() 81 static const LexicographicWeight<W1, W2> one(PairWeight<W1, W2>::One()); in One() 120 template <class W1, class W2> 121 inline LexicographicWeight<W1, W2> Plus(const LexicographicWeight<W1, W2> &w, in Plus() argument 125 NaturalLess<W1> less1; in Plus() 134 template <class W1, class W2> 135 inline LexicographicWeight<W1, W2> Times(const LexicographicWeight<W1, W2> &w, in Times() argument 141 template <class W1, class W2> [all …]
|
H A D | product-weight.h | 34 template<class W1, class W2> 48 ProductWeight(const PairWeight<W1, W2>& w) : PairWeight<W1, W2>(w) {} in ProductWeight() argument 50 ProductWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) {} in ProductWeight() 53 static const ProductWeight<W1, W2> zero(PairWeight<W1, W2>::Zero()); in Zero() 58 static const ProductWeight<W1, W2> one(PairWeight<W1, W2>::One()); in One() 89 template <class W1, class W2> 90 inline ProductWeight<W1, W2> Plus(const ProductWeight<W1, W2> &w, in Plus() argument 96 template <class W1, class W2> 97 inline ProductWeight<W1, W2> Times(const ProductWeight<W1, W2> &w, in Times() argument 103 template <class W1, class W2> [all …]
|
H A D | pair-weight.h | 38 template <class W1, class W2> 41 template<class W1, class W2> 44 friend istream &operator>><W1, W2>(istream&, PairWeight<W1, W2>&); 57 static const PairWeight<W1, W2> zero(W1::Zero(), W2::Zero()); in Zero() 62 static const PairWeight<W1, W2> one(W1::One(), W2::One()); in One() 67 static const PairWeight<W1, W2> no_weight(W1::NoWeight(), W2::NoWeight()); in NoWeight() 81 PairWeight<W1, W2> &operator=(const PairWeight<W1, W2> &w) { 132 W1 w1 = W1::Zero(); in ReadNoParen() 181 W1 w1 = W1::Zero(); in ReadWithParen() 207 W1 value1_; [all …]
|
/dports/net/ooni-probe-cli/probe-cli-3.10.1/vendor/github.com/ooni/psiphon/oopsi/github.com/redjack/marionette/third_party/openfst/src/include/fst/ |
H A D | lexicographic-weight.h | 39 template<class W1, class W2> 61 LexicographicWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) { in LexicographicWeight() 76 static const LexicographicWeight<W1, W2> zero(PairWeight<W1, W2>::Zero()); in Zero() 81 static const LexicographicWeight<W1, W2> one(PairWeight<W1, W2>::One()); in One() 120 template <class W1, class W2> 121 inline LexicographicWeight<W1, W2> Plus(const LexicographicWeight<W1, W2> &w, in Plus() argument 125 NaturalLess<W1> less1; in Plus() 134 template <class W1, class W2> 135 inline LexicographicWeight<W1, W2> Times(const LexicographicWeight<W1, W2> &w, in Times() argument 141 template <class W1, class W2> [all …]
|
H A D | product-weight.h | 34 template<class W1, class W2> 48 ProductWeight(const PairWeight<W1, W2>& w) : PairWeight<W1, W2>(w) {} in ProductWeight() argument 50 ProductWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) {} in ProductWeight() 53 static const ProductWeight<W1, W2> zero(PairWeight<W1, W2>::Zero()); in Zero() 58 static const ProductWeight<W1, W2> one(PairWeight<W1, W2>::One()); in One() 89 template <class W1, class W2> 90 inline ProductWeight<W1, W2> Plus(const ProductWeight<W1, W2> &w, in Plus() argument 96 template <class W1, class W2> 97 inline ProductWeight<W1, W2> Times(const ProductWeight<W1, W2> &w, in Times() argument 103 template <class W1, class W2> [all …]
|
H A D | pair-weight.h | 38 template <class W1, class W2> 41 template<class W1, class W2> 44 friend istream &operator>><W1, W2>(istream&, PairWeight<W1, W2>&); 57 static const PairWeight<W1, W2> zero(W1::Zero(), W2::Zero()); in Zero() 62 static const PairWeight<W1, W2> one(W1::One(), W2::One()); in One() 67 static const PairWeight<W1, W2> no_weight(W1::NoWeight(), W2::NoWeight()); in NoWeight() 81 PairWeight<W1, W2> &operator=(const PairWeight<W1, W2> &w) { 132 W1 w1 = W1::Zero(); in ReadNoParen() 181 W1 w1 = W1::Zero(); in ReadWithParen() 207 W1 value1_; [all …]
|
/dports/net/ooni-mini/probe-engine-0.23.0/vendor/github.com/ooni/psiphon/oopsi/github.com/redjack/marionette/third_party/openfst/src/include/fst/ |
H A D | lexicographic-weight.h | 39 template<class W1, class W2> 61 LexicographicWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) { in LexicographicWeight() 76 static const LexicographicWeight<W1, W2> zero(PairWeight<W1, W2>::Zero()); in Zero() 81 static const LexicographicWeight<W1, W2> one(PairWeight<W1, W2>::One()); in One() 120 template <class W1, class W2> 121 inline LexicographicWeight<W1, W2> Plus(const LexicographicWeight<W1, W2> &w, in Plus() argument 125 NaturalLess<W1> less1; in Plus() 134 template <class W1, class W2> 135 inline LexicographicWeight<W1, W2> Times(const LexicographicWeight<W1, W2> &w, in Times() argument 141 template <class W1, class W2> [all …]
|
H A D | product-weight.h | 34 template<class W1, class W2> 48 ProductWeight(const PairWeight<W1, W2>& w) : PairWeight<W1, W2>(w) {} in ProductWeight() argument 50 ProductWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) {} in ProductWeight() 53 static const ProductWeight<W1, W2> zero(PairWeight<W1, W2>::Zero()); in Zero() 58 static const ProductWeight<W1, W2> one(PairWeight<W1, W2>::One()); in One() 89 template <class W1, class W2> 90 inline ProductWeight<W1, W2> Plus(const ProductWeight<W1, W2> &w, in Plus() argument 96 template <class W1, class W2> 97 inline ProductWeight<W1, W2> Times(const ProductWeight<W1, W2> &w, in Times() argument 103 template <class W1, class W2> [all …]
|
H A D | pair-weight.h | 38 template <class W1, class W2> 41 template<class W1, class W2> 44 friend istream &operator>><W1, W2>(istream&, PairWeight<W1, W2>&); 57 static const PairWeight<W1, W2> zero(W1::Zero(), W2::Zero()); in Zero() 62 static const PairWeight<W1, W2> one(W1::One(), W2::One()); in One() 67 static const PairWeight<W1, W2> no_weight(W1::NoWeight(), W2::NoWeight()); in NoWeight() 81 PairWeight<W1, W2> &operator=(const PairWeight<W1, W2> &w) { 132 W1 w1 = W1::Zero(); in ReadNoParen() 181 W1 w1 = W1::Zero(); in ReadWithParen() 207 W1 value1_; [all …]
|
/dports/math/giacxcas/fltk-1.3.0/test/ |
H A D | resizebox.cxx | 30 #define W3 (5*W1+6*B) 52 case 8: box->resize(W1+B,W1,2*W1,B); break; in b_cb() 53 case 2: box->resize(W1+B,W1+B+2*W1,2*W1,B); break; in b_cb() 54 case 4: box->resize(W1+B,W1,B,2*W1); break; in b_cb() 55 case 6: box->resize(W1+B+2*W1,W1+B,B,2*W1); break; in b_cb() 72 n = new Fl_Box(FL_FRAME_BOX,x*(B+W1)+B,y*(B+W1)+B,W1,W1,0); in main() 75 n = new Fl_Box(FL_FRAME_BOX,B,4*W1+5*B,4*W1+3*B,W1,0); in main() 77 n = new Fl_Box(FL_FRAME_BOX,4*W1+5*B,B,W1,5*W1+4*B,0); in main() 79 n = new Fl_Box(FL_FRAME_BOX,W1+B+B,W1+B+B,2*W1+B,2*W1+B,0); in main() 82 Fl_Button *b = new Fl_Radio_Button(W1+B+50,W1+B+30,20,20,"@6>"); in main() [all …]
|
/dports/x11-toolkits/fltk/fltk-1.3.8/test/ |
H A D | resizebox.cxx | 21 #define W3 (5*W1+6*B) 43 case 8: box->resize(W1+B,W1,2*W1,B); break; in b_cb() 44 case 2: box->resize(W1+B,W1+B+2*W1,2*W1,B); break; in b_cb() 45 case 4: box->resize(W1+B,W1,B,2*W1); break; in b_cb() 46 case 6: box->resize(W1+B+2*W1,W1+B,B,2*W1); break; in b_cb() 63 n = new Fl_Box(FL_FRAME_BOX,x*(B+W1)+B,y*(B+W1)+B,W1,W1,0); in main() 66 n = new Fl_Box(FL_FRAME_BOX,B,4*W1+5*B,4*W1+3*B,W1,0); in main() 68 n = new Fl_Box(FL_FRAME_BOX,4*W1+5*B,B,W1,5*W1+4*B,0); in main() 70 n = new Fl_Box(FL_FRAME_BOX,W1+B+B,W1+B+B,2*W1+B,2*W1+B,0); in main() 73 Fl_Button *b = new Fl_Radio_Button(W1+B+50,W1+B+30,20,20,"@6>"); in main() [all …]
|
/dports/x11-toolkits/ntk/ntk/test/ |
H A D | resizebox.cxx | 30 #define W3 (5*W1+6*B) 52 case 8: box->resize(W1+B,W1,2*W1,B); break; in b_cb() 53 case 2: box->resize(W1+B,W1+B+2*W1,2*W1,B); break; in b_cb() 54 case 4: box->resize(W1+B,W1,B,2*W1); break; in b_cb() 55 case 6: box->resize(W1+B+2*W1,W1+B,B,2*W1); break; in b_cb() 72 n = new Fl_Box(FL_FRAME_BOX,x*(B+W1)+B,y*(B+W1)+B,W1,W1,0); in main() 75 n = new Fl_Box(FL_FRAME_BOX,B,4*W1+5*B,4*W1+3*B,W1,0); in main() 77 n = new Fl_Box(FL_FRAME_BOX,4*W1+5*B,B,W1,5*W1+4*B,0); in main() 79 n = new Fl_Box(FL_FRAME_BOX,W1+B+B,W1+B+B,2*W1+B,2*W1+B,0); in main() 82 Fl_Button *b = new Fl_Radio_Button(W1+B+50,W1+B+30,20,20,"@6>"); in main() [all …]
|
/dports/math/reduce/Reduce-svn5758-src/contrib/boxdisplay/sml/ |
H A D | SY05 | 2 W1.083349 10 W1.083349 18 W1.083349 26 W1.083349 30 W1.083349 34 W1.083349 38 W1.083349 42 W1.083349 46 W1.083349 50 W1.083349 [all …]
|
H A D | MI05 | 7 W1.152796 11 W1.047513 20 W1.017721 25 W1.110431 30 W1.065292 49 W1.060605 172 W1.144809 192 W1.361133 196 W1.361133 200 W1.361133 [all …]
|
/dports/math/openfst/openfst-1.8.1/src/include/fst/ |
H A D | lexicographic-weight.h | 42 template <class W1, class W2> 66 LexicographicWeight(W1 w1, W2 w2) : PairWeight<W1, W2>(w1, w2) {} in LexicographicWeight() 112 template <class W1, class W2> 113 inline LexicographicWeight<W1, W2> Plus(const LexicographicWeight<W1, W2> &w, in Plus() argument 118 NaturalLess<W1> less1; in Plus() 127 template <class W1, class W2> 128 inline LexicographicWeight<W1, W2> Times(const LexicographicWeight<W1, W2> &w, in Times() argument 134 template <class W1, class W2> 135 inline LexicographicWeight<W1, W2> Divide(const LexicographicWeight<W1, W2> &w, 147 template <class W1, class W2> [all …]
|
H A D | expectation-weight.h | 61 template <class W1, class W2> 79 ExpectationWeight(const W1 &w1, const W2 &w2) : PairWeight<W1, W2>(w1, w2) {} in ExpectationWeight() 118 template <class W1, class W2> 119 inline ExpectationWeight<W1, W2> Plus(const ExpectationWeight<W1, W2> &w1, in Plus() argument 125 template <class W1, class W2> 126 inline ExpectationWeight<W1, W2> Times(const ExpectationWeight<W1, W2> &w1, in Times() argument 141 template <class W1, class W2> 142 inline ExpectationWeight<W1, W2> Divide(const ExpectationWeight<W1, W2> &w1, in Divide() argument 181 template <class W1, class W2> 204 Adder<W1> adder1_; [all …]
|
H A D | product-weight.h | 36 template <class W1, class W2> 47 ProductWeight(W1 w1, W2 w2) in ProductWeight() 85 template <class W1, class W2> 86 inline ProductWeight<W1, W2> Plus(const ProductWeight<W1, W2> &w1, in Plus() argument 92 template <class W1, class W2> 93 inline ProductWeight<W1, W2> Times(const ProductWeight<W1, W2> &w1, in Times() argument 99 template <class W1, class W2> 100 inline ProductWeight<W1, W2> Divide(const ProductWeight<W1, W2> &w1, 108 template <class W1, class W2> 131 Adder<W1> adder1_; [all …]
|
H A D | pair-weight.h | 37 template <class W1, class W2> 99 W1 value1_; 103 template <class W1, class W2> 109 template <class W1, class W2> 115 template <class W1, class W2> 122 template <class W1, class W2> 133 template <class W1, class W2> 138 W1 w1; 150 template <class W1, class W2> 153 using Weight = PairWeight<W1, W2>; [all …]
|
/dports/security/botan110/Botan-1.10.17/src/block/skipjack/ |
H A D | skipjack.cpp | 20 byte G1 = get_byte(0, W1), G2 = get_byte(1, W1), G3; in step_A() 28 W4 ^= W1 ^ round; in step_A() 37 byte G1 = get_byte(0, W1), G2 = get_byte(1, W1), G3; in step_B() 94 step_B(W1, W2, 9, ftab); step_B(W4, W1, 10, ftab); in encrypt_n() 96 step_B(W1, W2, 13, ftab); step_B(W4, W1, 14, ftab); in encrypt_n() 104 step_B(W1, W2, 25, ftab); step_B(W4, W1, 26, ftab); in encrypt_n() 106 step_B(W1, W2, 29, ftab); step_B(W4, W1, 30, ftab); in encrypt_n() 131 step_Bi(W4, W1, 30, ftab); step_Bi(W1, W2, 29, ftab); in decrypt_n() 133 step_Bi(W4, W1, 26, ftab); step_Bi(W1, W2, 25, ftab); in decrypt_n() 141 step_Bi(W4, W1, 14, ftab); step_Bi(W1, W2, 13, ftab); in decrypt_n() [all …]
|
/dports/security/pkcs11-tools/pkcs11-tools-2.5.0/.gnulib/lib/ |
H A D | sm3.c | 330 R1( a, b, c, d, e, f, g, h, T( 0), W1( 0), W1( 4) ); 331 R1( d, a, b, c, h, e, f, g, T( 1), W1( 1), W1( 5) ); 332 R1( c, d, a, b, g, h, e, f, T( 2), W1( 2), W1( 6) ); 333 R1( b, c, d, a, f, g, h, e, T( 3), W1( 3), W1( 7) ); 334 R1( a, b, c, d, e, f, g, h, T( 4), W1( 4), W1( 8) ); 335 R1( d, a, b, c, h, e, f, g, T( 5), W1( 5), W1( 9) ); 336 R1( c, d, a, b, g, h, e, f, T( 6), W1( 6), W1(10) ); 337 R1( b, c, d, a, f, g, h, e, T( 7), W1( 7), W1(11) ); 338 R1( a, b, c, d, e, f, g, h, T( 8), W1( 8), W1(12) ); 339 R1( d, a, b, c, h, e, f, g, T( 9), W1( 9), W1(13) ); [all …]
|
/dports/science/erd/erd-3.0.6/src/ |
H A D | erd__rys_1_roots_weights.f | 145 R1 = F1 / (W1 - F1) 147 WTS (N) = W1 172 R1 = F1 / (W1 - F1) 174 WTS (N) = W1 199 R1 = F1 / (W1 - F1) 201 WTS (N) = W1 222 R1 = F1 / (W1 - F1) 224 WTS (N) = W1 242 R1 = F1 / (W1 - F1) 244 WTS (N) = W1 [all …]
|
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/examples/pcf/ |
H A D | script3 | 35 Ty = all (W1\ c (num --> W1 --> W1 --> W1)) 44 Ty = all (W1\ all (W2\ c ((W2 --> W2 --> W1) --> W2 --> W2 --> bool))) 62 Ty = all (W1\ all (W2\ c ((W2 --> W1) --> lst W2 --> lst W1))) 71 Ty = all (W1\ c (W1 --> lst W1 --> bool)) 89 Ty = all (W1\ c (lst W1 --> lst W1 --> lst W1)) 119 Ty = all (W1\ all (W2\ c (W1 --> W2 --> W2))) 137 Ty = all (W1\ c (W1 --> W1)) 146 Ty = all (W1\ c (W1 --> W1)) 155 Ty = all (W1\ all (W2\ c (W2 --> W1 --> W2))) 164 Ty = all (W1\ all (W2\ all (W3\ c ((W3 --> W2 --> W1) --> (W3 --> W2) --> W3 --> W1)))) [all …]
|
/dports/audio/bristol/bristol-0.60.10/brighton/ |
H A D | brightonOdyssey.c | 90 #define W1 12 macro 262 {"", 1, C0, R0, W1, L1, 0, 1, 0, 269 {"", 1, C2, R0, W1, L1, 0, 1, 0, 271 {"", 1, C3, R0, W1, L1, 0, 1, 0, 273 {"", 1, C4, R0, W1, L1, 0, 1, 0, 275 {"", 1, C5, R0, W1, L1, 0, 1, 0, 277 {"", 1, C2, R4, W1, L1, 0, 1, 0, 279 {"", 1, C3, R4, W1, L1, 0, 1, 0, 292 {"", 1, C6, R0, W1, L1, 0, 1, 0, 294 {"", 1, C7, R0, W1, L1, 0, 1, 0, [all …]
|
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/test/system_tests/pcf_poly/ |
H A D | pcf_poly.t | 34 Ty = all (W1\ c (num --> W1 --> W1 --> W1)) 48 Ty = all (W1\ all (W2\ c ((W2 --> W2 --> W1) --> W2 --> W2 --> bool))) 76 Ty = all (W1\ all (W2\ c ((W2 --> W1) --> lst W2 --> lst W1))) 90 Ty = all (W1\ c (W1 --> lst W1 --> bool)) 118 Ty = all (W1\ c (lst W1 --> lst W1 --> lst W1)) 176 Ty = all (W1\ all (W2\ c (W1 --> W2 --> W2))) 204 Ty = all (W1\ c (W1 --> W1)) 218 Ty = all (W1\ c (W1 --> W1)) 232 Ty = all (W1\ all (W2\ c (W2 --> W1 --> W2))) 246 Ty = all (W1\ all (W2\ all (W3\ c ((W3 --> W2 --> W1) --> (W3 --> W2) --> W3 --> W1)))) [all …]
|