(formula, threshold=None)
return get_env().serializer.serialize(formula,
                                          threshold=threshold)
Provides a string representing the formula.

    :param formula: The target formula
    :type  formula: FNode
    :param threshold: Specify the threshold
    :type  formula: Integer
    :returns: A string representing the formula
    :rtype: string
Provides a string representing the formula.
Provides a string representing the formula .
def serialize(formula, threshold=None):
    """Provides a string representing the formula.

    :param formula: The target formula
    :type  formula: FNode
    :param threshold: Specify the threshold
    :type  formula: Integer
    :returns: A string representing the formula
    :rtype: string
    """
    return get_env().serializer.serialize(formula,
                                          threshold=threshold)
def serialize ( formula , threshold = None ) : return get_env ( ) . serializer . serialize ( formula , threshold = threshold )