NativeFuncInterp.Entry Class Reference

Evaluation entry of a function More...

Data Fields
Z3_ast[]	Arguments
	Argument values that define entry More...
Z3_ast	Result
	Result of applying function to Arguments in the interpretation More...

Detailed Description

Evaluation entry of a function

Definition at line 45 of file NativeFuncInterp.cs.

Field Documentation

Arguments

Z3_ast [] Arguments

Argument values that define entry

Definition at line 50 of file NativeFuncInterp.cs.

Result

Z3_ast Result

Result of applying function to Arguments in the interpretation

Definition at line 55 of file NativeFuncInterp.cs.