A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_func_interp_1_1_entry.html below:

Z3: 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:

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...
  Detailed Description

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

Definition at line 35 of file FuncInterp.cs.

Member Function Documentation ◆ ToString() override string ToString ( ) inline

A string representation of the function entry.

Definition at line 75 of file FuncInterp.cs.

80  for

(uint i = 0; i < n; i++)

81

res += args[i] +

", "

;

82  return

res +

Value

+

"]"

;

uint NumArgs

The number of arguments of the entry.

Expr Value

Return the (symbolic) value of this entry.

Expr[] Args

The arguments of the function entry.

Property Documentation ◆ Args ◆ NumArgs ◆ Value

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4