Public Member Functions | |
Expr | getValue () throws Z3Exception |
int | getNumArgs () throws Z3Exception |
Expr[] | getArgs () throws Z3Exception |
String | toString () |
![]() | |
void | dispose () throws Z3Exception |
![]() | |
void | dispose () throws Z3Exception |
Additional Inherited Members | |
![]() | |
void | finalize () throws Z3Exception |
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 |
Definition at line 57 of file FuncInterp.java.
Referenced by FuncInterp.Entry.toString().
|
inline |
The number of arguments of the entry.
Definition at line 47 of file FuncInterp.java.
Referenced by FuncInterp.Entry.getArgs(), and FuncInterp.Entry.toString().
|
inline |
Return the (symbolic) value of this entry.
Z3Exception |
Definition at line 38 of file FuncInterp.java.
Referenced by FuncInterp.Entry.toString().
|
inline |