Home
last modified time | relevance | path

Searched refs:a_th (Results 1 – 18 of 18) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/search/
H A Dsearch_rules.h176 const Theorem& a_th,
181 const Theorem& a_th,
185 const Theorem& a_th,
190 const Theorem& a_th,
195 const Theorem& a_th,
202 const Theorem& a_th,
H A Dsearch_theorem_producer.h117 const Theorem& a_th,
122 const Theorem& a_th,
126 const Theorem& a_th,
131 const Theorem& a_th,
136 const Theorem& a_th,
143 const Theorem& a_th,
H A Dsearch_theorem_producer.cpp633 Assumptions a(andr_th, a_th); in propAndrLRT()
642 pfs.push_back(a_th.getProof()); in propAndrLRT()
661 Assumptions a(andr_th, a_th); in propAndrLF()
672 pfs.push_back(a_th.getProof()); in propAndrLF()
691 Assumptions a(andr_th, a_th); in propAndrRF()
702 pfs.push_back(a_th.getProof()); in propAndrRF()
723 Assumptions a(andr_th, a_th); in confAndrAT()
734 pfs.push_back(a_th.getProof()); in confAndrAT()
759 a.add(a_th); in confAndrAF()
772 pfs.push_back(a_th.getProof()); in confAndrAF()
[all …]
/dports/databases/mariadb104-server/mariadb-10.4.24/mysql-test/suite/roles/
H A Dflush_roles-12366.test215 CREATE ROLE a_th;
220 GRANT a_th TO operations_th;
224 GRANT SELECT ON bob_live_th.a TO a_th;
228 GRANT SELECT ON oms_live_th.a TO a_th;
374 DROP ROLE a_th;
H A Dflush_roles-12366.result214 CREATE ROLE a_th;
219 GRANT a_th TO operations_th;
223 GRANT SELECT ON bob_live_th.a TO a_th;
227 GRANT SELECT ON oms_live_th.a TO a_th;
538 DROP ROLE a_th;
/dports/databases/mariadb105-client/mariadb-10.5.15/mysql-test/suite/roles/
H A Dflush_roles-12366.test215 CREATE ROLE a_th;
220 GRANT a_th TO operations_th;
224 GRANT SELECT ON bob_live_th.a TO a_th;
228 GRANT SELECT ON oms_live_th.a TO a_th;
374 DROP ROLE a_th;
H A Dflush_roles-12366.result214 CREATE ROLE a_th;
219 GRANT a_th TO operations_th;
223 GRANT SELECT ON bob_live_th.a TO a_th;
227 GRANT SELECT ON oms_live_th.a TO a_th;
538 DROP ROLE a_th;
/dports/databases/mariadb104-client/mariadb-10.4.24/mysql-test/suite/roles/
H A Dflush_roles-12366.test215 CREATE ROLE a_th;
220 GRANT a_th TO operations_th;
224 GRANT SELECT ON bob_live_th.a TO a_th;
228 GRANT SELECT ON oms_live_th.a TO a_th;
374 DROP ROLE a_th;
H A Dflush_roles-12366.result214 CREATE ROLE a_th;
219 GRANT a_th TO operations_th;
223 GRANT SELECT ON bob_live_th.a TO a_th;
227 GRANT SELECT ON oms_live_th.a TO a_th;
538 DROP ROLE a_th;
/dports/databases/mariadb103-server/mariadb-10.3.34/mysql-test/suite/roles/
H A Dflush_roles-12366.test215 CREATE ROLE a_th;
220 GRANT a_th TO operations_th;
224 GRANT SELECT ON bob_live_th.a TO a_th;
228 GRANT SELECT ON oms_live_th.a TO a_th;
374 DROP ROLE a_th;
H A Dflush_roles-12366.result214 CREATE ROLE a_th;
219 GRANT a_th TO operations_th;
223 GRANT SELECT ON bob_live_th.a TO a_th;
227 GRANT SELECT ON oms_live_th.a TO a_th;
538 DROP ROLE a_th;
/dports/databases/mariadb103-client/mariadb-10.3.34/mysql-test/suite/roles/
H A Dflush_roles-12366.test215 CREATE ROLE a_th;
220 GRANT a_th TO operations_th;
224 GRANT SELECT ON bob_live_th.a TO a_th;
228 GRANT SELECT ON oms_live_th.a TO a_th;
374 DROP ROLE a_th;
H A Dflush_roles-12366.result214 CREATE ROLE a_th;
219 GRANT a_th TO operations_th;
223 GRANT SELECT ON bob_live_th.a TO a_th;
227 GRANT SELECT ON oms_live_th.a TO a_th;
538 DROP ROLE a_th;
/dports/databases/mariadb105-server/mariadb-10.5.15/mysql-test/suite/roles/
H A Dflush_roles-12366.test215 CREATE ROLE a_th;
220 GRANT a_th TO operations_th;
224 GRANT SELECT ON bob_live_th.a TO a_th;
228 GRANT SELECT ON oms_live_th.a TO a_th;
374 DROP ROLE a_th;
H A Dflush_roles-12366.result214 CREATE ROLE a_th;
219 GRANT a_th TO operations_th;
223 GRANT SELECT ON bob_live_th.a TO a_th;
227 GRANT SELECT ON oms_live_th.a TO a_th;
538 DROP ROLE a_th;
/dports/misc/vxl/vxl-3.3.2/contrib/brl/bbas/vsph/
H A Dvsph_sph_box_2d.cxx117 double a_th = pa.theta_, b_th = pb.theta_, c_th = pc.theta_; in vsph_sph_box_2d() local
118 min_th_ = a_th; in vsph_sph_box_2d()
120 if (b_th < a_th) { in vsph_sph_box_2d()
122 max_th_ = a_th; in vsph_sph_box_2d()
/dports/editors/gedit/gedit-40.1/po/
H A Dgd.po1899 msgstr "An a_th sgrìobhainn"
4249 #~ msgstr "An t-a_th ionad"
/dports/science/gramps/gramps-5.1.4/po/
H A Dvi.po13564 msgstr "Hội_thoại_trình_sửa_thông_số"
14239 msgstr "Sửa_thông_tin_về_ghi_chú"
14307 msgstr "Sửa_thông_tin_về_người"