Source code for claripy.frontend_mixins.simplify_helper_mixin

[docs]class SimplifyHelperMixin:
[docs]    def max(self, *args, **kwargs):
        self.simplify()
        return super().max(*args, **kwargs)

[docs]    def min(self, *args, **kwargs):
        self.simplify()
        return super().min(*args, **kwargs)

[docs]    def eval(self, e, n, *args, **kwargs):
        if n > 1:
            self.simplify()
        return super().eval(e, n, *args, **kwargs)

[docs]    def batch_eval(self, e, n, *args, **kwargs):
        if n > 1:
            self.simplify()
        return super().batch_eval(e, n, *args, **kwargs)