Home
last modified time | relevance | path

Searched refs:d_th (Results 1 – 17 of 17) sorted by relevance

/dports/graphics/epix/epix-1.2.19/samples/
H A Dsymmetries.xp8 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 Dvsph_sph_box_2d.cxx548 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 Dtheory_uf_strong_solver.cpp1324 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 Dtheory_uf_strong_solver.h367 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 Dflush_roles-12366.test218 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 Dflush_roles-12366.result217 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 Dflush_roles-12366.test218 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 Dflush_roles-12366.result217 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 Dflush_roles-12366.test218 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 Dflush_roles-12366.result217 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 Dflush_roles-12366.test218 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 Dflush_roles-12366.result217 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 Dflush_roles-12366.test218 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 Dflush_roles-12366.result217 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 Dflush_roles-12366.test218 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 Dflush_roles-12366.result217 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 Ddraw_from_triangle.py49 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