-
Return the number of parameters of the function declaration.
Seealso
domainSize
Declaration
Swift
public var arity: UInt32 { get }
-
Return the number of parameters of the function declaration.
Seealso
domainSize
Declaration
Swift
public var domainSize: UInt32 { get }
-
Return the domain of the function declaration
Declaration
Swift
public var domain: [Z3Sort] { get }
-
Return the range of the function declaration.
Declaration
Swift
public var range: Z3Sort { get }
-
Return the name of the function declaration.
Declaration
Swift
public var name: Z3Symbol { get }
-
Return the number of parameters associated with the function declaration
Declaration
Swift
public var parametersCount: UInt32 { get }
-
Convert the current AST node into a string.
Declaration
Swift
public override func toString() -> String
-
Translate/Copy the AST
self
from its current context to contexttarget
Declaration
Swift
public override func translate(to newContext: Z3Context) -> Z3FuncDecl