C# Class Microsoft.Z3.AST

Inheritance: Z3Object, IComparable
Show file Open project: sslab-gatech/juxta Class Usage Examples

Public Methods

Method 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

Method 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 method

Object Comparison.
public CompareTo ( object other ) : int
other object Another AST
return int

Equals() public method

Object comparison.
public Equals ( object o ) : bool
o object
return bool

GetHashCode() public method

The AST's hash code.
public GetHashCode ( ) : int
return int

SExpr() public method

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

ToString() public method

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

Translate() public method

Translates (copies) the AST to the Context ctx.
public Translate ( Context ctx ) : AST
ctx Context A context
return AST

operator() public static method

Comparison operator.
public static operator ( ) : bool
return bool