Z3BitVectorU64 Extension Reference
Z3BitVectorU64
public extension Z3BitVectorU64-
Declaration
Swift
static func / (lhs: Z3BitVectorU64, rhs: Z3BitVectorU64) -> Z3BitVectorU64
-
Declaration
Swift
static func & (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3BitVectorU64 -
Declaration
Swift
static func & (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3BitVectorU64 -
Declaration
Swift
static func | (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3BitVectorU64 -
Declaration
Swift
static func | (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3BitVectorU64 -
Declaration
Swift
static func ^ (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3BitVectorU64 -
Declaration
Swift
static func ^ (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3BitVectorU64 -
Declaration
Swift
static func + (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3BitVectorU64 -
Declaration
Swift
static func + (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3BitVectorU64 -
Declaration
Swift
static func - (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3BitVectorU64 -
Declaration
Swift
static func - (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3BitVectorU64 -
Declaration
Swift
static func * (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3BitVectorU64 -
Declaration
Swift
static func * (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3BitVectorU64 -
Declaration
Swift
static func / (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3BitVectorU64 -
Declaration
Swift
static func / (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3BitVectorU64 -
Declaration
Swift
static func == (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3Bool -
Declaration
Swift
static func == (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3Bool -
Declaration
Swift
static func != (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3Bool -
Declaration
Swift
static func != (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3Bool -
Unsigned less than.
It abbreviates:
(or (and (= (extract[|m-1|:|m-1|] t1) bit1) (= (extract[|m-1|:|m-1|] t2) bit0)) (and (= (extract[|m-1|:|m-1|] t1) (extract[|m-1|:|m-1|] t2)) (bvult t1 t2)))Declaration
Swift
static func < (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3Bool -
Unsigned less than.
It abbreviates:
(or (and (= (extract[|m-1|:|m-1|] t1) bit1) (= (extract[|m-1|:|m-1|] t2) bit0)) (and (= (extract[|m-1|:|m-1|] t1) (extract[|m-1|:|m-1|] t2)) (bvult t1 t2)))Declaration
Swift
static func < (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3Bool -
Unsigned less than or equal to.
Declaration
Swift
static func <= (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3Bool -
Unsigned greater than or equal to.
Declaration
Swift
static func <= (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3Bool -
Unsigned greater than.
Declaration
Swift
static func > (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3Bool -
Unsigned greater than or equal to.
Declaration
Swift
static func > (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3Bool -
Unsigned greater than or equal to.
Declaration
Swift
static func >= (lhs: Z3BitVectorU64, rhs: UInt64) -> Z3Bool -
Unsigned greater than or equal to.
Declaration
Swift
static func >= (lhs: UInt64, rhs: Z3BitVectorU64) -> Z3Bool