Home
last modified time | relevance | path

Searched refs:v_2 (Results 1 – 25 of 1289) sorted by relevance

12345678910>>...52

/dports/print/easylatex/easylatex-0.08/testFiles/
H A DinequalityAfterFirstEqnWithTextrm.tex.correct13 &C(v_1) + C(v_2) + C(v_5) + C(v_6)
14 \\&\geq C(v_1) + C(v_2) + C(v_5) + C(v_6) - 2*c(v_1, v_2)
15 \\&= C(v_1,v_2) + C(v_5) + C(v_6)
16 \\&\geq C(v_1,v_2) + C(v_5) + C(v_6) - 2*c(v_1 v_2, v_6)
17 \\&= C(v_1,v_2, v_6) + C(v_5)
18 \\&\geq C(v_1,v_2, v_3) + C(v_5) & \textrm{ if $v_6$ is connected to $v_1$ or $v_2$}
19 \\&\geq C(v_1,v_2, v_3) + C(v_5) - 2*c(v_1 v_2 v_3, v_5)
20 \\&= C(v_1,v_2, v_3, v_5)
21 \\&\geq C(v_1,v_2, v_3, v_4) & \textrm{ if $v_5$ is connected to $v_1$ or $v_2$ or $v_3$}
H A DinequalityAfterFirstEqn.tex.correct13 &C(v_1) + C(v_2) + C(v_5) + C(v_6)
14 \\&\geq C(v_1) + C(v_2) + C(v_5) + C(v_6) - 2*c(v_1, v_2)
15 \\&= C(v_1,v_2) + C(v_5) + C(v_6)
16 \\&\geq C(v_1,v_2) + C(v_5) + C(v_6) - 2*c(v_1 v_2, v_6)
17 \\&= C(v_1,v_2, v_6) + C(v_5)
18 \\&\geq C(v_1,v_2, v_3) + C(v_5)
19 \\&\geq C(v_1,v_2, v_3) + C(v_5) - 2*c(v_1 v_2 v_3, v_5)
20 \\&= C(v_1,v_2, v_3, v_5)
21 \\&\geq C(v_1,v_2, v_3, v_4)
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/standard/
H A Dsemigraph.tst30 e_5e_3^-1e_1^-1, v_1, v_2, v_3, v_4, v_5 ]
50 e_5e_3^-1e_1^-1, v_1, v_2, v_3, v_4, v_5 ]
52 [ v_5, v_3, v_5, v_5, v_3, v_3, v_2, v_1, v_1, v_1, v_1, v_1, v_1, v_1, v_1,
53 v_1, v_1, v_2, v_2, v_2, v_2, v_2, v_2, v_2, v_2, v_4, v_4, v_4, v_4, v_4,
54 v_4, v_4, v_4, v_1, v_2, v_3, v_4, v_5 ]
56 [ v_4, v_4, v_2, v_1, v_2, v_1, v_1, v_2, v_1, v_3, v_4, v_2, v_1, v_5, v_4,
57 v_2, v_1, v_3, v_4, v_2, v_1, v_5, v_4, v_2, v_1, v_3, v_4, v_2, v_1, v_5,
58 v_4, v_2, v_1, v_1, v_2, v_3, v_4, v_5 ]
/dports/textproc/py-sphinx/Sphinx-3.5.2/build/lib/sphinx/search/non-minified-js/
H A Dswedish-stemmer.js88 var /** number */ v_2 = base.cursor;
94 base.cursor = v_2;
97 base.cursor = v_2;
143 base.limit_backward = v_2;
147 base.limit_backward = v_2;
180 base.limit_backward = v_2;
187 base.limit_backward = v_2;
196 base.limit_backward = v_2;
213 base.limit_backward = v_2;
237 base.limit_backward = v_2;
[all …]
H A Dfinnish-stemmer.js237 base.limit_backward = v_2;
241 base.limit_backward = v_2;
276 base.limit_backward = v_2;
280 base.limit_backward = v_2;
390 base.limit_backward = v_2;
394 base.limit_backward = v_2;
494 base.limit_backward = v_2;
498 base.limit_backward = v_2;
536 base.limit_backward = v_2;
571 base.limit_backward = v_2;
[all …]
H A Dnorwegian-stemmer.js81 var /** number */ v_2 = base.cursor;
87 base.cursor = v_2;
90 base.cursor = v_2;
130 var /** number */ v_2 = base.limit_backward;
136 base.limit_backward = v_2;
140 base.limit_backward = v_2;
220 var /** number */ v_2 = base.limit_backward;
225 base.limit_backward = v_2;
229 base.limit_backward = v_2;
242 var /** number */ v_2 = base.limit - base.cursor;
[all …]
/dports/textproc/py-sphinx/stage/usr/local/lib/python3.8/site-packages/sphinx/search/non-minified-js/
H A Dswedish-stemmer.js88 var /** number */ v_2 = base.cursor;
94 base.cursor = v_2;
97 base.cursor = v_2;
143 base.limit_backward = v_2;
147 base.limit_backward = v_2;
180 base.limit_backward = v_2;
187 base.limit_backward = v_2;
196 base.limit_backward = v_2;
213 base.limit_backward = v_2;
237 base.limit_backward = v_2;
[all …]
H A Dfinnish-stemmer.js237 base.limit_backward = v_2;
241 base.limit_backward = v_2;
276 base.limit_backward = v_2;
280 base.limit_backward = v_2;
390 base.limit_backward = v_2;
394 base.limit_backward = v_2;
494 base.limit_backward = v_2;
498 base.limit_backward = v_2;
536 base.limit_backward = v_2;
571 base.limit_backward = v_2;
[all …]
H A Dnorwegian-stemmer.js81 var /** number */ v_2 = base.cursor;
87 base.cursor = v_2;
90 base.cursor = v_2;
130 var /** number */ v_2 = base.limit_backward;
136 base.limit_backward = v_2;
140 base.limit_backward = v_2;
220 var /** number */ v_2 = base.limit_backward;
225 base.limit_backward = v_2;
229 base.limit_backward = v_2;
242 var /** number */ v_2 = base.limit - base.cursor;
[all …]
/dports/textproc/py-sphinx/Sphinx-3.5.2/sphinx/search/non-minified-js/
H A Dswedish-stemmer.js88 var /** number */ v_2 = base.cursor;
94 base.cursor = v_2;
97 base.cursor = v_2;
143 base.limit_backward = v_2;
147 base.limit_backward = v_2;
180 base.limit_backward = v_2;
187 base.limit_backward = v_2;
196 base.limit_backward = v_2;
213 base.limit_backward = v_2;
237 base.limit_backward = v_2;
[all …]
H A Dfinnish-stemmer.js237 base.limit_backward = v_2;
241 base.limit_backward = v_2;
276 base.limit_backward = v_2;
280 base.limit_backward = v_2;
390 base.limit_backward = v_2;
394 base.limit_backward = v_2;
494 base.limit_backward = v_2;
498 base.limit_backward = v_2;
536 base.limit_backward = v_2;
571 base.limit_backward = v_2;
[all …]
H A Dnorwegian-stemmer.js81 var /** number */ v_2 = base.cursor;
87 base.cursor = v_2;
90 base.cursor = v_2;
130 var /** number */ v_2 = base.limit_backward;
136 base.limit_backward = v_2;
140 base.limit_backward = v_2;
220 var /** number */ v_2 = base.limit_backward;
225 base.limit_backward = v_2;
229 base.limit_backward = v_2;
242 var /** number */ v_2 = base.limit - base.cursor;
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/delim-cont/
H A Dreduce.rkt32 (~~> (cons v_1 (list v_2 ...))
33 (list v_1 v_2 ...)
39 (list v_2 ...)
65 (<> ([x_1 v_1] ... [x_2 v_2] [x_3 v_3] ...) [o_1 ...] (in-hole E_1 v_2))
70 (~~> (% v_1 v_2 v_3)
71 v_2
77 (~~> (% v_2 (in-hole E_2 (wcm w_1 (call/cc v_1 v_2))) v_3)
78 (% v_2 (in-hole E_2 (wcm w_1 (v_1 (cont v_2 E_2)))) v_3)
125 (v_3 v_2)
137 (~~> (% v_2 (in-hole E_2 (wcm w_1 (call/comp v_1 v_2))) v_3)
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/
H A Dtry3_sameret_functions_fse-bfs_tac.calc_next.il.fse-bfs.smt13 …v_2 (store (store (store (store (store (store (store (store mem_35_224 (bvadd ?v_0 bv3[32]) (extra…
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/quantifiers/
H A Dsmtlib46f14a.smt293 …1_87_42)) (?v_2 (c_sort ?v_0 ?p2_86_43))) (= (lt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
95 …1_90_45)) (?v_2 (c_sort ?v_0 ?p2_89_46))) (= (le_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
97 …1_93_48)) (?v_2 (c_sort ?v_0 ?p2_92_49))) (= (gt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
99 …1_96_51)) (?v_2 (c_sort ?v_0 ?p2_95_52))) (= (ge_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
101 …v_2 (c_sort type_alloc_table ?a_103_54)) (?v_0 (c_sort (type_pointer ?t_7_104_53) ?p_102_55))) (le…
110 …4_129_77))) (let ((?v_2 (c_sort ?v_0 ?p_127_79))) (= (block_length ?v_1 (c_sort ?v_0 (shift ?v_2 ?…
112 …rt ?v_0 ?p1_135_86)) (?v_2 (c_sort ?v_0 ?p2_134_87))) (=> (and (= (base_addr ?v_1) (base_addr ?v_2…
113 …38_89)) (?v_2 (c_sort ?v_0 ?p2_137_90))) (=> (= ?p1_138_89 ?p2_137_90) (and (= (base_addr ?v_1) (b…
116 …v_2 (c_sort ?v_0 ?p2_152_103))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (=> (= (+ (offset ?v_1) …
121 …77_128)) (?v_2 (c_sort ?v_0 ?p2_176_129))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (= (sub_point…
[all …]
H A Dsmtlibf957ea.smt295 …1_87_42)) (?v_2 (c_sort ?v_0 ?p2_86_43))) (= (lt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
97 …1_90_45)) (?v_2 (c_sort ?v_0 ?p2_89_46))) (= (le_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
99 …1_93_48)) (?v_2 (c_sort ?v_0 ?p2_92_49))) (= (gt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
101 …1_96_51)) (?v_2 (c_sort ?v_0 ?p2_95_52))) (= (ge_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
103 …v_2 (c_sort type_alloc_table ?a_103_54)) (?v_0 (c_sort (type_pointer ?t_7_104_53) ?p_102_55))) (le…
112 …4_129_77))) (let ((?v_2 (c_sort ?v_0 ?p_127_79))) (= (block_length ?v_1 (c_sort ?v_0 (shift ?v_2 ?…
114 …rt ?v_0 ?p1_135_86)) (?v_2 (c_sort ?v_0 ?p2_134_87))) (=> (and (= (base_addr ?v_1) (base_addr ?v_2…
115 …38_89)) (?v_2 (c_sort ?v_0 ?p2_137_90))) (=> (= ?p1_138_89 ?p2_137_90) (and (= (base_addr ?v_1) (b…
118 …v_2 (c_sort ?v_0 ?p2_152_103))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (=> (= (+ (offset ?v_1) …
123 …77_128)) (?v_2 (c_sort ?v_0 ?p2_176_129))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (= (sub_point…
[all …]
H A Dsmtlib384a03.smt293 …1_87_42)) (?v_2 (c_sort ?v_0 ?p2_86_43))) (= (lt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
95 …1_90_45)) (?v_2 (c_sort ?v_0 ?p2_89_46))) (= (le_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
97 …1_93_48)) (?v_2 (c_sort ?v_0 ?p2_92_49))) (= (gt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
99 …1_96_51)) (?v_2 (c_sort ?v_0 ?p2_95_52))) (= (ge_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
101 …v_2 (c_sort type_alloc_table ?a_103_54)) (?v_0 (c_sort (type_pointer ?t_7_104_53) ?p_102_55))) (le…
110 …4_129_77))) (let ((?v_2 (c_sort ?v_0 ?p_127_79))) (= (block_length ?v_1 (c_sort ?v_0 (shift ?v_2 ?…
112 …rt ?v_0 ?p1_135_86)) (?v_2 (c_sort ?v_0 ?p2_134_87))) (=> (and (= (base_addr ?v_1) (base_addr ?v_2…
113 …38_89)) (?v_2 (c_sort ?v_0 ?p2_137_90))) (=> (= ?p1_138_89 ?p2_137_90) (and (= (base_addr ?v_1) (b…
116 …v_2 (c_sort ?v_0 ?p2_152_103))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (=> (= (+ (offset ?v_1) …
121 …77_128)) (?v_2 (c_sort ?v_0 ?p2_176_129))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (= (sub_point…
[all …]
H A Dsmtlibe99bbe.smt292 …1_87_42)) (?v_2 (c_sort ?v_0 ?p2_86_43))) (= (lt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
94 …1_90_45)) (?v_2 (c_sort ?v_0 ?p2_89_46))) (= (le_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
96 …1_93_48)) (?v_2 (c_sort ?v_0 ?p2_92_49))) (= (gt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
98 …1_96_51)) (?v_2 (c_sort ?v_0 ?p2_95_52))) (= (ge_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
100 …v_2 (c_sort type_alloc_table ?a_103_54)) (?v_0 (c_sort (type_pointer ?t_7_104_53) ?p_102_55))) (le…
109 …4_129_77))) (let ((?v_2 (c_sort ?v_0 ?p_127_79))) (= (block_length ?v_1 (c_sort ?v_0 (shift ?v_2 ?…
111 …rt ?v_0 ?p1_135_86)) (?v_2 (c_sort ?v_0 ?p2_134_87))) (=> (and (= (base_addr ?v_1) (base_addr ?v_2…
112 …38_89)) (?v_2 (c_sort ?v_0 ?p2_137_90))) (=> (= ?p1_138_89 ?p2_137_90) (and (= (base_addr ?v_1) (b…
115 …v_2 (c_sort ?v_0 ?p2_152_103))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (=> (= (+ (offset ?v_1) …
120 …77_128)) (?v_2 (c_sort ?v_0 ?p2_176_129))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (= (sub_point…
[all …]
H A Dqcft-smtlib3dbc51.smt295 …1_87_42)) (?v_2 (c_sort ?v_0 ?p2_86_43))) (= (lt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
97 …1_90_45)) (?v_2 (c_sort ?v_0 ?p2_89_46))) (= (le_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
99 …1_93_48)) (?v_2 (c_sort ?v_0 ?p2_92_49))) (= (gt_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
101 …1_96_51)) (?v_2 (c_sort ?v_0 ?p2_95_52))) (= (ge_pointer ?v_1 ?v_2) (and (= (base_addr ?v_1) (base…
103 …v_2 (c_sort type_alloc_table ?a_103_54)) (?v_0 (c_sort (type_pointer ?t_7_104_53) ?p_102_55))) (le…
112 …4_129_77))) (let ((?v_2 (c_sort ?v_0 ?p_127_79))) (= (block_length ?v_1 (c_sort ?v_0 (shift ?v_2 ?…
114 …rt ?v_0 ?p1_135_86)) (?v_2 (c_sort ?v_0 ?p2_134_87))) (=> (and (= (base_addr ?v_1) (base_addr ?v_2…
115 …38_89)) (?v_2 (c_sort ?v_0 ?p2_137_90))) (=> (= ?p1_138_89 ?p2_137_90) (and (= (base_addr ?v_1) (b…
118 …v_2 (c_sort ?v_0 ?p2_152_103))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (=> (= (+ (offset ?v_1) …
123 …77_128)) (?v_2 (c_sort ?v_0 ?p2_176_129))) (=> (= (base_addr ?v_1) (base_addr ?v_2)) (= (sub_point…
[all …]
/dports/lang/parrot/parrot-8.1.0/src/nci/
H A Dextra_thunks.c156 v_2 = (int)t_2; in pcf_void_int_int()
181 v_2 = (long)t_2; in pcf_void_int_long_long_long_long_long_long_long_long()
222 v_2 = (int)t_2; in pcf_void_ptr_int()
243 v_2 = (int)t_2; in pcf_void_ptr_int_int_int_int()
264 v_2 = (long)t_2; in pcf_void_ptr_long()
343 v_2 = (int)t_2; in pcf_int_ptr_int_ptr_int()
497 v_2 = (int)t_2; in pcf_int_ptr_int_ptr()
1754 v_2 = t_2; in pcf_ptr_ptr_STRING()
3165 v_2 = t_2; in pcf_PMC_ptr_STRING()
3185 v_2 = t_2; in pcf_INTVAL_ptr_STRING()
[all …]
/dports/www/zola/zola-0.15.2/cargo-crates/rust-stemmers-1.2.0/src/snowball/algorithms/
H A Dswedish.rs96 let v_2 = env.cursor;
101 env.cursor = v_2;
104 env.cursor = v_2;
147 let v_2 = env.limit_backward;
156 env.limit_backward = v_2;
161 env.limit_backward = v_2;
191 let v_2 = env.limit_backward;
199 env.limit_backward = v_2;
208 env.limit_backward = v_2;
218 env.limit_backward = v_2;
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/define-judgment-form/
H A Dmulti-val.rkt27 (in-hole E v_2)
28 (judgment-holds (δ b v_1 v_2)))))
32 [(δ fst (pair v_1 v_2) v_1)]
33 [(δ snd (pair v_1 v_2) v_2)]
34 [(δ one (pair v_1 v_2) v_1)]
35 [(δ one (pair v_1 v_2) v_2)])
40 [(subst e [x_1 v_1] [x_2 v_2] ...)
41 (subst (subst1 e x_1 v_1) [x_2 v_2] ...)])
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/cmd/compile/internal/ssa/
H A DrewriteAMD64splitload.go115 mem := v_2
135 mem := v_2
163 mem := v_2
187 x := v_2
258 mem := v_2
379 x := v_2
404 x := v_2
596 x := v_2
621 x := v_2
813 x := v_2
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/list-machine/
H A Dlist-machine.rkt31 [(where #t (different v_1 v_2))
32 (var-lookup r v_2 a_2)
34 (var-lookup (r v_1 ↦ a_1) v_2 a_2)])
41 [(where #t (different v v_2))
42 (var-set r v_2 a_2 r_2)
44 (var-set (r v ↦ a) v_2 a_2 (r_2 v ↦ a))]
65 (--> (p r (begin (fetch-field v 0 v_2) ι))
69 (judgment-holds (var-set r v_2 a_0 r_2)))
70 (--> (p r (begin (fetch-field v 1 v_2) ι))
74 (judgment-holds (var-set r v_2 a_1 r_2)))
[all …]
/dports/textproc/py-snowballstemmer/snowballstemmer-2.2.0/build/lib/snowballstemmer/
H A Dswedish_stemmer.py103 v_2 = self.limit_backward
108 self.limit_backward = v_2
111 self.limit_backward = v_2
127 v_2 = self.limit_backward
131 self.limit_backward = v_2
136 self.limit_backward = v_2
143 self.limit_backward = v_2
149 v_2 = self.limit_backward
154 self.limit_backward = v_2
167 self.limit_backward = v_2
[all …]

12345678910>>...52