TreeOrder class
- Inheritance
- Available extensions
Properties
-
domain
→ List<
Sort> -
finalinherited
- hashCode → int
-
The hash code for this object.
no setterinherited
- id → int
-
final
- kind → FuncKind
-
no setteroverride
- name → Sym
-
finalinherited
-
parameters
→ List<
Parameter> -
finalinherited
- range → Sort
-
finalinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
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.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited