C# Class Microsoft.Z3.Pattern

Inheritance: AST
Mostrar archivo Open project: sslab-gatech/juxta Class Usage Examples

Public Methods

Method Description
ToString ( ) : string

A string representation of the pattern.

Private Methods

Method Description
Pattern ( Context ctx, IntPtr obj ) : System

Method Details

ToString() public method

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