Home
last modified time | relevance | path

Searched refs:W1 (Results 1 – 25 of 3693) sorted by relevance

12345678910>>...148

/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/test/system_tests/church/
H A Dchurch.t21W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1
23W1\ 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
38W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1
54W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 W2))))))))))))))))) (M …
74W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1
76W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1
77W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1
78W1\ W2\ W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1 (W1
94W1\ 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 Dlexicographic-weight.h39 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 Dproduct-weight.h34 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 Dpair-weight.h38 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 Dlexicographic-weight.h39 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 Dproduct-weight.h34 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 Dpair-weight.h38 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 Dlexicographic-weight.h39 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 Dproduct-weight.h34 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 Dpair-weight.h38 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 Dresizebox.cxx30 #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 Dresizebox.cxx21 #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 Dresizebox.cxx30 #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 DSY052 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 DMI057 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 Dlexicographic-weight.h42 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 Dexpectation-weight.h61 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 Dproduct-weight.h36 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 Dpair-weight.h37 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 Dskipjack.cpp20 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 Dsm3.c330 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 Derd__rys_1_roots_weights.f145 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 Dscript335 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 DbrightonOdyssey.c90 #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 Dpcf_poly.t34 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 …]

12345678910>>...148