Lines Matching refs:check_invariant
717 def check_invariant(self, cond):768 self.check_invariant(cond)798 self.check_invariant(cond)828 self.check_invariant(cond)