/dports/graphics/epix/epix-1.2.19/samples/ |
H A D | symmetries.xp | 8 const double d_th(full_turn()/n); 13 double th(th_0 + i*d_th);
|
/dports/misc/vxl/vxl-3.3.2/contrib/brl/bbas/vsph/ |
H A D | vsph_sph_box_2d.cxx | 548 double d_th = t_theta, d_ph = t_phi; in transform() local 550 d_th /= vnl_math::deg_per_rad; in transform() 554 d_th *= vnl_math::deg_per_rad; in transform() 565 min_th += d_th, max_th += d_th; in transform() 601 double d_th = t_theta, d_ph = t_phi; in transform() local 603 d_th /= vnl_math::deg_per_rad; in transform() 609 d_th *= vnl_math::deg_per_rad; in transform() 619 min_th = (min_th-theta_c)*scale + theta_c +d_th; in transform() 620 max_th = (max_th-theta_c)*scale + theta_c +d_th; in transform()
|
/dports/math/cvc4/CVC4-1.7/src/theory/uf/ |
H A D | theory_uf_strong_solver.cpp | 1324 d_th(th), in StrongSolverTheoryUF() 1352 return d_th->getQuantifiersEngine()->getTheoryEngine()->getSortInference(); in getSortInference() 1357 return d_th->getSatContext(); in getSatContext() 1362 return d_th->getOutputChannel(); in getOutputChannel() 1469 if( d_th->getQuantifiersEngine() ){ in assertNode() 1549 a = d_th->d_equalityEngine.getRepresentative( a ); in areDisequal() 1550 b = d_th->d_equalityEngine.getRepresentative( b ); in areDisequal() 1551 if( d_th->d_equalityEngine.areDisequal( a, b, false ) ){ in areDisequal() 1584 eq::EqClassesIterator eqcs_i(d_th->getEqualityEngine()); in check() 1659 rm = new SortModel( n, d_th->getSatContext(), d_th->getUserContext(), this ); in preRegisterTerm() [all …]
|
H A D | theory_uf_strong_solver.h | 367 TheoryUF* getTheory() { return d_th; } in getTheory() 434 TheoryUF* d_th; variable
|
/dports/databases/mariadb104-server/mariadb-10.4.24/mysql-test/suite/roles/ |
H A D | flush_roles-12366.test | 218 CREATE ROLE d_th; 223 GRANT d_th TO operations_th; 227 GRANT SELECT ON bob_live_th.d TO d_th; 231 GRANT SELECT ON oms_live_th.d TO d_th; 377 DROP ROLE d_th;
|
H A D | flush_roles-12366.result | 217 CREATE ROLE d_th; 222 GRANT d_th TO operations_th; 226 GRANT SELECT ON bob_live_th.d TO d_th; 230 GRANT SELECT ON oms_live_th.d TO d_th; 541 DROP ROLE d_th;
|
/dports/databases/mariadb105-client/mariadb-10.5.15/mysql-test/suite/roles/ |
H A D | flush_roles-12366.test | 218 CREATE ROLE d_th; 223 GRANT d_th TO operations_th; 227 GRANT SELECT ON bob_live_th.d TO d_th; 231 GRANT SELECT ON oms_live_th.d TO d_th; 377 DROP ROLE d_th;
|
H A D | flush_roles-12366.result | 217 CREATE ROLE d_th; 222 GRANT d_th TO operations_th; 226 GRANT SELECT ON bob_live_th.d TO d_th; 230 GRANT SELECT ON oms_live_th.d TO d_th; 541 DROP ROLE d_th;
|
/dports/databases/mariadb104-client/mariadb-10.4.24/mysql-test/suite/roles/ |
H A D | flush_roles-12366.test | 218 CREATE ROLE d_th; 223 GRANT d_th TO operations_th; 227 GRANT SELECT ON bob_live_th.d TO d_th; 231 GRANT SELECT ON oms_live_th.d TO d_th; 377 DROP ROLE d_th;
|
H A D | flush_roles-12366.result | 217 CREATE ROLE d_th; 222 GRANT d_th TO operations_th; 226 GRANT SELECT ON bob_live_th.d TO d_th; 230 GRANT SELECT ON oms_live_th.d TO d_th; 541 DROP ROLE d_th;
|
/dports/databases/mariadb103-server/mariadb-10.3.34/mysql-test/suite/roles/ |
H A D | flush_roles-12366.test | 218 CREATE ROLE d_th; 223 GRANT d_th TO operations_th; 227 GRANT SELECT ON bob_live_th.d TO d_th; 231 GRANT SELECT ON oms_live_th.d TO d_th; 377 DROP ROLE d_th;
|
H A D | flush_roles-12366.result | 217 CREATE ROLE d_th; 222 GRANT d_th TO operations_th; 226 GRANT SELECT ON bob_live_th.d TO d_th; 230 GRANT SELECT ON oms_live_th.d TO d_th; 541 DROP ROLE d_th;
|
/dports/databases/mariadb103-client/mariadb-10.3.34/mysql-test/suite/roles/ |
H A D | flush_roles-12366.test | 218 CREATE ROLE d_th; 223 GRANT d_th TO operations_th; 227 GRANT SELECT ON bob_live_th.d TO d_th; 231 GRANT SELECT ON oms_live_th.d TO d_th; 377 DROP ROLE d_th;
|
H A D | flush_roles-12366.result | 217 CREATE ROLE d_th; 222 GRANT d_th TO operations_th; 226 GRANT SELECT ON bob_live_th.d TO d_th; 230 GRANT SELECT ON oms_live_th.d TO d_th; 541 DROP ROLE d_th;
|
/dports/databases/mariadb105-server/mariadb-10.5.15/mysql-test/suite/roles/ |
H A D | flush_roles-12366.test | 218 CREATE ROLE d_th; 223 GRANT d_th TO operations_th; 227 GRANT SELECT ON bob_live_th.d TO d_th; 231 GRANT SELECT ON oms_live_th.d TO d_th; 377 DROP ROLE d_th;
|
H A D | flush_roles-12366.result | 217 CREATE ROLE d_th; 222 GRANT d_th TO operations_th; 226 GRANT SELECT ON bob_live_th.d TO d_th; 230 GRANT SELECT ON oms_live_th.d TO d_th; 541 DROP ROLE d_th;
|
/dports/graphics/inkscape/inkscape-1.1_2021-05-24_c4e8f9ed74/share/extensions/ |
H A D | draw_from_triangle.py | 49 circ_style = {'stroke': style.d_col, 'stroke-width': str(style.d_th), 'fill': style.d_fill} 182 self.d_th = svg.unittouu('2px') # stroke width
|