C# Class Microsoft.Z3.RatNum

Inheritance: RealExpr
Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Méthodes publiques

Méthode Description
ToDecimalString ( uint precision ) : string

Returns a string representation in decimal notation.

The result has at most precision decimal places.

ToString ( ) : string

Returns a string representation of the numeral.

Private Methods

Méthode Description
RatNum ( Context ctx, IntPtr obj ) : System.Numerics

Method Details

ToDecimalString() public méthode

Returns a string representation in decimal notation.
The result has at most precision decimal places.
public ToDecimalString ( uint precision ) : string
precision uint
Résultat string

ToString() public méthode

Returns a string representation of the numeral.
public ToString ( ) : string
Résultat string