Searched refs:check_threeTermDisj_IndexedConstraints (Results 1 – 1 of 1) sorted by relevance
641 def check_threeTermDisj_IndexedConstraints(self, m, lb): member in TwoTermDisj700 self.check_threeTermDisj_IndexedConstraints(m, lb=0)716 self.check_threeTermDisj_IndexedConstraints(m, lb=-1)