C# Class Microsoft.Z3.BitVecNum

Inheritance: BitVecExpr
Afficher le fichier Open project: sslab-gatech/juxta

Méthodes publiques

Méthode Description
ToString ( ) : string

Returns a string representation of the numeral.

Private Methods

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

Method Details

ToString() public méthode

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