/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()
|