[docs]class ConcreteHandlerMixin:
[docs] def eval(self, e, n, **kwargs): # pylint:disable=unused-argument
c = self._concrete_value(e)
if c is not None:
return (c,)
else:
return super().eval(e, n, **kwargs)
[docs] def batch_eval(self, exprs, n, **kwargs): # pylint:disable=unused-argument
concrete_exprs = [self._concrete_value(e) for e in exprs]
symbolic_exprs = [e for e, c in zip(exprs, concrete_exprs) if c is None]
if len(symbolic_exprs) == 0:
return [concrete_exprs]
symbolic_results = map(list, super().batch_eval(symbolic_exprs, n, **kwargs))
return [tuple((c if c is not None else r.pop(0)) for c in concrete_exprs) for r in symbolic_results]
[docs] def max(self, e, **kwargs):
c = self._concrete_value(e)
if c is not None:
return c
else:
return super().max(e, **kwargs)
[docs] def min(self, e, **kwargs):
c = self._concrete_value(e)
if c is not None:
return c
else:
return super().min(e, **kwargs)
[docs] def solution(self, e, v, **kwargs):
ce = self._concrete_value(e)
cv = self._concrete_value(v)
if ce is None or cv is None:
return super().solution(e, v, **kwargs)
else:
return ce == cv
[docs] def is_true(self, e, **kwargs):
c = self._concrete_value(e)
if c is not None:
return c
else:
return super().is_true(e, **kwargs)
[docs] def is_false(self, e, **kwargs):
c = self._concrete_value(e)
if c is not None:
return not c
else:
return super().is_false(e, **kwargs)