Method __init__

pddlstream/language/function.py:31–35

(self, opt_fn=None, eager=_default_eager, verbose=True, **kwargs)

class FunctionInfo(ExternalInfo):
    _default_eager = True
    def __init__(self, opt_fn=None, eager=_default_eager, verbose=True, **kwargs): # Setting eager=True as a heuristic
        super(FunctionInfo, self).__init__(eager=eager, **kwargs)
        self.opt_fn = opt_fn
        self.verbose = verbose # TODO: move to ExternalInfo
        #self.order = 0

class FunctionResult(Result):
    def __init__(self, instance, value, optimistic=True):