Home
last modified time | relevance | path

Searched refs:ez (Results 1 – 25 of 3946) sorted by relevance

12345678910>>...158

/dports/cad/yosys/yosys-yosys-0.12/kernel/
H A Dsatgen.cc74 ez->assume(ez->vec_eq(ez->vec_not(ez->vec_and(a, b)), yy)); in importCell()
78 ez->assume(ez->vec_eq(ez->vec_not(ez->vec_or(a, b)), yy)); in importCell()
82 ez->assume(ez->vec_eq(ez->vec_not(ez->vec_xor(a, b)), yy)); in importCell()
84 ez->assume(ez->vec_eq(ez->vec_and(a, ez->vec_not(b)), yy)); in importCell()
86 ez->assume(ez->vec_eq(ez->vec_or(a, ez->vec_not(b)), yy)); in importCell()
154 ez->assume(ez->IFF(ez->NOT(ez->OR(ez->AND(a, b), ez->AND(c, d))), yy)); in importCell()
156 ez->assume(ez->IFF(ez->NOT(ez->AND(ez->OR(a, b), ez->OR(c, d))), yy)); in importCell()
354 ez->SET(ez->NOT(ez->expression(ez->OpXor, a)), yy.at(0)); in importCell()
356 ez->SET(ez->NOT(ez->expression(ez->OpOr, a)), yy.at(0)); in importCell()
419 …ez->SET(ez->AND(ez->OR(aX, bX), ez->NOT(ez->AND(a1, b1)), ez->NOT(a0), ez->NOT(b0)), undef_y.at(0)… in importCell()
[all …]
H A Dsatgen.h66 ezSAT *ez; member
78 ez(ez), sigmap(sigmap), prefix(prefix), ignore_div_by_zero(false), model_undef(false) in ez() function
184 return ez->vec_reduce_and(ez->vec_or(check_bits, ez->vec_not(enable_bits)));
198 return ez->vec_reduce_and(ez->vec_or(check_bits, ez->vec_not(enable_bits)));
219 eq_bits.push_back(ez->AND(ez->IFF(undef_lhs.at(i), undef_rhs.at(i)),
220 ez->IFF(ez->OR(vec_lhs.at(i), undef_lhs.at(i)), ez->OR(vec_rhs.at(i), undef_rhs.at(i)))));
258 ez->assume(ez->expression(ezSAT::OpAnd, ez->vec_or(vec_undef, ez->vec_iff(trunc_y, trunc_yy)))); in undefGating()
261 ez->assume(ez->expression(ezSAT::OpAnd, ez->vec_or(vec_undef, ez->vec_iff(vec_y, vec_yy)))); in undefGating()
270 std::vector<int> unequal_ab = ez->vec_not(ez->vec_iff(a, b)); in mux()
272 undef_res = ez->vec_ite(undef_s, undef_ab, ez->vec_ite(s, undef_b, undef_a)); in mux()
[all …]
/dports/devel/pear-PhpDocumentor/PhpDocumentor-1.4.4/phpDocumentor/Converters/PDF/default/
H A Dclass.ezpdf.php143 $this->y = $this->ez['pageHeight']-$this->ez['topMargin'];
164 if (isset($this->ez['columns']) && $this->ez['columns']==1){
188 $this->ez['topMargin']=$this->ez['pageHeight']-$this->y;
191 $this->ez['rightMargin']=$this->ez['pageWidth']-$this->ez['leftMargin']-$width;
198 $this->ez['leftMargin']=$this->ez['columns']['margins'][0];
200 $this->ez['topMargin']=$this->ez['columns']['margins'][2];
239 …$this->ez['leftMargin']=$this->ez['columns']['margins'][0]+($this->ez['columns']['colNum']-1)*($th…
240 $this->ez['rightMargin']=$this->ez['pageWidth']-$this->ez['leftMargin']-$width;
246 $this->y = $this->ez['pageHeight']-$this->ez['topMargin'];
258 $this->y = $this->ez['pageHeight']-$this->ez['topMargin'];
[all …]
/dports/science/PETSc/petsc-3.14.1/src/dm/impls/stag/tests/
H A Dex30.c96 for (ez = startz; ez<startz+nz; ++ez) { in CreateMat()
113 if (ez == N[2]-1) { in CreateMat()
136 if (ez == 0) { in CreateMat()
171 if (ez == 0) { in CreateMat()
257 if (ez == 0) { in CreateMat()
292 if (ez == 0) { in CreateMat()
364 if (ez == 0) { in CreateMat()
556 for (ez = startz; ez<startz+nz; ++ez) { in CheckMat()
600 if (ez == 0) { in CheckMat()
635 if (ez == 0) { in CheckMat()
[all …]
H A Dex8.c52 for (ez=startz; ez<startz+nz+nExtraz; ++ez) { in main()
148 for (ez=startz; ez<startz+nz+nExtraz; ++ez) { in ApplyOperator()
150 arrIn[ez][ey][-1][idxP] = arrIn[ez][ey][0][idxP]; in ApplyOperator()
155 for (ez=startz; ez<startz+nz+nExtraz; ++ez) { in ApplyOperator()
162 for (ez=startz; ez<startz+nz+nExtraz; ++ez) { in ApplyOperator()
164 arrIn[ez][-1][ex][idxP] = arrIn[ez][0][ex][idxP]; in ApplyOperator()
169 for (ez=startz; ez<startz+nz+nExtraz; ++ez) { in ApplyOperator()
192 for (ez=startz; ez<startz+nz+nExtraz; ++ez) { in ApplyOperator()
198 …arrOut[ez][ey][ex][idxUx] = arrIn[ez][ey][ex][idxP] + arrIn[ez][ey][ex-1][idxP] - arrIn[ez][ey][ex… in ApplyOperator()
199 …arrOut[ez][ey][ex][idxUy] = arrIn[ez][ey][ex][idxP] + arrIn[ez][ey-1][ex][idxP] - arrIn[ez][ey][ex… in ApplyOperator()
[all …]
H A Dex23.c10 PetscInt ex,ey,ez,n[3],start[3],nExtra[3],iNext,iPrev,iCenter,d,round; in main() local
39 for (ez=start[2]; ez<start[2]+n[2]; ++ez){ in main()
40 cArrZ[ez][iPrev] *= 1.1; in main()
41 cArrZ[ez][iNext] = cArrZ[ez][iPrev] + 0.1; in main()
42 cArrZ[ez][iCenter] = 0.5 * (cArrZ[ez][iPrev] + cArrZ[ez][iNext]); in main()
56 for (ez=start[2]; ez<start[2]+n[2]; ++ez){ in main()
57 cArrZ[ez][iPrev] = 2.0; in main()
58 cArrZ[ez][iNext] = 2.0; in main()
59 cArrZ[ez][iCenter] = 2.0; in main()
/dports/math/opensolaris-libm/opensolaris-libm-2017.01.31/usr/src/libm/src/m9x/
H A Dfmaf.c48 int exy, ez; in __fmaf() local
64 if ((ez - exy <= 4 && exy - ez <= 28) || exy == 0x7ff || exy == 0 || in __fmaf()
65 ez == 0x7ff || ez == 0) { in __fmaf()
73 if (ez > exy) { in __fmaf()
74 if (ez - exy < 31) { in __fmaf()
76 s = 2 << (ez - exy); in __fmaf()
93 if (exy - ez < 31) { in __fmaf()
134 int exy, ez; in __fmaf() local
155 if ((ez - exy <= 15 && exy - ez <= 39) || exy == 0x7fff || exy == 0 || in __fmaf()
156 ez == 0x7fff || ez == 0) { in __fmaf()
[all …]
/dports/science/PETSc/petsc-3.14.1/src/dm/impls/stag/tutorials/
H A Dex3.c180 …for (ez = startz; ez<startz+nz; ++ez) { /* With DMStag, always iterate x fastest, y second fastest… in CreateSystem()
201 …valRhs = uyRef(arrCoord[ez][ey][ex][icuy_up[0]],arrCoord[ez][ey][ex][icuy_up[1]],arrCoord[ez][ey][… in CreateSystem()
223 …valRhs = uxRef(arrCoord[ez][ey][ex][icux[0]],arrCoord[ez][ey][ex][icux[1]],arrCoord[ez][ey][ex][ic… in CreateSystem()
337 …valRhs = fx(arrCoord[ez][ey][ex][icux[0]], arrCoord[ez][ey][ex][icux[1]], arrCoord[ez][ey][ex][icu… in CreateSystem()
349 …valRhs = uyRef(arrCoord[ez][ey][ex][icuy[0]],arrCoord[ez][ey][ex][icuy[1]],arrCoord[ez][ey][ex][ic… in CreateSystem()
463 …valRhs = fy(arrCoord[ez][ey][ex][icuy[0]],arrCoord[ez][ey][ex][icuy[1]],arrCoord[ez][ey][ex][icuy[… in CreateSystem()
475 …valRhs = uzRef(arrCoord[ez][ey][ex][icuz[0]],arrCoord[ez][ey][ex][icuz[1]],arrCoord[ez][ey][ex][ic… in CreateSystem()
589 …valRhs = fz(arrCoord[ez][ey][ex][icuz[0]],arrCoord[ez][ey][ex][icuz[1]],arrCoord[ez][ey][ex][icuz[… in CreateSystem()
602 …valRhs = pRef(arrCoord[ez][ey][ex][icp[0]],arrCoord[ez][ey][ex][icp[1]],arrCoord[ez][ey][ex][icp[2… in CreateSystem()
617 …valRhs = g(arrCoord[ez][ey][ex][icp[0]],arrCoord[ez][ey][ex][icp[1]],arrCoord[ez][ey][ex][icp[2]]); in CreateSystem()
[all …]
H A Dex6.c245 for (ez=startz; ez<startz+nz; ++ez) { in CreateLame()
258 for (ez=startz; ez<startz+nz+extraz; ++ez) { in CreateLame()
271 if (ez < N[2]) { in CreateLame()
460 for (ez = startz; ez < startz + nz; ++ez) { in UpdateVelocity_3d()
473 … + (arr_stress[ez][ey][ex][slot_tyy] - arr_stress[ez][ey-1][ex][slot_tyy]) / dy in UpdateVelocity_3d()
491 if (ez > 0) { in UpdateVelocity_3d()
678 for (ez = startz; ez < startz + nz; ++ez) { in UpdateStress_3d()
712 … if (ez > 0) dz = arr_coord_z[ez][slot_coord_element] - arr_coord_z[ez-1][slot_coord_element]; in UpdateStress_3d()
723 if (ex > 0 && ez > 0) { in UpdateStress_3d()
732 if (ey > 0 && ez > 0) { in UpdateStress_3d()
[all …]
/dports/biology/canu/canu-2.2/src/utility/src/utility/
H A Dalign-ksw2.H52 int8_t q, int8_t e, int w, int zdrop, int flag, ksw_extz_t *ez);
153 static inline void ksw_reset_extz(ksw_extz_t *ez) in ksw_reset_extz() argument
155 ez->max_q = ez->max_t = ez->mqe_t = ez->mte_q = -1; in ksw_reset_extz()
156 ez->max = 0, ez->score = ez->mqe = ez->mte = KSW_NEG_INF; in ksw_reset_extz()
157 ez->n_cigar = 0, ez->zdropped = 0, ez->reach_end = 0; in ksw_reset_extz()
165 if (H > (int32_t)ez->max) { in ksw_apply_zdrop()
166 ez->max = H, ez->max_t = t, ez->max_q = r - t; in ksw_apply_zdrop()
167 } else if (t >= ez->max_t && r - t >= ez->max_q) { in ksw_apply_zdrop()
168 int tl = t - ez->max_t, ql = (r - t) - ez->max_q, l; in ksw_apply_zdrop()
170 if (zdrop >= 0 && ez->max - H > zdrop + l * e) { in ksw_apply_zdrop()
[all …]
H A Dalign-ksw2-driver.C152 ksw_extz_t ez; in align() local
156 ez.max_q = -1; in align()
157 ez.max_t = -1; in align()
158 ez.mqe_t = -1; in align()
159 ez.mte_q = -1; in align()
161 ez.max = 0; in align()
162 ez.mqe = KSW_NEG_INF; in align()
163 ez.mte = KSW_NEG_INF; in align()
165 ez.n_cigar = 0; in align()
199 _score = ez.score; in align()
[all …]
H A Dalign-ksw2-extz.C6 … int8_t m, const int8_t *mat, int8_t gapo, int8_t gape, int w, int zdrop, int flag, ksw_extz_t *ez) in ksw_extz() argument
13 ksw_reset_extz(ez); in ksw_extz()
118 if (en == qlen - 1 && eh[qlen].h > ez->mqe) in ksw_extz()
119 ez->mqe = eh[qlen].h, ez->mqe_t = i; in ksw_extz()
121 ez->mte = max, ez->mte_q = max_j; in ksw_extz()
122 if (ksw_apply_zdrop(ez, 0, max, i, max_j, zdrop, gape)) break; in ksw_extz()
124 ez->score = eh[qlen].h; in ksw_extz()
129 if (!ez->zdropped && !(flag&KSW_EZ_EXTZ_ONLY)) in ksw_extz()
130 …rack(km, 0, rev_cigar, 0, z, off, 0, n_col, tlen-1, qlen-1, &ez->m_cigar, &ez->n_cigar, &ez->cigar… in ksw_extz()
131 else if (ez->max_t >= 0 && ez->max_q >= 0) in ksw_extz()
[all …]
/dports/biology/minimap2/minimap2-2.24/
H A Dksw2.h59 int8_t q, int8_t e, int w, int zdrop, int flag, ksw_extz_t *ez);
160 static inline void ksw_reset_extz(ksw_extz_t *ez) in ksw_reset_extz() argument
162 ez->max_q = ez->max_t = ez->mqe_t = ez->mte_q = -1; in ksw_reset_extz()
163 ez->max = 0, ez->score = ez->mqe = ez->mte = KSW_NEG_INF; in ksw_reset_extz()
164 ez->n_cigar = 0, ez->zdropped = 0, ez->reach_end = 0; in ksw_reset_extz()
172 if (H > (int32_t)ez->max) { in ksw_apply_zdrop()
173 ez->max = H, ez->max_t = t, ez->max_q = r - t; in ksw_apply_zdrop()
174 } else if (t >= ez->max_t && r - t >= ez->max_q) { in ksw_apply_zdrop()
175 int tl = t - ez->max_t, ql = (r - t) - ez->max_q, l; in ksw_apply_zdrop()
177 if (zdrop >= 0 && ez->max - H > zdrop + l * e) { in ksw_apply_zdrop()
[all …]
/dports/cad/yosys/yosys-yosys-0.12/libs/ezsat/
H A Dtestbench.cc257 ezMiniSAT ez; in test_onehot() local
259 int a = ez.frozen_literal("a"); in test_onehot()
260 int b = ez.frozen_literal("b"); in test_onehot()
270 ez.assume(ez.onehot(abcd)); in test_onehot()
290 ez.assume(ez.NOT(ez.expression(ezSAT::OpAnd, sol))); in test_onehot()
311 ezMiniSAT ez; in test_manyhot() local
324 ez.assume(ez.manyhot(abcd, 1, 2)); in test_manyhot()
344 ez.assume(ez.NOT(ez.expression(ezSAT::OpAnd, sol))); in test_manyhot()
365 ezMiniSAT ez; in test_ordered() local
385 ez.assume(ez.ordered(abc, xyz)); in test_ordered()
[all …]
H A Dpuzzle3d.cc31 ezMiniSAT ez; variable
70 int var = ez.literal(); in add_block()
175 formula.push_back(ez.OR(ez.NOT(a), var)); in condense_exclusives()
176 formula.push_back(ez.OR(ez.expression(ezSAT::OpOr, pool), ez.NOT(var))); in condense_exclusives()
178 ez.assume(ez.onehot(pool, true)); in condense_exclusives()
179 ez.assume(ez.expression(ezSAT::OpAnd, formula)); in condense_exclusives()
195 ez.assume(ez.manyhot(block_positions_124, NUM_124)); in main()
201 ez.assume(ez.manyhot(block_positions_223, NUM_223)); in main()
208 ez.assume(ez.onehot(grid[ix][iy][iz], true)); in main()
255 ez.assume(ez.ordered(vecvec[0], vecvec[1])); in main()
[all …]
/dports/biology/mmseqs2/MMseqs2-13-45111/lib/ksw2/
H A Dksw2.h87 int8_t gapo, int8_t gape, int8_t gapo2, int8_t noncan, int zdrop, int flag, ksw_extz_t *ez);
179 static inline void ksw_reset_extz(ksw_extz_t *ez) in ksw_reset_extz() argument
181 ez->max_q = ez->max_t = ez->mqe_t = ez->mte_q = -1; in ksw_reset_extz()
182 ez->max = 0, ez->score = ez->mqe = ez->mte = KSW_NEG_INF; in ksw_reset_extz()
183 ez->n_cigar = 0, ez->zdropped = 0; in ksw_reset_extz()
191 if (H > (int32_t)ez->max) { in ksw_apply_zdrop()
192 ez->max = H, ez->max_t = t, ez->max_q = r - t; in ksw_apply_zdrop()
193 } else if (t >= ez->max_t && r - t >= ez->max_q) { in ksw_apply_zdrop()
194 int tl = t - ez->max_t, ql = (r - t) - ez->max_q, l; in ksw_apply_zdrop()
196 if (zdrop >= 0 && ez->max - H > zdrop + l * e) { in ksw_apply_zdrop()
[all …]
/dports/cad/yosys/yosys-yosys-0.12/passes/equiv/
H A Dequiv_induct.cc35 ezSatPtr ez; member
70 int cond = ez->IFF(ez_a, ez_b); in create_timestep()
72 cond = ez->AND(cond, ez->NOT(satgen.importUndefSigBit(bit_b, step))); in create_timestep()
82 ez->assume(ez->NOT(satgen.importUndefSigBit(bit, step))); in create_timestep()
86 ez_step_is_consistent[step] = ez->expression(ez->OpAnd, ez_equal_terms); in create_timestep()
110 ez->assume(ez->NOT(satgen.importUndefSigBit(bit, 1))); in run()
120 if (!ez->solve()) { in run()
127 ez->bind(new_step_not_consistent); in run()
152 int cond = ez->XOR(ez_a, ez_b); in run()
155 cond = ez->AND(cond, ez->NOT(satgen.importUndefSigBit(bit_a, max_seq+1))); in run()
[all …]
/dports/sysutils/webmin/webmin-1.981/sshd/lang/
H A Deu2 …razio fitxategia ez da aurkitu zure sisteman. Beharbada SSHD ez dago instalatua, edo zure <a href…
3 …aren $1 programa ez da aurkitu zure sisteman. Beharbada SSHD ez dago instalatua, edo zure <a href…
30 users_pexpire_def=Inoiz ez
46 users_banner_def=Ezer ez
82 net_eidle=Aktibitate ezagatiko denbora-muga ez da zehaztu edo ez da baliozkoa
96 access_none=Ezer ez
103 access_edenyg=Ukatzeko talderik ez da sartu
119 misc_regen_def=Inoiz ez
154 host_escape_none=Ezer ez
160 host_rsh=Saiatu RSH SSH ez badabil?
[all …]
/dports/sysutils/usermin/usermin-1.830/ssh/lang/
H A Deu2 …razio fitxategia ez da aurkitu zure sisteman. Beharbada SSHD ez dago instalatua, edo zure <a href…
3 …aren $1 programa ez da aurkitu zure sisteman. Beharbada SSHD ez dago instalatua, edo zure <a href…
30 users_pexpire_def=Inoiz ez
46 users_banner_def=Ezer ez
82 net_eidle=Aktibitate ezagatiko denbora-muga ez da zehaztu edo ez da baliozkoa
96 access_none=Ezer ez
103 access_edenyg=Ukatzeko talderik ez da sartu
119 misc_regen_def=Inoiz ez
154 host_escape_none=Ezer ez
160 host_rsh=Saiatu RSH SSH ez badabil?
[all …]
/dports/irc/epic5/epic5-2.1.6/script/
H A Dsnip11 echo l: $_snippy(l "ez " ez ez ezIIIIIez ez ez)
12 echo r: $_snippy(r " ez" ez ez ezIIIIIez ez ez)
19 l: ezIIIIIez ez ez
20 r: ez ez ezIIIIIez
/dports/sysutils/webmin/webmin-1.981/lpadmin/lang/
H A Deu.auto45 edit_why=Ez - Zergatik ez
94 save_efile='$1' ez da existitzen
139 webmin_none=Bat ere ez
148 webmin_edriver='$1' ez da existitzen
150 caldera_none=Bat ere ez
160 caldera_eprog='$1' ez da existitzen
164 redhat_none=Bat ere ez
176 redhat_eprog='$1' ez da existitzen
183 suse_none=Bat ere ez
281 cups_none=Bat ere ez
[all …]
/dports/sysutils/webmin/webmin-1.981/wuftpd/lang/
H A Deu.auto32 class_eclass='$1' ez da baliozko klase izena
52 message_none=Bat ere ez
58 message_epath='$1' ez da baliozko bidea
102 acl_edaddr='$1' ez da baliozko helbide bat
109 acl_elimit='$1' ez da baliozko denbora muga
125 net_eip='$1' ez da baliozko IP helbide bat
126 net_enet='$1' ez da baliozko sareko helbidea
160 anon_eftp=Abisua: zure sistemak ez du <tt>ftp</tt> erabiltzailerik, eta, beraz, FTP anonimoa ez da …
180 anon_egroup='$1' ez da baliozko taldea
212 misc_none=Bat ere ez
[all …]
/dports/sysutils/webmin/webmin-1.981/mount/lang/
H A Deu.auto64 save_edir='$1' ez da direktorio bat
81 swap_esize='$1' ez da baliozko tamaina
99 smb_ehost=$1 zerbitzaria ez dago
163 solaris_none=Bat ere ez
186 solaris_noopts=Aukerarik ez dago
196 solaris_never=Inoiz ez
229 solaris_eexist='$1' ez da existitzen
230 solaris_edir='$1' ez da direktorio bat
284 linux_none=Bat ere ez
324 linux_noopts=Aukerarik ez dago
[all …]
/dports/sysutils/usermin/usermin-1.830/usermount/lang/
H A Deu.auto64 save_edir='$1' ez da direktorio bat
81 swap_esize='$1' ez da baliozko tamaina
99 smb_ehost=$1 zerbitzaria ez dago
163 solaris_none=Bat ere ez
186 solaris_noopts=Aukerarik ez dago
196 solaris_never=Inoiz ez
229 solaris_eexist='$1' ez da existitzen
230 solaris_edir='$1' ez da direktorio bat
284 linux_none=Bat ere ez
324 linux_noopts=Aukerarik ez dago
[all …]
/dports/misc/box2d/box2d-2.4.1/src/common/
H A Db2_math.cpp31 float det = b2Dot(ex, b2Cross(ey, ez)); in Solve33()
37 x.x = det * b2Dot(b, b2Cross(ey, ez)); in Solve33()
38 x.y = det * b2Dot(ex, b2Cross(b, ez)); in Solve33()
71 M->ez.x = 0.0f; M->ez.y = 0.0f; M->ez.z = 0.0f; in GetInverse22()
77 float det = b2Dot(ex, b2Cross(ey, ez)); in GetSymInverse33()
83 float a11 = ex.x, a12 = ey.x, a13 = ez.x; in GetSymInverse33()
84 float a22 = ey.y, a23 = ez.y; in GetSymInverse33()
85 float a33 = ez.z; in GetSymInverse33()
95 M->ez.x = M->ex.z; in GetSymInverse33()
96 M->ez.y = M->ey.z; in GetSymInverse33()
[all …]

12345678910>>...158