Method push_binding

pddlstream/algorithms/skeleton.py:281–285

(self, binding)

        return self.queue and (not self.store.is_terminated())

    def push_binding(self, binding):
        # TODO: add to standby if not active
        priority = binding.get_priority()
        element = HeapElement(priority, binding)
        heappush(self.queue, element)

    def pop_binding(self):
        priority, binding = heappop(self.queue)