C# Class Microsoft.Z3.FuncInterp.Entry

An Entry object represents an element in the finite map used to encode a function interpretation.
Inheritance: Z3Object
Afficher le fichier Open project: sslab-gatech/juxta

Méthodes publiques

Méthode Description
ToString ( ) : string

A string representation of the function entry.

Private Methods

Méthode Description
DecRef ( IntPtr o ) : void
Entry ( Context ctx, IntPtr obj ) : System
IncRef ( IntPtr o ) : void

Method Details

ToString() public méthode

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