(self, func)
Try to find a formula that matches func.
Try to find a formula that matches func.
Try to find a formula that matches func .
def lookup_origin(self, func):
        """ Try to find a formula that matches func. """
        if not func.signature in self.formulae:
            return None
        for formula in self.formulae[func.signature]:
            res = formula.try_instantiate(func)
            if res is not None:
                return res
def lookup_origin ( self , func ) : if not func . signature in self . formulae : return None for formula in self . formulae [ func . signature ] : res = formula . try_instantiate ( func ) if res is not None : return res