Extensions
The following extensions are available globally.
-
Declaration
Swift
public extension AnyZ3BitVector
-
Declaration
Swift
public extension Z3BitVector
-
Declaration
Swift
public extension Z3BitVector1
-
Declaration
Swift
public extension Z3BitVector32
-
Declaration
Swift
public extension Z3BitVector64
-
Declaration
Swift
public extension Z3BitVectorU32
-
Declaration
Swift
public extension Z3BitVectorU64
-
Declaration
Swift
public extension Z3FloatingPoint
public extension Z3FloatingPoint where T: FloatingSort, T: BinaryFloatingPoint, T: LosslessStringConvertible
-
Declaration
Swift
public extension Z3RoundingMode
-
Declaration
Swift
public extension Z3AstPrintMode
-
Declaration
Swift
public extension Z3DeclKind
-
Declaration
Swift
extension Z3ErrorCode: Error
-
Declaration
Swift
public extension Z3GoalPrec
-
Declaration
Swift
public extension Z3ParamKind
-
Declaration
Swift
public extension Z3ParameterKind
-
Declaration
Swift
public extension Z3SortKind
-
Declaration
Swift
public extension Z3SymbolKind
-
Declaration
Swift
extension Double: FloatingSort
-
Declaration
Swift
extension Float: FloatingSort
-
Declaration
Swift
extension Float80: FloatingSort