(self, formula, printer=None, threshold=None)
return res
Returns a string with the human-readable version of the formula.

        'printer' is the printer to call to perform the serialization.
        'threshold' is the thresholding value for the printing function.
Returns a string with the human-readable version of the formula.
Returns a string with the human - readable version of the formula .
def serialize(self, formula, printer=None, threshold=None):
        """Returns a string with the human-readable version of the formula.

        'printer' is the printer to call to perform the serialization.
        'threshold' is the thresholding value for the printing function.
        """
        buf = StringIO()
        if printer is None:
            p = self.PrinterClass(buf)
        else:
            p = printer(buf)

        p.printer(formula, threshold)
        res = buf.getvalue()
        buf.close()
        return res
def serialize ( self , formula , printer = None , threshold = None ) : buf = StringIO ( ) if printer is None : p = self . PrinterClass ( buf ) else : p = printer ( buf ) p . printer ( formula , threshold ) res = buf . getvalue ( ) buf . close ( ) return res