(formula, measure=None)
return get_env().sizeo.get_size(formula, measure)
Returns the size of the formula as measured by the given counting type.

    See pysmt.oracles.SizeOracle for details.

    :param formula: The target formula
    :type  formula: FNode
    :param measure: Specify the measure/counting type
    :returns: The size of the formula as measured by the given counting type.
Returns the size of the formula as measured by the given counting type.
Returns the size of the formula as measured by the given counting type .
def get_formula_size(formula, measure=None):
    """Returns the size of the formula as measured by the given counting type.

    See pysmt.oracles.SizeOracle for details.

    :param formula: The target formula
    :type  formula: FNode
    :param measure: Specify the measure/counting type
    :returns: The size of the formula as measured by the given counting type.
    """
    return get_env().sizeo.get_size(formula, measure)
def get_formula_size ( formula , measure = None ) : return get_env ( ) . sizeo . get_size ( formula , measure )