C# Class Microsoft.Z3.IntNum

Inheritance: IntExpr
ファイルを表示 Open project: sslab-gatech/juxta Class Usage Examples

Public Methods

Method Description
ToString ( ) : string

Returns a string representation of the numeral.

Private Methods

Method Description
IntNum ( Context ctx, IntPtr obj ) : System.Numerics

Method Details

ToString() public method

Returns a string representation of the numeral.
public ToString ( ) : string
return string