| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_relevance.c | 65 for(handle = reldata->clauses_core->succ; in find_level_fcodes()
66 handle != reldata->clauses_core; in find_level_fcodes()
74 if(!SigIsSpecial(reldata->sig, f)) in find_level_fcodes()
86 handle != reldata->formulas_core; in find_level_fcodes()
94 if(!SigIsSpecial(reldata->sig, f)) in find_level_fcodes()
121 void extract_new_core(Relevance_p reldata) in extract_new_core() argument
127 while(!PStackEmpty(reldata->new_codes)) in extract_new_core()
129 f = PStackPopInt(reldata->new_codes); in extract_new_core()
494 Relevance_p reldata; in ProofStatePreprocess() local
501 reldata = RelevanceDataCompute(state); in ProofStatePreprocess()
[all …]
|
| /dports/lang/zig-devel/zig-0.9.0/lib/libc/mingw/crt/ |
| H A D | pseudo-reloc.c | 310 ptrdiff_t addr_imp, reldata; in do_pseudo_reloc() local
412 if ((reldata & 0x80) != 0) in do_pseudo_reloc()
413 reldata |= ~((ptrdiff_t) 0xff); in do_pseudo_reloc()
417 if ((reldata & 0x8000) != 0) in do_pseudo_reloc()
418 reldata |= ~((ptrdiff_t) 0xffff); in do_pseudo_reloc()
421 reldata = (ptrdiff_t) (*((unsigned int *)reloc_target)); in do_pseudo_reloc()
423 if ((reldata & 0x80000000) != 0) in do_pseudo_reloc()
424 reldata |= ~((ptrdiff_t) 0xffffffff); in do_pseudo_reloc()
433 reldata=0; in do_pseudo_reloc()
440 reldata -= ((ptrdiff_t) base + r->sym); in do_pseudo_reloc()
[all …]
|
| /dports/lang/zig/zig-0.9.0/lib/libc/mingw/crt/ |
| H A D | pseudo-reloc.c | 310 ptrdiff_t addr_imp, reldata; in do_pseudo_reloc() local
412 if ((reldata & 0x80) != 0) in do_pseudo_reloc()
413 reldata |= ~((ptrdiff_t) 0xff); in do_pseudo_reloc()
417 if ((reldata & 0x8000) != 0) in do_pseudo_reloc()
418 reldata |= ~((ptrdiff_t) 0xffff); in do_pseudo_reloc()
421 reldata = (ptrdiff_t) (*((unsigned int *)reloc_target)); in do_pseudo_reloc()
423 if ((reldata & 0x80000000) != 0) in do_pseudo_reloc()
424 reldata |= ~((ptrdiff_t) 0xffffffff); in do_pseudo_reloc()
433 reldata=0; in do_pseudo_reloc()
440 reldata -= ((ptrdiff_t) base + r->sym); in do_pseudo_reloc()
[all …]
|
| /dports/devel/elfutils/elfutils-0.179/libdwfl/ |
| H A D | relocate.c | 616 Elf_Data *reldata = elf_getdata (scn, NULL); in relocate_section() local
617 if (reldata == NULL) in relocate_section()
631 GElf_Rel rel_mem, *r = gelf_getrel (reldata, relidx, &rel_mem); in relocate_section()
645 if (unlikely (gelf_update_rel (reldata, relidx, &rel_mem) == 0)) in relocate_section()
661 GElf_Rela rela_mem, *r = gelf_getrela (reldata, relidx, in relocate_section()
676 if (unlikely (gelf_update_rela (reldata, relidx, in relocate_section()
710 GElf_Rel *r = gelf_getrel (reldata, relidx, &rel_mem); in relocate_section()
716 if (unlikely (gelf_update_rel (reldata, next, r) == 0)) in relocate_section()
725 GElf_Rela *r = gelf_getrela (reldata, relidx, &rela_mem); in relocate_section()
731 if (unlikely (gelf_update_rela (reldata, next, r) == 0)) in relocate_section()
[all …]
|
| /dports/net-mgmt/nagiosql/nagiosql-365d4e0b5edc623b12ea96e8002e8ac66aad6aac/functions/ |
| H A D | NagImportClass.php | 450 foreach ($arrRelations as $reldata) {
456 } elseif ($reldata['type'] == 1) {
462 $reldata,
465 } elseif ($reldata['type'] == 2) {
467 } elseif ($reldata['type'] == 3) {
469 } elseif ($reldata['type'] == 4) {
471 } elseif ($reldata['type'] == 5) {
473 } elseif ($reldata['type'] == 6) {
503 foreach ($arrRelations as $reldata) {
504 if ($reldata['type'] == 4) {
[all …]
|
| /dports/dns/p5-Net-DRI/Net-DRI-0.96/lib/Net/DRI/Protocol/EPP/Extensions/Nominet/ |
| H A D | Notifications.pm | 228 my $reldata=$mes->get_response('notifications','relData');
229 return unless defined $reldata;
234 my $n=$reldata->getChildrenByTagNameNS($ns,'account-id')->get_node(1);
237 …$rinfo->{message}->{$msgid}->{registrar_from}=Net::DRI::Util::xml_child_content($reldata,$ns,'from…
238 …$rinfo->{message}->{$msgid}->{registrar_to}=Net::DRI::Util::xml_child_content($reldata,$ns,'regist…
|
| /dports/math/eprover/eprover-E-2.0/HEURISTICS/ |
| H A D | che_funweights.c | 117 Relevance_p reldata = RelevanceDataCompute(data->proofstate); in init_relevance_vector2() local
132 eff_rel = PDArrayElementInt(reldata->fcode_relevance, i); in init_relevance_vector2()
137 eff_rel = data->default_level_penalty+reldata->max_level; in init_relevance_vector2()
147 RelevanceFree(reldata); in init_relevance_vector2()
169 Relevance_p reldata = RelevanceDataCompute(data->proofstate); in init_relevance_vector() local
178 eff_rel = PDArrayElementInt(reldata->fcode_relevance, i); in init_relevance_vector()
181 eff_rel = data->default_level_penalty+reldata->max_level; in init_relevance_vector()
191 RelevanceFree(reldata); in init_relevance_vector()
|
| /dports/databases/postgresql10-plperl/postgresql-10.19/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql10-pltcl/postgresql-10.19/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql10-server/postgresql-10.19/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql10-docs/postgresql-10.19/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql11-client/postgresql-11.14/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql10-client/postgresql-10.19/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql10-plpython/postgresql-10.19/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql10-contrib/postgresql-10.19/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql11-plperl/postgresql-11.14/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql11-docs/postgresql-11.14/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql11-plpython/postgresql-11.14/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata);
111 scanstate->relation = (Tuplestorestate *) enr->reldata;
|
| /dports/databases/postgresql11-server/postgresql-11.14/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql11-contrib/postgresql-11.14/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql12-client/postgresql-12.9/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata);
111 scanstate->relation = (Tuplestorestate *) enr->reldata;
|
| /dports/databases/postgresql11-pltcl/postgresql-11.14/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql14-pltcl/postgresql-14.1/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql14-server/postgresql-14.1/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|
| /dports/databases/postgresql14-plpython/postgresql-14.1/src/backend/executor/ |
| H A D | nodeNamedtuplestorescan.c | 110 Assert(enr->reldata); in ExecInitNamedTuplestoreScan()
111 scanstate->relation = (Tuplestorestate *) enr->reldata; in ExecInitNamedTuplestoreScan()
|