(self, formula)
return self.create_node(node_type=op.BV_TONATURAL, args=(formula,))
Returns the Natural number represented by the BitVector.

        Given a BitVector of width m returns an integer between 0 and 2^m-1
Returns the Natural number represented by the BitVector.
Returns the Natural number represented by the BitVector .
def BVToNatural(self, formula):
        """Returns the Natural number represented by the BitVector.

        Given a BitVector of width m returns an integer between 0 and 2^m-1
        """
        return self.create_node(node_type=op.BV_TONATURAL, args=(formula,))
def BVToNatural ( self , formula ) : return self . create_node ( node_type = op . BV_TONATURAL , args = ( formula , ) )