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