/dports/cad/yosys/yosys-yosys-0.12/kernel/ |
H A D | satgen.cc | 74 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 D | satgen.h | 66 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 D | class.ezpdf.php | 143 $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 D | ex30.c | 96 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 D | ex8.c | 52 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 D | ex23.c | 10 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 D | fmaf.c | 48 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 D | ex3.c | 180 …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 D | ex6.c | 245 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 D | align-ksw2.H | 52 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 D | align-ksw2-driver.C | 152 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 D | align-ksw2-extz.C | 6 … 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 D | ksw2.h | 59 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 D | testbench.cc | 257 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 D | puzzle3d.cc | 31 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 D | ksw2.h | 87 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 D | equiv_induct.cc | 35 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 D | eu | 2 …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 D | eu | 2 …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 D | snip | 11 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 D | eu.auto | 45 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 D | eu.auto | 32 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 D | eu.auto | 64 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 D | eu.auto | 64 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 D | b2_math.cpp | 31 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 …]
|