FuncDecl class abstract

Inheritance
Implementers
Available Extensions

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 setterinherited
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 setterinherited

Methods

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