/dports/math/eprover/eprover-E-2.0/CLAUSES/ |
H A D | ccl_relevance.c | 57 void find_level_fcodes(Relevance_p reldata, long level) in find_level_fcodes() 121 void extract_new_core(Relevance_p reldata) in extract_new_core() 219 Relevance_p reldata, in proofstate_rel_prune() 494 Relevance_p reldata; in ProofStatePreprocess() local
|
/dports/databases/py-pglast/pglast-1.2/libpg_query/src/postgres/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql10-plperl/postgresql-10.19/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql11-client/postgresql-11.14/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql10-pltcl/postgresql-10.19/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql10-client/postgresql-10.19/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql10-contrib/postgresql-10.19/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql10-plpython/postgresql-10.19/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql10-docs/postgresql-10.19/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql11-contrib/postgresql-11.14/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql11-plperl/postgresql-11.14/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql11-docs/postgresql-11.14/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql11-plpython/postgresql-11.14/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql11-server/postgresql-11.14/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql10-server/postgresql-10.19/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql11-pltcl/postgresql-11.14/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql12-client/postgresql-12.9/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/libpg_query/libpg_query-10-1.0.4/src/postgres/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql14-pltcl/postgresql-14.1/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql14-plperl/postgresql-14.1/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql14-server/postgresql-14.1/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql14-docs/postgresql-14.1/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql14-plpython/postgresql-14.1/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql13-pltcl/postgresql-13.5/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|
/dports/databases/postgresql13-server/postgresql-13.5/src/include/utils/ |
H A D | queryenvironment.h | 53 void *reldata; /* structure for execution-time access to data */ member
|