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. | |
Properties | |
Expr | Value [get] |
Return the (symbolic) value of this entry. | |
uint | NumArgs [get] |
The number of arguments of the entry. | |
Expr[] | Args [get] |
The arguments of the function entry. |
An Entry object represents an element in the finite map used to encode a function interpretation.
Definition at line 36 of file FuncInterp.cs.
override string ToString | ( | ) | [inline] |
A string representation of the function entry.
Definition at line 79 of file FuncInterp.cs.
The arguments of the function entry.
Definition at line 62 of file FuncInterp.cs.
Referenced by FuncInterp.ToString().
uint NumArgs [get] |
The number of arguments of the entry.
Definition at line 54 of file FuncInterp.cs.
Referenced by FuncInterp.ToString().
Return the (symbolic) value of this entry.
Definition at line 42 of file FuncInterp.cs.
Referenced by FuncInterp.ToString().