(self, v, *args)
return self.env.formula_manager.Function(v, args)
Helper function for dealing with function calls
Helper function for dealing with function calls
Helper function for dealing with function calls
def _function_call_helper(self, v, *args):
        """ Helper function for dealing with function calls """
        return self.env.formula_manager.Function(v, args)
def _function_call_helper ( self , v , * args ) : return self . env . formula_manager . Function ( v , args )