Home
last modified time | relevance | path

Searched refs:x_sat (Results 1 – 3 of 3) sorted by relevance

/dports/math/heyoka/heyoka-0.16.0/benchmark/
H A Dss_3bp_odeint.cpp32 …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 Dss_3bp.jl15 …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 DPolyhedron_nonpublic.cc1626 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()