Z3FuncDecl

public class Z3FuncDecl : Z3AstBase

A function declaration node.

  • 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 context target

    Declaration

    Swift

    public override func translate(to newContext: Z3Context) -> Z3FuncDecl