/dports/math/ltl2ba/ltl2ba-1.3/ |
H A D | parse.c | 55 b->ntyp == TRUE || in implies() 56 a->ntyp == FALSE || in implies() 65 ((a->ntyp == U_OPER || a->ntyp == V_OPER) && a->ntyp == b->ntyp && in implies() 74 switch (ptr->ntyp) { in bin_simpler() 76 if (ptr->rgt->ntyp == TRUE in bin_simpler() 425 switch (ptr->ntyp) { in bin_minimal() 459 if (ptr->ntyp == FALSE in tl_factor() 479 if ((ptr->ntyp == TRUE || ptr->ntyp == FALSE)&& tl_simp_log) in tl_factor() 491 if (ptr->ntyp == TRUE in tl_factor() 524 tl_explain(ptr->ntyp); in tl_factor() [all …]
|
H A D | rewrt.c | 44 if (n->ntyp == AND || n->ntyp == OR) in right_linked() 45 while (n->lft && n->lft->ntyp == n->ntyp) in right_linked() 76 Assert(n->ntyp == NOT, n->ntyp); in push_negation() 87 n->ntyp = TRUE; in push_negation() 104 n->ntyp = NEXT; in push_negation() 110 n->ntyp = OR; in push_negation() 113 n->ntyp = AND; in push_negation() 195 m->ntyp = -1; in marknode() 205 tok = n->ntyp; in Canonical() 301 && (prev->ntyp == AND || prev->ntyp == OR)) in Canonical() [all …]
|
H A D | cache.c | 123 n->ntyp = (short) t; in tl_nn() 137 n->ntyp = p->ntyp; in getnode() 165 if (in->ntyp != ntyp) in one_lft() 179 if (from->ntyp != ntyp) in all_lfts() 205 if (a->ntyp != b->ntyp) return 0; in sameform() 212 switch (a->ntyp) { in sameform() 261 if (a->ntyp != b->ntyp) in isequal() 281 if (a->ntyp != b->ntyp) return 0; in ismatch() 300 if (in->ntyp == AND) in any_term() 312 if (srch->ntyp == AND) in any_and() [all …]
|
H A D | trans.c | 45 switch (n->ntyp) { in only_nxt() 67 if (q->ntyp == PREDICATE in dump_cond() 68 || q->ntyp == NOT in dump_cond() 70 || q->ntyp == OR in dump_cond() 72 || q->ntyp == FALSE) in dump_cond() 77 } else if (q->ntyp == OR) in dump_cond() 103 } else if (q->ntyp == V_OPER in dump_cond() 106 } else if (q->ntyp == AND) in dump_cond() 118 switch (n->ntyp) { in sdump() 151 if (n->ntyp == PREDICATE) in DoDump()
|
/dports/devel/spin/Spin-version-6.5.0/Src/ |
H A D | tl_parse.c | 53 if (ptr->ntyp == FALSE in tl_factor() 54 || ptr->ntyp == TRUE) in tl_factor() 57 if (ptr->ntyp == V_OPER) in tl_factor() 70 if (ptr->ntyp == TRUE) in tl_factor() 88 if (ptr->ntyp == TRUE in tl_factor() 89 || ptr->ntyp == FALSE) in tl_factor() 92 if (ptr->ntyp == U_OPER in tl_factor() 96 if (ptr->ntyp == U_OPER) in tl_factor() 118 tl_explain(ptr->ntyp); in tl_factor() 129 switch (ptr->ntyp) { in bin_simpler() [all …]
|
H A D | tl_rewrt.c | 29 if (n->ntyp == AND || n->ntyp == OR) in right_linked() 30 while (n->lft && n->lft->ntyp == n->ntyp) in right_linked() 61 Assert(n->ntyp == NOT, n->ntyp); in push_negation() 74 n->ntyp = TRUE; in push_negation() 95 n->ntyp = NEXT; in push_negation() 102 n->ntyp = OR; in push_negation() 106 n->ntyp = AND; in push_negation() 190 m->ntyp = -1; in marknode() 200 tok = n->ntyp; in Canonical() 285 && (prev->ntyp == AND || prev->ntyp == OR)) in Canonical() [all …]
|
H A D | tl_cache.c | 114 n->ntyp = (short) t; in tl_nn() 128 n->ntyp = p->ntyp; in getnode() 156 if (in->ntyp != ntyp) in one_lft() 170 if (from->ntyp != ntyp) in all_lfts() 196 if (a->ntyp != b->ntyp) return 0; in sameform() 203 switch (a->ntyp) { in sameform() 253 if (a->ntyp != b->ntyp) in isequal() 273 if (a->ntyp != b->ntyp) return 0; in ismatch() 292 if (in->ntyp == AND) in any_term() 304 if (srch->ntyp == AND) in any_and() [all …]
|
H A D | pangen5.c | 110 if (e->n->ntyp != 'c' in good_dead() 136 || lt->ntyp == IF in eligible() 142 || lt->ntyp == DO in eligible() 145 || lt->ntyp == ELSE in eligible() 146 || lt->ntyp == '@' in eligible() 147 || lt->ntyp == 'c' in eligible() 148 || lt->ntyp == 'r' in eligible() 149 || lt->ntyp == 's') in eligible() 276 if (lt->ntyp == 'c' in FSM_MERGER() 277 || lt->ntyp == 'r' in FSM_MERGER() [all …]
|
H A D | tl_trans.c | 148 switch (n->ntyp) { in has_clause() 209 switch (n->ntyp) { in liveness() 259 switch (n->ntyp) { in only_nxt() 281 if (q->ntyp == CEXPR) in dump_cond() 291 || q->ntyp == NOT in dump_cond() 293 || q->ntyp == OR in dump_cond() 295 || q->ntyp == FALSE) in dump_cond() 570 switch (n->ntyp) { in sdump() 761 if (now->ntyp != TRUE) in expand_g() 773 switch (now->ntyp) { in expand_g() [all …]
|
H A D | pangen4.c | 32 switch (now->ntyp) { in undostmnt() 65 if (v->lft->ntyp != CONST in undostmnt() 66 && v->lft->ntyp != EVAL) in undostmnt() 74 if ((v->lft->ntyp != CONST in undostmnt() 93 { switch(v->lft->ntyp) { in undostmnt() 128 { switch(v->lft->ntyp) { in undostmnt() 201 switch (now->ntyp) { in any_undo() 219 if (now->ntyp == oper) in any_oper() 229 if (now->ntyp == '@' || now->ntyp == RUN) in check_proc() 320 switch (n->ntyp) { in proper_enabler() [all …]
|
H A D | flow.c | 101 return (n->ntyp == PRINT in is_skip() 102 || n->ntyp == PRINTM in is_skip() 103 || (n->ntyp == 'c' in is_skip() 120 && n->ntyp != PRINT in check_sequence() 290 { if (n->ntyp == IF || n->ntyp == DO) in new_el() 308 switch (n->ntyp) { in has_chanref() 391 { int tok = n->ntyp; in if_seq() 477 switch (f->n->ntyp) { in escape_el() 584 if (n->ntyp == ':') in colons() 871 explain(t->ntyp); [all …]
|
H A D | pangen2.c | 1072 switch (n->ntyp) { in hidden() 1145 if (n->ntyp == 'c') in Tpe() 1297 if (p->ntyp != q->ntyp in identical() 1388 switch (e->n->ntyp) { in prev_case() 1410 switch (e->n->ntyp) { in new_case() 1435 switch (e->n->ntyp) { in nr_bup() 1895 switch (e->n->ntyp) { in put_el() 2268 switch (n->ntyp) { in has_global() 2374 switch (now->ntyp) { in putstmnt() 3414 switch (n->ntyp) { in getweight() [all …]
|
/dports/cad/feappv/feappv-4.1i/program/ |
H A D | pblktyp.f | 75 ntyp = 7 77 ntyp = -7 90 ntyp = 0 92 ntyp = 8 94 ntyp = 9 96 ntyp = 16 107 ntyp = 11 109 ntyp = 13 111 ntyp = 15 113 ntyp = 17 [all …]
|
H A D | pnumbl.f | 2 subroutine pnumbl(ndm,nr,ns,nt,ntyp, nf,ng, flag) argument 12 integer ndm,nr,ns,nt,ntyp,nf,ng local 18 if(ntyp.lt.10) then 30 elseif (abs(ntyp).eq.7) then ! 6/7-node triangles 46 if(ntyp.eq. -7) then ! 7-node triangles 57 elseif(ntyp.lt.20) then 68 elseif(ntyp.lt.30) then 69 if (ntyp.eq.20) then 71 elseif (ntyp.eq.27) then 73 elseif (ntyp.ge.28) then [all …]
|
H A D | blkgen.f | 72 ntyp = nint(tb(7)) 158 ntyp = 10 162 ntyp = 0 167 if(ntyp.lt.10) then 176 elseif(ntyp.lt.20) then 185 elseif(ntyp.lt.30) then 269 if(ntyp.lt.10) then 279 if (ntyp.eq.0) then 297 if(ntyp.eq. -7) then 320 elseif(ntyp.lt.20) then [all …]
|
H A D | sblke.f | 121 elseif(ntyp.ge.0 .or. ntyp .eq. -7) then 123 if(abs(ntyp).ge.7) inc = 2 128 if(ntyp.eq.8) then 143 if(ntyp.eq.0) then 153 elseif(abs(ntyp).eq.7) then 162 if(ntyp.eq.-7) then 184 if(ntyp.eq.-7) then 197 elseif(ntyp.eq.8) then 209 elseif(ntyp.eq.9) then 222 ityp = (ntyp.eq.1) .or. [all …]
|
H A D | pblend.f | 64 ntyp = iblend(6,numbl) ! Element type 71 if(btyp.eq.2 .and. ntyp.ne.iblend(7,numbl)) then 72 iblend(7,numbl) = ntyp 73 elseif(btyp.ne.2.and. ntyp.ne.iblend(6,numbl)) then 74 iblend(6,numbl) = ntyp 101 ntyp = iblend(6,numbl) 118 ntyp = max(10,iblend(7,numbl)) 136 ntyp = iblend(6,numbl) + 30 184 call pnumbl(ndm,nr,ns,nt,ntyp, nf,ng, flag) 192 iblend(6,numbl) = ntyp [all …]
|
/dports/science/quantum-espresso/q-e-qe-6.7.0/PW/src/ |
H A D | pw_init_qexsd_input.f90 | 246 london_c6_(1:ntyp) = london_c6(1:ntyp) 247 species_(1:ntyp) = atm(1:ntyp) 300 hubbard_U_(1:ntyp) = ip_hubbard_u(1:ntyp) 308 hubbard_J0_ (1:ntyp) = ip_hubbard_J0(1:ntyp) 312 hubbard_alpha_ (1:ntyp) = ip_hubbard_alpha(1:ntyp) 320 hubbard_beta_ (1:ntyp) = ip_hubbard_beta(1:ntyp) 324 hubbard_J_(1:3,1:ntyp) = ip_hubbard_J(1:3,1:ntyp) 341 Hubbard_l_back_(1:ntyp) = lback(1:ntyp) 349 backall_ (1:ntyp) = ip_backall(1:ntyp) 352 Hubbard_l1_back_ (1:ntyp) = l1back(1:ntyp) [all …]
|
H A D | martyna_tuckerman.f90 | 100 INTEGER, INTENT(IN) :: ntyp local 106 REAL(DP), INTENT(IN) :: zv(ntyp) 108 COMPLEX(DP), INTENT(IN) :: strf(ngm,ntyp) 120 v(ig) = - e2 * wg_corr(ig) * SUM(zv(1:ntyp)*strf(ig,1:ntyp)) / omega 141 INTEGER, INTENT(IN) :: ntyp local 149 REAL(DP), INTENT(IN) :: zv(ntyp) 155 COMPLEX(DP), INTENT(IN) :: strf(ngm,ntyp) 177 IF (lnuclei) rho_tot = rho_tot - SUM(zv(1:ntyp)*strf(ig,1:ntyp)) / omega 363 INTEGER, INTENT(IN) :: ntyp, ngm local 364 REAL(DP), INTENT(IN) :: omega, zv(ntyp) [all …]
|
/dports/science/xcrysden/xcrysden-1.6.2/scripts/ |
H A D | pwLib_old.sh | 72 ntyp=`cat "$1" | awk '{gsub(",","\n"); print}' | grep ntyp \ 76 ntyp=`cat "$1" | grep 'number of atomic types' | \ 79 if [ "$ntyp" = "" ]; then 86 read ntyp 91 echo -n "Please enter $ntyp ityp->nat replacements !!! " 92 echo $ntyp > nuclei.charges 94 while [ $i -lt "$ntyp" ]
|
/dports/science/quantum-espresso/q-e-qe-6.7.0/PHonon/PH/ |
H A D | io_dyn_mat_old.f90 | 59 USE ions_base, ONLY : ntyp => nsp, nat, ityp, tau, atm, amass 69 WRITE (iudyn, '(i3,i5,i4,6f12.7)') ntyp, nat, ibrav, celldm 74 DO nt = 1, ntyp 101 INTEGER :: nqs, ntyp, nat, ibrav local 103 REAL(DP) :: xq(3,48), celldm(6), at(3,3), amass(ntyp) 104 CHARACTER(LEN=3) atm(ntyp) 123 READ(1,*) ntyp,nat,ibrav,(celldm(i),i=1,6) 129 CALL mp_bcast(ntyp, ionode_id, intra_image_comm) 137 IF (ntyp.GT.nat) CALL errore('read_dyn_from_file','ntyp.gt.nat!!',ntyp) 138 DO nt = 1,ntyp [all …]
|
/dports/science/quantum-espresso/q-e-qe-6.7.0/Modules/ |
H A D | plot_io.f90 | 11 nr3, nat, ntyp, ibrav, celldm, at, gcutm, dual, ecut, plot_num, atm, & argument 27 integer :: nr1x, nr2x, nr3x, nr1, nr2, nr3, nat, ntyp, ibrav, & local 57 write (iunplot, '(8i8)') nr1x, nr2x, nr3x, nr1, nr2, nr3, nat, ntyp 66 (nt, atm (nt), zv (nt), nt=1, ntyp) 72 read (iunplot, * ) nr1x, nr2x, nr3x, nr1, nr2, nr3, nat, ntyp 81 (ndum, atm(nt), zv(nt), nt=1, ntyp) 93 nat, ntyp, ibrav, celldm, at, gcutm, dual, ecut, plot_num) argument 104 integer :: nr1x, nr2x, nr3x, nr1, nr2, nr3, nat, ntyp, ibrav, plot_num, i local 119 read (iunplot, * ) nr1x, nr2x, nr3x, nr1, nr2, nr3, nat, ntyp
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/NWints/rel/ |
H A D | rel_pot2.F | 18 subroutine rel_pot2 (Vpp,Vpm,Vmp,Vmm,Vrel,nints,ntyp,n_x, argument 33 integer ntyp ! [input] integral type local 51 double precision Vrel(nints,ntyp) ! [output] final relativistic integrals 125 call dcopy (nints*ntyp,zero,0,Vrel,1) 129 if (ntyp .eq. 9) then 130 call dcopy (nab*ntyp,scr(i_scr),1,Vrel,1) 136 if ((ntyp .eq. 1) .or. (ntyp .eq. 4)) then 146 k = ntyp-3
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/NWints/rel/ |
H A D | rel_pot2.F | 18 subroutine rel_pot2 (Vpp,Vpm,Vmp,Vmm,Vrel,nints,ntyp,n_x, argument 33 integer ntyp ! [input] integral type 51 double precision Vrel(nints,ntyp) ! [output] final relativistic integrals 125 call dcopy (nints*ntyp,zero,0,Vrel,1) 129 if (ntyp .eq. 9) then 130 call dcopy (nab*ntyp,scr(i_scr),1,Vrel,1) 136 if ((ntyp .eq. 1) .or. (ntyp .eq. 4)) then 146 k = ntyp-3
|
/dports/security/vault/vault-1.8.2/vendor/github.com/hashicorp/vic/vendor/cloud.google.com/go/internal/fields/ |
H A D | fields.go | 291 var ntyp reflect.Type 294 ntyp = f.Type 295 if ntyp.Kind() == reflect.Ptr { 296 ntyp = ntyp.Elem() 302 if tagName != "" || ntyp == nil || ntyp.Kind() != reflect.Struct { 317 if nextCount[ntyp] > 0 { 318 nextCount[ntyp] = 2 // exact multiple doesn't matter 324 nextCount[ntyp] = 1 326 nextCount[ntyp] = 2 // exact multiple doesn't matter 331 next = append(next, fieldScan{ntyp, index})
|