Searched refs:x_sat (Results 1 – 3 of 3) sorted by relevance
/dports/math/heyoka/heyoka-0.16.0/benchmark/ |
H A D | ss_3bp_odeint.cpp | 32 …n, z_sun, vx_sun, vy_sun, vz_sun, x_jup, y_jup, z_jup, vx_jup, vy_jup, vz_jup, x_sat, y_sat, z_sat, in ss_3bp() 56 const auto diff_x_sun_sat = x_sun - x_sat; in ss_3bp() 63 const auto diff_x_jup_sat = x_jup - x_sat; in ss_3bp()
|
H A D | ss_3bp.jl | 15 …x_sun, y_sun, z_sun, vx_sun, vy_sun, vz_sun, x_jup, y_jup, z_jup, vx_jup, vy_jup, vz_jup, x_sat, y… 35 diff_x_sun_sat = x_sun - x_sat 42 diff_x_jup_sat = x_jup - x_sat
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Polyhedron_nonpublic.cc | 1626 const Bit_Matrix& x_sat = x.sat_g; in BHZ09_C_poly_hull_assign_if_exact() local 1635 row_union.union_assign(x_gs_red_in_y, x_sat[i]); in BHZ09_C_poly_hull_assign_if_exact() 1760 const Bit_Matrix& x_sat = x.sat_g; in BHZ09_NNC_poly_hull_assign_if_exact() local 1774 saturators.difference_assign(all_ones, x_sat[i]); in BHZ09_NNC_poly_hull_assign_if_exact()
|