Go to the source code of this file.
Data Structures | |
class | NativeFuncInterp |
A function interpretation is represented as a finite map and an 'else' value. Each entry in the finite map represents the value of a function given a set of arguments. More... | |
class | NativeFuncInterp.Entry |
Evaluation entry of a function More... | |
Namespaces | |
namespace | Microsoft |
namespace | Microsoft.Z3 |
Typedefs | |
using | Z3_model = System.IntPtr |
using | Z3_func_interp = System.IntPtr |
using | Z3_func_entry = System.IntPtr |