Home
last modified time | relevance | path

Searched refs:ntyp (Results 1 – 25 of 1473) sorted by relevance

12345678910>>...59

/dports/math/ltl2ba/ltl2ba-1.3/
H A Dparse.c55 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 Drewrt.c44 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 Dcache.c123 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 Dtrans.c45 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 Dtl_parse.c53 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 Dtl_rewrt.c29 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 Dtl_cache.c114 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 Dpangen5.c110 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 Dtl_trans.c148 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 Dpangen4.c32 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 Dflow.c101 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 Dpangen2.c1072 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 Dpblktyp.f75 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 Dpnumbl.f2 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 Dblkgen.f72 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 Dsblke.f121 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 Dpblend.f64 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 Dpw_init_qexsd_input.f90246 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 Dmartyna_tuckerman.f90100 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 DpwLib_old.sh72 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 Dio_dyn_mat_old.f9059 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 Dplot_io.f9011 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 Drel_pot2.F18 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 Drel_pot2.F18 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 Dfields.go291 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})

12345678910>>...59