C# Class Microsoft.Z3.AST

Inheritance: Z3Object, IComparable
Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Méthodes publiques

Méthode Description
CompareTo ( object other ) : int

Object Comparison.
Equals ( object o ) : bool

Object comparison.
GetHashCode ( ) : int

The AST's hash code.
SExpr ( ) : string

A string representation of the AST in s-expression notation.
ToString ( ) : string

A string representation of the AST.
Translate ( Context ctx ) : AST

Translates (copies) the AST to the Context ctx.
operator ( ) : bool

Comparison operator.

Private Methods

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

Method Details

CompareTo() public méthode

Object Comparison.
public CompareTo ( object other ) : int
other object Another AST
Résultat int

Equals() public méthode

Object comparison.
public Equals ( object o ) : bool
o object
Résultat bool

GetHashCode() public méthode

The AST's hash code.
public GetHashCode ( ) : int
Résultat int

SExpr() public méthode

A string representation of the AST in s-expression notation.
public SExpr ( ) : string
Résultat string

ToString() public méthode

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

Translate() public méthode

Translates (copies) the AST to the Context ctx.
public Translate ( Context ctx ) : AST
ctx Context A context
Résultat AST

operator() public static méthode

Comparison operator.
public static operator ( ) : bool
Résultat bool