(self, e=None)
Simplifies `e`. If `e` is None, simplifies the constraints of this
        state.
Simplifies `e`. If `e` is None, simplifies the constraints of this
        state.
Simplifies e . If e is None simplifies the constraints of this state .
def simplify(self, e=None):
        """
        Simplifies `e`. If `e` is None, simplifies the constraints of this
        state.
        """
        if e is None:
            return self._solver.simplify()
        elif isinstance(e, (int, float, bool)):
            return e
        elif isinstance(e, claripy.ast.Base) and e.op in claripy.operations.leaf_operations_concrete:
            return e
        elif isinstance(e, SimActionObject) and e.op in claripy.operations.leaf_operations_concrete:
            return e.ast
        elif not isinstance(e, (SimActionObject, claripy.ast.Base)):
            return e
        else:
            return self._claripy_simplify(e)
def simplify ( self , e = None ) : if e is None : return self . _solver . simplify ( ) elif isinstance ( e , ( int , float , bool ) ) : return e elif isinstance ( e , claripy . ast . Base ) and e . op in claripy . operations . leaf_operations_concrete : return e elif isinstance ( e , SimActionObject ) and e . op in claripy . operations . leaf_operations_concrete : return e . ast elif not isinstance ( e , ( SimActionObject , claripy . ast . Base ) ) : return e else : return self . _claripy_simplify ( e )