FuncDecl class abstract

Inheritance

• Object
• AST
• Decl
• FuncDecl

Implementers

• Func
• InterpretedFunc
• LinearOrder
• PartialOrder
• PiecewiseLinearOrder
• RecursiveFunc
• TransitiveClosure
• TreeOrder

Available extensions

• ASTExtension
• FuncDeclExtension

Constructors

FuncDecl({required Sym name, required FuncKind kind, required List<Parameter> parameters, required List<Sort> domain, required Sort range})

Properties

domain → List<Sort>

final

hashCode → int

The hash code for this object.

no setter, inherited

kind → FuncKind

final

name → Sym

final

parameters → List<Parameter>

final

range → Sort

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

build(Context c) → Z3_ast

override

buildFuncDecl(Context c) → Z3_func_decl

call([Object? x1, Object? x2, Object? x3, Object? x4, Object? x5, Object? x6, Object? x7, Object? x8, Object? x9]) → App

Available on FuncDecl, provided by the FuncDeclExtension extension

Call this function with the given arguments.

declare() → A

Available on A, provided by the ASTExtension extension

Declare this AST element in the current context if it hasn't already.

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited