Searched refs:check_partial_deactivate_indexed_disjunction (Results 1 – 3 of 3) sorted by relevance
261 def check_partial_deactivate_indexed_disjunction(self, transformation): function
918 ct.check_partial_deactivate_indexed_disjunction(self, 'hull')
2040 ct.check_partial_deactivate_indexed_disjunction(self, 'bigm')