BitVector (B2R2)

BitVector Type

Namespace: B2R2
Assembly: B2R2.Core.dll
Base Type: obj

Represents a bit vector, which is a sequence of bits. This type internally uses two different representations to represent a bit vector depending on its size. The numeric value of the bit vector is stored in little-endian order. For those with less than or equal to 64 bits, it uses uint64. For those with more than 64 bits, it uses bigint. This is to avoid the overhead of using bigint for small numbers as most CPU operations are in 64 bits or less. N.B. SmallValue becomes zero when the Length becomes greater than 64. We intentionally do not sync SmallValue and BigValue for performance reasons.

Constructors

Constructor	Description
`BitVector(arr)` Full Usage: `BitVector(arr)` Parameters: arr : `byte[]` Returns: `BitVector`	Returns a BitVector from a byte array (in little endian). arr : `byte[]` Returns: `BitVector`
`BitVector(bi, bitLen)` Full Usage: `BitVector(bi, bitLen)` Parameters: bi : `bigint` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector from a bigint value. We assume that the given bitLen is big enough to hold the given bigint. Otherwise, the resulting BitVector may contain an unexpected value. bi : `bigint` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector(i32, bitLen)` Full Usage: `BitVector(i32, bitLen)` Parameters: i32 : `int32` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector from an int32 value. i32 : `int32` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector(u32, bitLen)` Full Usage: `BitVector(u32, bitLen)` Parameters: u32 : `uint32` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector from a uint32 value. u32 : `uint32` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector(i64, bitLen)` Full Usage: `BitVector(i64, bitLen)` Parameters: i64 : `int64` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector from an int64 value. i64 : `int64` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector(u64, bitLen)` Full Usage: `BitVector(u64, bitLen)` Parameters: u64 : `uint64` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector from a uint64 value. u64 : `uint64` bitLen : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`

Instance members

Instance member	Description
`this.BigValue` Full Usage: `this.BigValue` Returns: `bigint`	Returns the value of the BitVector as a bigint. Returns: `bigint`
`this.IsFalse` Full Usage: `this.IsFalse` Returns: `bool`	Returns boolean value indicating whether the BitVector is false (1-bit zero). Returns: `bool`
`this.IsOne` Full Usage: `this.IsOne` Returns: `bool`	Returns boolean value indicating whether the BitVector is one. Returns: `bool`
`this.IsTrue` Full Usage: `this.IsTrue` Returns: `bool`	Checks if the given BitVector is "true". Returns: `bool`
`this.IsZero` Full Usage: `this.IsZero` Returns: `bool`	Returns boolean value indicating whether the BitVector is zero. Returns: `bool`
`this.Length` Full Usage: `this.Length` Returns: `RegType`	Returns the bit length of the BitVector. Returns: `RegType`
`this.SmallValue` Full Usage: `this.SmallValue` Returns: `uint64`	Returns the value of the BitVector as a uint64. If the BitVector is longer than 64 bits, this will return zero or something unexpected (the behavior is not guaranteed). Returns: `uint64`

Static members

Static member	Description
`v1 % v2` Full Usage: `v1 % v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the unsigned modulo of a BitVector by another BitVector. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 % v2` Full Usage: `v1 % v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Calculates the modulo of a BitVector by a uint64 value (unsigned). v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`v1 &&& v2` Full Usage: `v1 &&& v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the bitwise AND of two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 &&& v2` Full Usage: `v1 &&& v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Calculates the bitwise AND of a BitVector and a uint64 value. v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`v1 * v2` Full Usage: `v1 * v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Multiplies two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 * v2` Full Usage: `v1 * v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Multiplies a BitVector by a uint64 value. v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`v1 + v2` Full Usage: `v1 + v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Adds two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 + v2` Full Usage: `v1 + v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Adds a BitVector and a uint64 value. v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`v1 - v2` Full Usage: `v1 - v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Subtracts two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 - v2` Full Usage: `v1 - v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Subtracts a uint64 value from a BitVector. v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`v1 / v2` Full Usage: `v1 / v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Divides two BitVectors (unsigned division). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 / v2` Full Usage: `v1 / v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Divides a BitVector by a uint64 value (unsigned division). v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`v1 ?% v2` Full Usage: `v1 ?% v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the signed modulo of a BitVector by another BitVector. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 ?/ v2` Full Usage: `v1 ?/ v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Divides two BitVectors (signed division). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 ^^^ v2` Full Usage: `v1 ^^^ v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the bitwise XOR of two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 ^^^ v2` Full Usage: `v1 ^^^ v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Calculates the bitwise XOR of a BitVector and a uint64 value. v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`v1 \|\|\| v2` Full Usage: `v1 \|\|\| v2` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the bitwise OR of two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`v1 \|\|\| v2` Full Usage: `v1 \|\|\| v2` Parameters: v1 : `BitVector` v2 : `uint64` Returns: `BitVector`	Calculates the bitwise OR of a BitVector and a uint64 value. v1 : `BitVector` v2 : `uint64` Returns: `BitVector`
`~-v1` Full Usage: `~-v1` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the negation of a BitVector (as a signed integer). v1 : `BitVector` Returns: `BitVector`
`~~~v1` Full Usage: `~~~v1` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the bitwise NOT of a BitVector. v1 : `BitVector` Returns: `BitVector`
`BitVector.Abs(v1)` Full Usage: `BitVector.Abs(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the absolute value of a BitVector (as a signed integer). v1 : `BitVector` Returns: `BitVector`
`BitVector.Add(v1, v2)` Full Usage: `BitVector.Add(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Adds two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.And(v1, v2)` Full Usage: `BitVector.And(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates bitwise AND of two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Cast(v1, targetLen)` Full Usage: `BitVector.Cast(v1, targetLen)` Parameters: v1 : `BitVector` targetLen : `RegType` Returns: `BitVector`	Casts a BitVector to a target length. v1 : `BitVector` targetLen : `RegType` Returns: `BitVector`
`BitVector.Concat(v1, v2)` Full Usage: `BitVector.Concat(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Concatenates two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Div(v1, v2)` Full Usage: `BitVector.Div(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Divides two BitVectors (unsigned division). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Eq(v1, v2)` Full Usage: `BitVector.Eq(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Compares two BitVectors for equality. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Extract(v1, rt, pos)` Full Usage: `BitVector.Extract(v1, rt, pos)` Parameters: v1 : `BitVector` rt : `RegType` pos : `int` Returns: `BitVector`	Extracts a sub-BitVector from a BitVector at the specified position v1 : `BitVector` rt : `RegType` pos : `int` Returns: `BitVector`
`BitVector.F` Full Usage: `BitVector.F` Returns: `BitVector`	Returns a BitVector representing a false (1-bit zero) value. Returns: `BitVector`
`BitVector.FAdd(v1, v2)` Full Usage: `BitVector.FAdd(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Adds two BitVectors as floating point numbers. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FAtan(v1)` Full Usage: `BitVector.FAtan(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the arctangent of a BitVector as a floating point number. v1 : `BitVector` Returns: `BitVector`
`BitVector.FCast(v1, rt)` Full Usage: `BitVector.FCast(v1, rt)` Parameters: v1 : `BitVector` rt : `RegType` Returns: `BitVector`	Converts a BitVector to a floating point number of the specified type. v1 : `BitVector` rt : `RegType` Returns: `BitVector`
`BitVector.FCos(v1)` Full Usage: `BitVector.FCos(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the cosine of a BitVector as a floating point number. v1 : `BitVector` Returns: `BitVector`
`BitVector.FDiv(v1, v2)` Full Usage: `BitVector.FDiv(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Divides two BitVectors as floating point numbers. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FGe(v1, v2)` Full Usage: `BitVector.FGe(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Compares two BitVectors as floating point numbers for greater than or equal. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FGt(v1, v2)` Full Usage: `BitVector.FGt(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Compares two BitVectors as floating point numbers for greater than. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FLe(v1, v2)` Full Usage: `BitVector.FLe(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Compares two BitVectors as floating point numbers for less than or equal. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FLog(v1, v2)` Full Usage: `BitVector.FLog(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the logarithm of v2 to the base v1 as floating point numbers. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FLt(v1, v2)` Full Usage: `BitVector.FLt(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Compares two BitVectors as floating point numbers for less than. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FMul(v1, v2)` Full Usage: `BitVector.FMul(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Multiplies two BitVectors as floating point numbers. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FPow(v1, v2)` Full Usage: `BitVector.FPow(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the power of v1 raised to v2 as floating point numbers. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FSin(v1)` Full Usage: `BitVector.FSin(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the sine of a BitVector as a floating point number. v1 : `BitVector` Returns: `BitVector`
`BitVector.FSqrt(v1)` Full Usage: `BitVector.FSqrt(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the square root of a BitVector as a floating point number. v1 : `BitVector` Returns: `BitVector`
`BitVector.FSub(v1, v2)` Full Usage: `BitVector.FSub(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Subtracts two BitVectors as floating point numbers. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.FTan(v1)` Full Usage: `BitVector.FTan(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the tangent of a BitVector as a floating point number. v1 : `BitVector` Returns: `BitVector`
`BitVector.FtoiCeil(v1, rt)` Full Usage: `BitVector.FtoiCeil(v1, rt)` Parameters: v1 : `BitVector` rt : `RegType` Returns: `BitVector`	Converts a BitVector representing a floating point number to another BitVector representing an integer of the specified type with ceiling. v1 : `BitVector` rt : `RegType` Returns: `BitVector`
`BitVector.FtoiFloor(v1, rt)` Full Usage: `BitVector.FtoiFloor(v1, rt)` Parameters: v1 : `BitVector` rt : `RegType` Returns: `BitVector`	Converts a BitVector representing a floating point number to another BitVector representing an integer of the specified type with flooring. v1 : `BitVector` rt : `RegType` Returns: `BitVector`
`BitVector.FtoiRound(v1, rt)` Full Usage: `BitVector.FtoiRound(v1, rt)` Parameters: v1 : `BitVector` rt : `RegType` Returns: `BitVector`	Converts a BitVector representing a floating point number to another BitVector representing an integer of the specified type with rounding. v1 : `BitVector` rt : `RegType` Returns: `BitVector`
`BitVector.FtoiTrunc(v1, rt)` Full Usage: `BitVector.FtoiTrunc(v1, rt)` Parameters: v1 : `BitVector` rt : `RegType` Returns: `BitVector`	Converts a BitVector representing a floating point number to another BitVector representing an integer of the specified type with truncation. v1 : `BitVector` rt : `RegType` Returns: `BitVector`
`BitVector.Ge(v1, v2)` Full Usage: `BitVector.Ge(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is greater than or equal to v2. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.GetType(bv)` Full Usage: `BitVector.GetType(bv)` Parameters: bv : `BitVector` Returns: `RegType`	Returns the type (length of the BitVector). bv : `BitVector` Returns: `RegType`
`BitVector.GetValue(bv)` Full Usage: `BitVector.GetValue(bv)` Parameters: bv : `BitVector` Returns: `bigint`	Returns a numeric value (bigint) from a BitVector. bv : `BitVector` Returns: `bigint`
`BitVector.Gt(v1, v2)` Full Usage: `BitVector.Gt(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is greater than v2. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.IsNegative(bv)` Full Usage: `BitVector.IsNegative(bv)` Parameters: bv : `BitVector` Returns: `bool`	Checks if the given BitVector is negative when interpreted as a signed integer? bv : `BitVector` Returns: `bool`
`BitVector.IsPositive(bv)` Full Usage: `BitVector.IsPositive(bv)` Parameters: bv : `BitVector` Returns: `bool`	Checks if the given BitVector is positive when interpreted as a signed integer? bv : `BitVector` Returns: `bool`
`BitVector.IsSignedMax(bv)` Full Usage: `BitVector.IsSignedMax(bv)` Parameters: bv : `BitVector` Returns: `bool`	Checks if the given BitVector represents a signed max value? bv : `BitVector` Returns: `bool`
`BitVector.IsSignedMin(bv)` Full Usage: `BitVector.IsSignedMin(bv)` Parameters: bv : `BitVector` Returns: `bool`	Checks if the given BitVector represents a signed min value? bv : `BitVector` Returns: `bool`
`BitVector.IsUnsignedMax(bv)` Full Usage: `BitVector.IsUnsignedMax(bv)` Parameters: bv : `BitVector` Returns: `bool`	Checks if the given BitVector represents a unsigned max value? bv : `BitVector` Returns: `bool`
`BitVector.Itof(v1, rt, isSigned)` Full Usage: `BitVector.Itof(v1, rt, isSigned)` Parameters: v1 : `BitVector` rt : `RegType` isSigned : `bool` Returns: `BitVector`	Converts a BitVector representing an integer to another BitVector representing a floating point number of the specified type. v1 : `BitVector` rt : `RegType` isSigned : `bool` Returns: `BitVector`
`BitVector.Le(v1, v2)` Full Usage: `BitVector.Le(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is less than or equal to v2. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Lt(v1, v2)` Full Usage: `BitVector.Lt(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is less than v2. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Max(bv1, bv2)` Full Usage: `BitVector.Max(bv1, bv2)` Parameters: bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`	Returns a larger BitVector. bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`
`BitVector.MaxUInt16` Full Usage: `BitVector.MaxUInt16` Returns: `BitVector`	Returns a BitVector representing the maximum unsigned 16-bit value. Returns: `BitVector`
`BitVector.MaxUInt32` Full Usage: `BitVector.MaxUInt32` Returns: `BitVector`	Returns a BitVector representing the maximum unsigned 32-bit value. Returns: `BitVector`
`BitVector.MaxUInt64` Full Usage: `BitVector.MaxUInt64` Returns: `BitVector`	Returns a BitVector representing the maximum unsigned 64-bit value. Returns: `BitVector`
`BitVector.MaxUInt8` Full Usage: `BitVector.MaxUInt8` Returns: `BitVector`	Returns a BitVector representing the maximum unsigned 8-bit value (255). Returns: `BitVector`
`BitVector.Min(bv1, bv2)` Full Usage: `BitVector.Min(bv1, bv2)` Parameters: bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`	Returns a smaller BitVector. bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`
`BitVector.Modulo(v1, v2)` Full Usage: `BitVector.Modulo(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the unsigned modulo of a BitVector by another BitVector. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Mul(v1, v2)` Full Usage: `BitVector.Mul(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Multiplies two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Neg(v1)` Full Usage: `BitVector.Neg(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates the negation of a BitVector (as a signed integer). v1 : `BitVector` Returns: `BitVector`
`BitVector.Neq(v1, v2)` Full Usage: `BitVector.Neq(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Compares two BitVectors for inequality. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Not(v1)` Full Usage: `BitVector.Not(v1)` Parameters: v1 : `BitVector` Returns: `BitVector`	Calculates bitwise NOT of a BitVector. v1 : `BitVector` Returns: `BitVector`
`BitVector.One(t)` Full Usage: `BitVector.One(t)` Parameters: t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns one (1) of the given bit length. t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector.Or(v1, v2)` Full Usage: `BitVector.Or(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates bitwise OR of two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.SDiv(v1, v2)` Full Usage: `BitVector.SDiv(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Divides two BitVectors (signed division). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.SExt(v1, targetLen)` Full Usage: `BitVector.SExt(v1, targetLen)` Parameters: v1 : `BitVector` targetLen : `RegType` Returns: `BitVector`	Calculates signed extension of a BitVector. v1 : `BitVector` targetLen : `RegType` Returns: `BitVector`
`BitVector.SGe(v1, v2)` Full Usage: `BitVector.SGe(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is greater than or equal to v2 (considering them as signed integers). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.SGt(v1, v2)` Full Usage: `BitVector.SGt(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is greater than v2 (considering them as signed integers). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.SLe(v1, v2)` Full Usage: `BitVector.SLe(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is less than or equal to v2 (considering them as signed integers). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.SLt(v1, v2)` Full Usage: `BitVector.SLt(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Checks if v1 is less than v2 (considering them as signed integers). v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.SMax(bv1, bv2)` Full Usage: `BitVector.SMax(bv1, bv2)` Parameters: bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`	Returns a larger BitVector (with signed comparison). bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`
`BitVector.SMin(bv1, bv2)` Full Usage: `BitVector.SMin(bv1, bv2)` Parameters: bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`	Returns a smaller BitVector (with signed comparison). bv1 : `BitVector` bv2 : `BitVector` Returns: `BitVector`
`BitVector.SModulo(v1, v2)` Full Usage: `BitVector.SModulo(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates the signed modulo of two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Sar(v1, v2)` Full Usage: `BitVector.Sar(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates arithmetic shift-right of v1 by v2. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Shl(v1, v2)` Full Usage: `BitVector.Shl(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates logical shift-left of v1 by v2. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.Shr(v1, v2)` Full Usage: `BitVector.Shr(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates logical shift-right of v1 by v2. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.SignedMax(rt)` Full Usage: `BitVector.SignedMax(rt)` Parameters: rt : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector representing the maximum signed integer of the given RegType. rt : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector.SignedMin(rt)` Full Usage: `BitVector.SignedMin(rt)` Parameters: rt : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector representing the minimum signed integer of the given RegType. rt : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector.Sub(v1, v2)` Full Usage: `BitVector.Sub(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Subtracts two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.T` Full Usage: `BitVector.T` Returns: `BitVector`	Returns a BitVector representing a true (1-bit one) value. Returns: `BitVector`
`BitVector.ToInt32(bv)` Full Usage: `BitVector.ToInt32(bv)` Parameters: bv : `BitVector` Returns: `int32`	Returns an int32 value from a BitVector. bv : `BitVector` Returns: `int32`
`BitVector.ToInt64(bv)` Full Usage: `BitVector.ToInt64(bv)` Parameters: bv : `BitVector` Returns: `int64`	Returns an int64 value from a BitVector. bv : `BitVector` Returns: `int64`
`BitVector.ToString(n)` Full Usage: `BitVector.ToString(n)` Parameters: n : `BitVector` Returns: `string`	Returns the string representation of a BitVector. n : `BitVector` Returns: `string`
`BitVector.ToUInt32(bv)` Full Usage: `BitVector.ToUInt32(bv)` Parameters: bv : `BitVector` Returns: `uint32`	Returns a uint32 value from a BitVector. bv : `BitVector` Returns: `uint32`
`BitVector.ToUInt64(bv)` Full Usage: `BitVector.ToUInt64(bv)` Parameters: bv : `BitVector` Returns: `uint64`	Returns a uint64 value from a BitVector. bv : `BitVector` Returns: `uint64`
`BitVector.UnsignedMax(rt)` Full Usage: `BitVector.UnsignedMax(rt)` Parameters: rt : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns a BitVector representing the maximum unsigned integer of the given RegType. rt : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`
`BitVector.ValToString(n)` Full Usage: `BitVector.ValToString(n)` Parameters: n : `BitVector` Returns: `string`	Returns the string representation of a BitVector without appended type info. n : `BitVector` Returns: `string`
`BitVector.Xor(v1, v2)` Full Usage: `BitVector.Xor(v1, v2)` Parameters: v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`	Calculates bitwise XOR of two BitVectors. v1 : `BitVector` v2 : `BitVector` Returns: `BitVector`
`BitVector.ZExt(v1, targetLen)` Full Usage: `BitVector.ZExt(v1, targetLen)` Parameters: v1 : `BitVector` targetLen : `RegType` Returns: `BitVector`	Calculates zero extension of a BitVector. v1 : `BitVector` targetLen : `RegType` Returns: `BitVector`
`BitVector.Zero(t)` Full Usage: `BitVector.Zero(t)` Parameters: t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`	Returns zero (0) of the given bit length. t : `int<MeasureProduct<rt, MeasureOne>>` Returns: `BitVector`