jacobi_kernel4.c File Reference

Go to the source code of this file.

Functions
	if (8 *a+64 *b >=t0+2 *t+512 *floord(-t0 - 8 *a+64 *b+2 *t - 1, 512)+512 &&t0+512 *floord(-t0 - 8 *a+64 *b+2 *t - 1, 512) >=-511 &&t0+512 *floord(-t0 - 8 *a+64 *b+2 *t - 1, 512)<=1310206) S_0(t

Variables
t0 *a *b *t *a *b *	t

Function Documentation

if()

if

(

8 *a+64 *b >=t0+2 *t+512 *floord(-t0 - 8 *a+64 *b+2 *t - 1, 512)+512 &&t0+512 *floord(-t0 - 8 *a+64 *b+2 *t - 1, 512) >=-511 &&t0+512 *floord(-t0 - 8 *a+64 *b+2 *t - 1, 512)<=

1310206

)

Variable Documentation

t

t0* a* b* t* a* b* t

Definition at line 2 of file jacobi_kernel4.c.

Referenced by add_conditional_constraints(), add_larger_bound_constraint(), add_non_conditional_constraints(), apply(), arctan(), assign(), cf_rot(), cf_swap(), cf_xgcd(), check_parallel_or_opposite(), collect_fixed_sign_terms(), constraint_check_scaled(), count_same_name(), delete_row(), drop_samples_since(), every_non_zero_coefficient(), find_strong_prime(), free_test(), graph_edge_tables_add(), has_bounded_distances(), interval_sample(), isl_aff_add_coefficient_si(), isl_aff_add_constant_num_si(), isl_aff_add_constant_si(), isl_basic_map_alloc_equality(), isl_basic_map_drop_equality(), isl_basic_map_drop_inequality(), isl_basic_map_inequality_to_equality(), isl_basic_map_insert_dims(), isl_basic_map_move_dims(), isl_basic_set_box_from_points(), isl_map_solve_lp(), isl_mat_sub_transform(), isl_mat_swap_rows(), isl_poly_cmp(), isl_poly_coeff(), isl_poly_from_affine(), isl_poly_subs(), isl_printer_print_schedule_tree_mark(), isl_pw_qpolynomial_to_polynomial(), isl_qpolynomial_sign(), isl_sched_graph_extract_sub_graph(), isl_space_insert_dims(), isl_space_move_dims(), isl_space_reverse(), isl_tab_add_sample(), isl_tab_drop_sample(), isl_tab_pivot(), isl_tab_product(), isl_val_cmp_si(), isl_val_le(), isl_val_lt(), move_last(), mp_int_to_string(), node_transformation(), parse_int_values(), parse_line(), parse_rat_values(), pivot_row(), preimage(), process_file(), remove_incomplete_powers(), row_cmp(), run_test(), s_usqr(), s_uvpack(), steal_from_cst(), swap_cols(), swap_div(), swap_equality(), swap_inequality(), swap_rows(), test_abs(), test_add(), test_comp(), test_div(), test_divp2(), test_divv(), test_egcd(), test_expt(), test_exptf(), test_exptmod(), test_exptmod_bv(), test_exptmod_ev(), test_exptv(), test_gcd(), test_init(), test_invmod(), test_is_prime(), test_lcm(), test_meta(), test_mod(), test_mul(), test_mulp2(), test_mulv(), test_neg(), test_qabs(), test_qadd(), test_qaddz(), test_qdiv(), test_qdivz(), test_qexpt(), test_qmul(), test_qmulz(), test_qneg(), test_qrdec(), test_qrecip(), test_qsub(), test_qsubz(), test_qtodec(), test_qtostr(), test_read_binary(), test_read_uns(), test_root(), test_set(), test_sqr(), test_sqrt(), test_sub(), test_to_int(), test_to_uint(), test_to_uns(), test_tobin(), test_tostr(), test_ucomp(), test_uvcomp(), test_vcomp(), test_zcomp(), to_polynomial_on_orthant(), transform(), transform_column(), and uset_convex_hull_unbounded().