Z3Int public extension Z3Int getSort(_:) Gets the statically-typed Z3Sort associated with IntSort from this Z3Int. Declaration Swift static func getSort(_ context: Z3Context) -> Z3Sort %(_:_:) Declaration Swift static func % (lhs: Z3Int, rhs: Z3Int) -> Z3Int ==(_:_:) Declaration Swift static func == (lhs: Int32, rhs: Z3Int) -> Z3Bool ==(_:_:) Declaration Swift static func == (lhs: Z3Int, rhs: Int32) -> Z3Bool !=(_:_:) Declaration Swift static func != (lhs: Int32, rhs: Z3Int) -> Z3Bool !=(_:_:) Declaration Swift static func != (lhs: Z3Int, rhs: Int32) -> Z3Bool <(_:_:) Declaration Swift static func < (lhs: Int32, rhs: Z3Int) -> Z3Bool <(_:_:) Declaration Swift static func < (lhs: Z3Int, rhs: Int32) -> Z3Bool <=(_:_:) Declaration Swift static func <= (lhs: Int32, rhs: Z3Int) -> Z3Bool <=(_:_:) Declaration Swift static func <= (lhs: Z3Int, rhs: Int32) -> Z3Bool >(_:_:) Declaration Swift static func > (lhs: Int32, rhs: Z3Int) -> Z3Bool >(_:_:) Declaration Swift static func > (lhs: Z3Int, rhs: Int32) -> Z3Bool >=(_:_:) Declaration Swift static func >= (lhs: Int32, rhs: Z3Int) -> Z3Bool >=(_:_:) Declaration Swift static func >= (lhs: Z3Int, rhs: Int32) -> Z3Bool Constants Casting +(_:_:) Declaration Swift static func + (lhs: Int32, rhs: Z3Int) -> Z3Int +(_:_:) Declaration Swift static func + (lhs: Z3Int, rhs: Int32) -> Z3Int -(_:_:) Declaration Swift static func - (lhs: Int32, rhs: Z3Int) -> Z3Int -(_:_:) Declaration Swift static func - (lhs: Z3Int, rhs: Int32) -> Z3Int *(_:_:) Declaration Swift static func * (lhs: Int32, rhs: Z3Int) -> Z3Int *(_:_:) Declaration Swift static func * (lhs: Z3Int, rhs: Int32) -> Z3Int /(_:_:) Declaration Swift static func / (lhs: Int32, rhs: Z3Int) -> Z3Int /(_:_:) Declaration Swift static func / (lhs: Z3Int, rhs: Int32) -> Z3Int %(_:_:) Declaration Swift static func % (lhs: Int32, rhs: Z3Int) -> Z3Int %(_:_:) Declaration Swift static func % (lhs: Z3Int, rhs: Int32) -> Z3Int
Z3Int Extension Reference
Z3Int Extension Reference