C# Class Microsoft.Z3.FuncInterp

Inheritance: Z3Object
显示文件 Open project: sslab-gatech/juxta

Public Methods

Method Description
ToString ( ) : string

A string representation of the function interpretation.

Private Methods

Method Description
DecRef ( IntPtr o ) : void
FuncInterp ( Context ctx, IntPtr obj ) : System
IncRef ( IntPtr o ) : void

Method Details

ToString() public method

A string representation of the function interpretation.
public ToString ( ) : string
return string