AnyFPSort

public struct AnyFPSort : NumericalSort

A FP sort to type-erase Z3Ast<T> instances to. Note: You should not pass this float sort to methods that create new AST based on sort, and doing so will result in a runtime error when trying to call getSort.

  • Declaration

    Swift

    public static var isConcrete: Bool { get }

  • Note: Fatal-errors

    Declaration

    Swift

    public static func getSort(_ context: Z3Context) -> Z3Sort

  • Returns true if sort represents a floating-point sort of any bit length.

    Declaration

    Swift

    public static func isAssignableFrom(_ context: Z3Context, _ sort: Z3Sort) -> Bool