C# Класс Microsoft.Z3.AST

Наследование: Z3Object, IComparable
Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
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.

Приватные методы

Метод Описание
AST ( Context ctx ) : System
AST ( Context ctx, IntPtr obj ) : System
Create ( Context ctx, IntPtr obj ) : AST
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void

Описание методов

CompareTo() публичный Метод

Object Comparison.
public CompareTo ( object other ) : int
other object Another AST
Результат int

Equals() публичный Метод

Object comparison.
public Equals ( object o ) : bool
o object
Результат bool

GetHashCode() публичный Метод

The AST's hash code.
public GetHashCode ( ) : int
Результат int

SExpr() публичный Метод

A string representation of the AST in s-expression notation.
public SExpr ( ) : string
Результат string

ToString() публичный Метод

A string representation of the AST.
public ToString ( ) : string
Результат string

Translate() публичный Метод

Translates (copies) the AST to the Context ctx.
public Translate ( Context ctx ) : AST
ctx Context A context
Результат AST

operator() публичный статический Метод

Comparison operator.
public static operator ( ) : bool
Результат bool