| /dports/math/eprover/eprover-E-2.0/CONTROL/ |
| H A D | cco_paramodulation.c | 188 static long compute_into_pm_pos_clause(ParamodInfo_p pminfo, in compute_into_pm_pos_clause()
276 long compute_pos_into_pm_term(ParamodInfo_p pminfo, in compute_pos_into_pm_term()
338 static long compute_pos_into_pm_termtree(ParamodInfo_p pminfo, in compute_pos_into_pm_termtree()
374 static long compute_pos_into_pm(ParamodInfo_p pminfo, in compute_pos_into_pm()
418 static long compute_from_pm_pos_clause(ParamodInfo_p pminfo, in compute_from_pm_pos_clause()
499 long compute_pos_from_pm_term(ParamodInfo_p pminfo, in compute_pos_from_pm_term()
602 static long compute_pos_from_pm(ParamodInfo_p pminfo, in compute_pos_from_pm()
821 long ComputeIntoParamodulants(ParamodInfo_p pminfo, in ComputeIntoParamodulants()
867 long ComputeFromParamodulants(ParamodInfo_p pminfo, in ComputeFromParamodulants()
916 long ComputeFromSimParamodulants(ParamodInfo_p pminfo, in ComputeFromSimParamodulants()
[all …]
|
| /dports/x11/xgc/xgc-1.0.5/ |
| H A D | planemask.c | 62 static int *pminfo; /* contains integers saying which bit in create_planemask_choice() local
|
| /dports/math/openmesh/OpenMesh-8.1/src/OpenMesh/Apps/ProgViewer/ |
| H A D | ProgViewerWidget.cc | 134 PMInfo pminfo; in open_prog_mesh() local
|
| /dports/math/openmesh/OpenMesh-8.1/src/OpenMesh/Apps/VDProgMesh/Analyzer/ |
| H A D | vdpmanalyzer.cc | 390 PMInfo pminfo; in open_prog_mesh() local
538 PMInfo pminfo = *pmiter_; in save_vd_prog_mesh() local
688 PMInfo pminfo = pminfos_[i-1]; in vdpm_analysis() local
|
| /dports/math/openmesh/OpenMesh-8.1/src/Unittests/ |
| H A D | unittests_vdpm.cc | 187 PMInfo pminfo; in open_progresult_mesh() local
|
| /dports/news/golded+/golded-plus/golded+/goldlib/gall/ |
| H A D | gutlos2.cpp | 95 } pminfo; variable
|
| /dports/print/ghostscript8-x11/ghostscript-8.71/base/ |
| H A D | gximage3.c | 130 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| H A D | gdevpdfi.c | 1226 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/print/ghostscript7-base/ghostscript-7.07/src/ |
| H A D | gximage3.c | 135 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| H A D | gdevpdfi.c | 549 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/print/ghostscript8-base/ghostscript-8.71/base/ |
| H A D | gximage3.c | 130 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| H A D | gdevpdfi.c | 1226 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/print/ghostscript9-agpl-base/ghostscript-9.52/base/ |
| H A D | gximage3.c | 135 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| /dports/print/ghostscript9-x11/ghostscript-9.06/base/ |
| H A D | gximage3.c | 132 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| H A D | gdevpdfi.c | 1310 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/print/ghostscript9-base/ghostscript-9.06/base/ |
| H A D | gximage3.c | 132 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| H A D | gdevpdfi.c | 1310 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/print/ghostscript9-agpl-x11/ghostscript-9.52/base/ |
| H A D | gximage3.c | 135 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| /dports/print/ghostscript7-x11/ghostscript-7.07/src/ |
| H A D | gximage3.c | 135 gx_image_enum_common_t *pminfo, in make_mcde_default()
|
| H A D | gdevpdfi.c | 549 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/print/ghostscript9-agpl-base/ghostscript-9.52/devices/vector/ |
| H A D | gdevpdfi.c | 2048 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/print/ghostscript9-agpl-x11/ghostscript-9.52/devices/vector/ |
| H A D | gdevpdfi.c | 2048 gx_image_enum_common_t *pminfo, in pdf_image3_make_mcde()
|
| /dports/www/mybb/mybb-mybb_1829/ |
| H A D | private.php | 658 $pminfo = $pmhandler->insert_pm(); variable
|