InterpretedFunc class

Inheritance

Available extensions

Properties

domain → List<Sort>: finalinherited
hashCode → int: The hash code for this object.
no setterinherited
kind → FuncKind: finalinherited
name → Sym: finalinherited
parameters → List<Parameter>: finalinherited
range → Sort: finalinherited
runtimeType → Type: A representation of the runtime type of the object.
no setterinherited

build(Context c) → Z3_ast: inherited
buildFuncDecl(Context c) → Z3_func_decl: override
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.
override