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... | |
Evaluation entry of a function
Definition at line 45 of file NativeFuncInterp.cs.
Z3_ast [] Arguments |
Argument values that define entry
Definition at line 50 of file NativeFuncInterp.cs.
Z3_ast Result |
Result of applying function to Arguments in the interpretation
Definition at line 55 of file NativeFuncInterp.cs.