| /dports/science/berkeleygw/BGW-2.0.0/Common/ |
| H A D | eqpcor.f90 | 44 nbvnum,nbcnum,eqp,eqpv,eqpc,irydflag,ivalflag,dont_write,kpt_required,allow_trs)
52 real(DP), intent(inout) :: eqpc(:,:,:) !< (nbc, kp%nrk, kp%nspin) local
170 if(dowrite) write(6,905)ib,kk,is,eqpc(ib-nbcmin+1,kk,is),dummyqp
171 if(ivalflag /= 2 .and. abs(dummydft - eqpc(ib-nbcmin+1,kk,is)) > TOL_eqp) &
173 eqpc(ib-nbcmin+1,kk,is)=dummyqp
175 if(dowrite) write(6,905)ib,kk,is,eqpc(ib-nbcmin+1,kk,is)*RYD,dummyqp
176 if(ivalflag /= 2 .and. abs(dummydft/RYD - eqpc(ib-nbcmin+1,kk,is)) > TOL_eqp) &
178 eqpc(ib-nbcmin+1,kk,is)=dummyqp/RYD
228 call MPI_Bcast(eqpc(1,1,1),size(eqpc),MPI_REAL_DP,0,MPI_COMM_WORLD,mpierr)
|
| /dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
| H A D | equality_engine.cpp | 960 std::shared_ptr<EqProof> eqpc; in explainEquality() local
969 if (eqpc) { in explainEquality()
971 eqpc->debug_print("pf::ee", 1); in explainEquality()
995 eqp->d_children.push_back(eqpc); in explainEquality()
1124 eqpc->d_id = reasonType; in getExplanation()
1144 if( eqpc ){ in getExplanation()
1189 if( eqpc ){ in getExplanation()
1216 if( eqpc ) { in getExplanation()
1236 if (eqpc) { in getExplanation()
1269 if (eqpc != NULL && eqpc->d_id == MERGED_THROUGH_REFLEXIVITY) { in getExplanation()
[all …]
|
| /dports/databases/postgresql11-client/postgresql-11.14/src/backend/partitioning/ |
| H A D | partprune.c | 1431 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1433 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1435 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1440 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql11-plperl/postgresql-11.14/src/backend/partitioning/ |
| H A D | partprune.c | 1431 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1433 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1435 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1440 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql11-contrib/postgresql-11.14/src/backend/partitioning/ |
| H A D | partprune.c | 1431 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1433 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1435 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1440 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql11-plpython/postgresql-11.14/src/backend/partitioning/ |
| H A D | partprune.c | 1431 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1433 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1435 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1440 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql11-docs/postgresql-11.14/src/backend/partitioning/ |
| H A D | partprune.c | 1431 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1433 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1435 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1440 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql11-pltcl/postgresql-11.14/src/backend/partitioning/ |
| H A D | partprune.c | 1431 PartClauseInfo *eqpc = lfirst(lc1);
1433 if (eqpc->keyno == keyno)
1435 prefix = lappend(prefix, eqpc);
1440 Assert(eqpc->keyno > keyno);
|
| /dports/databases/postgresql14-pltcl/postgresql-14.1/src/backend/partitioning/ |
| H A D | partprune.c | 1558 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1560 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1562 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1567 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql14-server/postgresql-14.1/src/backend/partitioning/ |
| H A D | partprune.c | 1558 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1560 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1562 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1567 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql14-contrib/postgresql-14.1/src/backend/partitioning/ |
| H A D | partprune.c | 1558 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1560 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1562 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1567 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql14-plperl/postgresql-14.1/src/backend/partitioning/ |
| H A D | partprune.c | 1558 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1560 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1562 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1567 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql14-plpython/postgresql-14.1/src/backend/partitioning/ |
| H A D | partprune.c | 1558 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1560 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1562 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1567 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql14-client/postgresql-14.1/src/backend/partitioning/ |
| H A D | partprune.c | 1558 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1560 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1562 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1567 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql13-pltcl/postgresql-13.5/src/backend/partitioning/ |
| H A D | partprune.c | 1438 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1440 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1442 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1447 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql14-docs/postgresql-14.1/src/backend/partitioning/ |
| H A D | partprune.c | 1558 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1560 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1562 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1567 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql13-server/postgresql-13.5/src/backend/partitioning/ |
| H A D | partprune.c | 1438 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1440 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1442 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1447 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql13-docs/postgresql-13.5/src/backend/partitioning/ |
| H A D | partprune.c | 1438 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1440 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1442 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1447 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql12-contrib/postgresql-12.9/src/backend/partitioning/ |
| H A D | partprune.c | 1451 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1453 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1455 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1460 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql12-plperl/postgresql-12.9/src/backend/partitioning/ |
| H A D | partprune.c | 1451 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1453 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1455 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1460 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql12-pltcl/postgresql-12.9/src/backend/partitioning/ |
| H A D | partprune.c | 1451 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1453 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1455 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1460 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql12-server/postgresql-12.9/src/backend/partitioning/ |
| H A D | partprune.c | 1451 PartClauseInfo *eqpc = lfirst(lc1);
1453 if (eqpc->keyno == keyno)
1455 prefix = lappend(prefix, eqpc);
1460 Assert(eqpc->keyno > keyno);
|
| /dports/databases/postgresql13-contrib/postgresql-13.5/src/backend/partitioning/ |
| H A D | partprune.c | 1438 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1440 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1442 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1447 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql12-plpython/postgresql-12.9/src/backend/partitioning/ |
| H A D | partprune.c | 1451 PartClauseInfo *eqpc = lfirst(lc1); in gen_prune_steps_from_opexps() local
1453 if (eqpc->keyno == keyno) in gen_prune_steps_from_opexps()
1455 prefix = lappend(prefix, eqpc); in gen_prune_steps_from_opexps()
1460 Assert(eqpc->keyno > keyno); in gen_prune_steps_from_opexps()
|
| /dports/databases/postgresql12-docs/postgresql-12.9/src/backend/partitioning/ |
| H A D | partprune.c | 1451 PartClauseInfo *eqpc = lfirst(lc1);
1453 if (eqpc->keyno == keyno)
1455 prefix = lappend(prefix, eqpc);
1460 Assert(eqpc->keyno > keyno);
|