Extensions Reference
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 Z3FloatingPointpublic 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