Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
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.

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.

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.

            {
                uint n = NumArgs;
                string res = "[";
                Expr[] args = Args;
                for (uint i = 0; i < n; i++)
                    res += args[i] + ", ";
                return res + Value + "]";
            }

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

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines