An Entry object represents an element in the finite map used to encode a function interpretation. More...
Data Structures | |
class | DecRefQueue |
Public Member Functions | |
override string | ToString () |
A string representation of the function entry. More... | |
![]() | |
void | Dispose () |
Disposes of the underlying native Z3 object. More... | |
Properties | |
Expr | Value [get] |
Return the (symbolic) value of this entry. More... | |
uint | NumArgs [get] |
The number of arguments of the entry. More... | |
Expr[] | Args [get] |
The arguments of the function entry. More... | |
An Entry object represents an element in the finite map used to encode a function interpretation.
Definition at line 36 of file FuncInterp.cs.
|
inline |
A string representation of the function entry.
Definition at line 79 of file FuncInterp.cs.
|
get |
The arguments of the function entry.
Definition at line 62 of file FuncInterp.cs.
Referenced by FuncInterp.ToString().
|
get |
The number of arguments of the entry.
Definition at line 54 of file FuncInterp.cs.
Referenced by FuncInterp.ToString().
|
get |
Return the (symbolic) value of this entry.
Definition at line 42 of file FuncInterp.cs.
Referenced by FuncInterp.ToString().