Public Member Functions | |
Expr | getValue () |
int | getNumArgs () |
Expr[] | getArgs () |
String | toString () |
![]() | |
void | dispose () |
![]() | |
void | dispose () |
Additional Inherited Members | |
![]() | |
void | finalize () |
An Entry object represents an element in the finite map used to encode a function interpretation.
Definition at line 31 of file FuncInterp.java.
|
inline |
The arguments of the function entry.
Z3Exception | |
Z3Exception | on error |
Definition at line 60 of file FuncInterp.java.
Referenced by FuncInterp.Entry.toString().
|
inline |
The number of arguments of the entry.
Z3Exception | on error |
Definition at line 49 of file FuncInterp.java.
Referenced by FuncInterp.Entry.getArgs(), and FuncInterp.Entry.toString().
|
inline |
Return the (symbolic) value of this entry.
Z3Exception | |
Z3Exception | on error |
Definition at line 39 of file FuncInterp.java.
Referenced by FuncInterp.Entry.toString().
|
inline |