AnyZ3BitVector
public extension AnyZ3BitVector
-
Create an integer from this bit-vector.
If
isSigned
is false, then this bit-vector is treated as unsigned. So the result is non-negative and in the range[0..2^N-1]
, where N are the number of bits in this bit-vector. IfisSigned
is true, this bit-vector is treated as a signed bit-vector.Declaration
Swift
func toInt(isSigned: Bool) -> Z3Int