Searched refs:cado_poly_get_ratside (Results 1 – 4 of 4) sorted by relevance
68 extern int cado_poly_get_ratside (cado_poly_srcptr);
334 cado_poly_get_ratside (cado_poly_srcptr pol) in cado_poly_get_ratside() function
132 int ratside = cado_poly_get_ratside(pol); in eval_64chars()
3506 ASSERT_ALWAYS(cado_poly_get_ratside(glob.pol) == 0); in main()