Z3
Data Structures | Public Member Functions | Properties
FuncInterp.Entry Class Reference

An Entry object represents an element in the finite map used to encode a function interpretation. More...

+ Inheritance diagram for FuncInterp.Entry:

Data Structures

class  DecRefQueue
 

Public Member Functions

override string ToString ()
 A string representation of the function entry. More...
 
- Public Member Functions inherited from Z3Object
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...
 

Detailed Description

An Entry object represents an element in the finite map used to encode a function interpretation.

Definition at line 36 of file FuncInterp.cs.

Member Function Documentation

override string ToString ( )
inline

A string representation of the function entry.

Definition at line 79 of file FuncInterp.cs.

80  {
81  uint n = NumArgs;
82  string res = "[";
83  Expr[] args = Args;
84  for (uint i = 0; i < n; i++)
85  res += args[i] + ", ";
86  return res + Value + "]";
87  }
Expr Value
Return the (symbolic) value of this entry.
Definition: FuncInterp.cs:42
Expr[] Args
The arguments of the function entry.
Definition: FuncInterp.cs:62
uint NumArgs
The number of arguments of the entry.
Definition: FuncInterp.cs:54

Property Documentation

Expr [] Args
get

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().

Expr Value
get

Return the (symbolic) value of this entry.

Definition at line 42 of file FuncInterp.cs.

Referenced by FuncInterp.ToString().