Searched refs:check_error_for_same_disjunct_in_multiple_disjunctions (Results 1 – 3 of 3) sorted by relevance
1238 def check_error_for_same_disjunct_in_multiple_disjunctions(self, transformation): function
1227 ct.check_error_for_same_disjunct_in_multiple_disjunctions(self, 'hull')
1617 ct.check_error_for_same_disjunct_in_multiple_disjunctions(self, 'bigm')