Method is_timeout

pddlstream/algorithms/common.py:60–61

(self)

    def elapsed_time(self):
        return elapsed_time(self.start_time)
    def is_timeout(self):
        return (self.max_time <= self.elapsed_time()) or not check_memory(self.max_memory)
    def is_terminated(self):
        return self.is_solved() or self.is_timeout()
    #def __repr__(self):