Functions
The following functions are available globally.
-
Creates a floating-point absolute value AST for a given floating point.
Declaration
Swift
public func abs<T>(_ ast: Z3FloatingPoint<T>) -> Z3FloatingPoint<T> where T : FloatingSort
-
Creates an AST for the minimum of two floating-point numbers.
Declaration
Swift
public func min<T>(_ v1: Z3FloatingPoint<T>, _ v2: Z3FloatingPoint<T>) -> Z3FloatingPoint<T> where T : FloatingSort
-
Creates an AST for the maximum of two floating-point numbers.
Declaration
Swift
public func max<T>(_ v1: Z3FloatingPoint<T>, _ v2: Z3FloatingPoint<T>) -> Z3FloatingPoint<T> where T : FloatingSort