def _next_wild(self): output, self.enumerated = get_next(self._generator, default=[]) if not isinstance(output, OptimizerOutput): output = OptimizerOutput(assignments=output) self.infeasible.update(output.infeasible) # TODO: instead replace each time return output.to_wild()
def _next_outputs(self): self._create_generator() output, self.enumerated = get_next(self._generator, default=[]) if not isinstance(output, OptimizerOutput): output = OptimizerOutput(assignments=output) self.infeasible.extend(output.infeasible) return output.to_wild()
def _next_outputs(self): self._create_generator() # TODO: shuffle history # TODO: return all test stream outputs at once if self.num_calls == len(self.history): output, self.enumerated = get_next(self._generator, default=[]) if not isinstance(output, WildOutput): output = WildOutput(values=output) self.history.append(output) return self.history[self.num_calls]
def _next_outputs(self): self._create_generator() output, self.enumerated = get_next(self._generator, default=None) if output is None: return [], [] if not self.external.is_wild: return output, [] if len(output) != 2: raise RuntimeError('Wild stream [{}] does not generate pairs of output values and wild facts'.format( self.external.name)) return output
def _next_outputs(self): self._create_generator() output, self.enumerated = get_next(self._generator, default=[]) if not isinstance(output, WildOutput): output = WildOutput(output, []) return output
def _next_wild(self): output, self.enumerated = get_next(self._generator, default=[]) if not isinstance(output, WildOutput): output = WildOutput(values=output) return output
def _next_outputs(self): if self._generator is None: self._generator = self.external.gen_fn(*self.get_input_values()) new_values, self.enumerated = get_next(self._generator) return new_values