Searched refs:usedOperation (Results 1 – 1 of 1) sorted by relevance
830 usedOperation = lambda element: element.used(self.criteria) function835 self.domains.operationOnChild(path, usedOperation)