(formula, subs=None, threshold=None)
return res
Creates and calls a SmartPrinter to perform smart serialization.
Creates and calls a SmartPrinter to perform smart serialization.
Creates and calls a SmartPrinter to perform smart serialization .
def smart_serialize(formula, subs=None, threshold=None):
    """Creates and calls a SmartPrinter to perform smart serialization."""
    buf = StringIO()
    p = SmartPrinter(buf, subs=subs)
    p.printer(formula, threshold=threshold)
    res = buf.getvalue()
    buf.close()
    return res
def smart_serialize ( formula , subs = None , threshold = None ) : buf = StringIO ( ) p = SmartPrinter ( buf , subs = subs ) p . printer ( formula , threshold = threshold ) res = buf . getvalue ( ) buf . close ( ) return res