Searched refs:extract_interval_congruence (Results 1 – 5 of 5) sorted by last modified time
39273 static bool extract_interval_congruence(const Congruence& cg,90052 if (!Box_Helpers::extract_interval_congruence(cg, cg_num_vars, cg_only_var)) {
2277 static bool extract_interval_congruence(const Congruence& cg,
2433 if (!Box_Helpers::extract_interval_congruence(cg, cg_num_vars, cg_only_var)) { in add_congruence_no_check()
48 PPL::Box_Helpers::extract_interval_congruence(const Congruence& cg, in extract_interval_congruence() function in PPL::Box_Helpers
20479 extract_interval_congruence(Congruence cg, ...)