C# Class Microsoft.Z3.Pattern

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

Méthodes publiques

Méthode Description
ToString ( ) : string

A string representation of the pattern.

Private Methods

Méthode Description
Pattern ( Context ctx, IntPtr obj ) : System

Method Details

ToString() public méthode

A string representation of the pattern.
public ToString ( ) : string
Résultat string