| /dports/misc/otter/otter-3.3f/source/ |
| H A D | resolve.c | 350 while (f_atom && !found) { in clash()
372 c->found_atom = f_atom; in clash()
401 struct term *f_atom; in hyper_res() local
495 f_atom = next_term(ut, 0); in hyper_res()
567 f_atom = next_term(ut, 0); in hyper_res()
603 struct term *f_atom; in neg_hyper_res() local
699 f_atom = next_term(ut, 0); in neg_hyper_res()
771 f_atom = next_term(ut, 0); in neg_hyper_res()
808 struct term *f_atom; in ur_res() local
928 f_atom = next_term(ut, 0); in ur_res()
[all …]
|
| H A D | clause.c | 1557 struct term *f_atom; in unit_conflict() local
1573 f_atom = next_term(ut, 0); in unit_conflict()
1576 while (go && f_atom) { in unit_conflict()
1578 d = f_atom->occ.lit->container; in unit_conflict()
1579 if (num_literals(d) == 1 && unify(lit->atom, c1, f_atom, c2, &tr)) { in unit_conflict()
1581 e = build_bin_res(lit->atom, c1, f_atom, c2); in unit_conflict()
1600 f_atom = next_term(ut, 0); in unit_conflict()
|
| /dports/science/py-pymatgen/pymatgen-2022.0.15/pymatgen/analysis/ |
| H A D | molecule_matcher.py | 1307 f_atom = q_atoms[i]
1322 if p_atoms[j] != f_atom:
|
| /dports/science/liggghts/LIGGGHTS-PUBLIC-3.8.0-26-g6e873439/src/ |
| H A D | fix_multisphere.cpp | 833 double **f_atom = atom->f; in calc_force() local
864 vectorCopy3D(f_atom[i],f_one); in calc_force()
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/erts/emulator/beam/ |
| H A D | erl_nif.c | 4065 static ErtsCodeInfo** get_func_pp(BeamCodeHeader* mod_code, Eterm f_atom, unsigned arity) in get_func_pp() argument
4072 if (f_atom == ci->mfa.function in get_func_pp()
4334 Eterm f_atom; in erts_load_nif() local
4463 if (!erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1) in erts_load_nif()
4464 || (ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity))==NULL) { in erts_load_nif()
4621 Eterm f_atom; in patch_call_nif_early() local
4623 erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1); in patch_call_nif_early()
4624 ci = *get_func_pp(this_mi->code_hdr, f_atom, f->arity); in patch_call_nif_early()
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_nif.c | 4123 Eterm f_atom, unsigned arity) in get_func_pp() argument
4135 if (f_atom == ci->mfa.function in get_func_pp()
4402 Eterm f_atom; in erts_load_nif() local
4531 if (!erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1) in erts_load_nif()
4532 || (ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity))==NULL) { in erts_load_nif()
4732 Eterm f_atom; in patch_call_nif_early() local
4734 erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1); in patch_call_nif_early()
4736 ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity); in patch_call_nif_early()
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_nif.c | 4123 Eterm f_atom, unsigned arity) in get_func_pp() argument
4135 if (f_atom == ci->mfa.function in get_func_pp()
4402 Eterm f_atom; in erts_load_nif() local
4531 if (!erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1) in erts_load_nif()
4532 || (ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity))==NULL) { in erts_load_nif()
4732 Eterm f_atom; in patch_call_nif_early() local
4734 erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1); in patch_call_nif_early()
4736 ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity); in patch_call_nif_early()
|
| /dports/lang/erlang/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_nif.c | 4123 Eterm f_atom, unsigned arity) in get_func_pp() argument
4135 if (f_atom == ci->mfa.function in get_func_pp()
4402 Eterm f_atom; in erts_load_nif() local
4531 if (!erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1) in erts_load_nif()
4532 || (ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity))==NULL) { in erts_load_nif()
4732 Eterm f_atom; in patch_call_nif_early() local
4734 erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1); in patch_call_nif_early()
4736 ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity); in patch_call_nif_early()
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/erts/emulator/beam/ |
| H A D | erl_nif.c | 4123 Eterm f_atom, unsigned arity) in get_func_pp() argument
4135 if (f_atom == ci->mfa.function in get_func_pp()
4402 Eterm f_atom; in erts_load_nif() local
4531 if (!erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1) in erts_load_nif()
4532 || (ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity))==NULL) { in erts_load_nif()
4732 Eterm f_atom; in patch_call_nif_early() local
4734 erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1); in patch_call_nif_early()
4736 ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity); in patch_call_nif_early()
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/erts/emulator/beam/ |
| H A D | erl_nif.c | 3965 static ErtsCodeInfo** get_func_pp(BeamCodeHeader* mod_code, Eterm f_atom, unsigned arity) in get_func_pp() argument
3972 if (f_atom == ci->mfa.function in get_func_pp()
4151 Eterm f_atom; in load_nif_2() local
4292 if (!erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1) in load_nif_2()
4293 || (ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity))==NULL) { in load_nif_2()
4362 erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1); in load_nif_2()
4363 ci = *get_func_pp(this_mi->code_hdr, f_atom, f->arity); in load_nif_2()
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/erts/emulator/beam/ |
| H A D | erl_nif.c | 3835 static ErtsCodeInfo** get_func_pp(BeamCodeHeader* mod_code, Eterm f_atom, unsigned arity) in get_func_pp() argument
3842 if (f_atom == ci->mfa.function in get_func_pp()
4021 Eterm f_atom; in load_nif_2() local
4161 if (!erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1) in load_nif_2()
4162 || (ci_pp = get_func_pp(this_mi->code_hdr, f_atom, f->arity))==NULL) { in load_nif_2()
4236 erts_atom_get(f->name, sys_strlen(f->name), &f_atom, ERTS_ATOM_ENC_LATIN1); in load_nif_2()
4237 ci = *get_func_pp(this_mi->code_hdr, f_atom, f->arity); in load_nif_2()
|