Searched refs:has_linear_equalities (Results 1 – 5 of 5) sorted by last modified time
44444 bool has_linear_equalities() const;
232 PPL::Congruence_System::has_linear_equalities() const { in has_linear_equalities() function in PPL::Congruence_System
175 bool has_linear_equalities() const;
334 bool ok = !cgs.has_linear_equalities(); in test14()338 ok &= cgs.has_linear_equalities(); in test14()
57528 has_linear_equalities public.59074 Congruence_System(n_rows,n_cols). Keep has_linear_equalities().