(formula)
return get_env().formula_manager.BVToNatural(formula)
Returns the Natural number represented by the BitVector.

    :param formula: Bitvector to be converted
    :returns: An integer between 0 and 2^m-1
    :rtype: FNode
Returns the Natural number represented by the BitVector.
Returns the Natural number represented by the BitVector .
def BVToNatural(formula):
    """Returns the Natural number represented by the BitVector.

    :param formula: Bitvector to be converted
    :returns: An integer between 0 and 2^m-1
    :rtype: FNode
    """
    return get_env().formula_manager.BVToNatural(formula)
def BVToNatural ( formula ) : return get_env ( ) . formula_manager . BVToNatural ( formula )