C# Class Microsoft.Z3.ASTVector

Vectors of ASTs.
Inheritance: Z3Object
Afficher le fichier Open project: sslab-gatech/juxta Class Usage Examples

Méthodes publiques

Méthode Description
Push ( AST a ) : void

Add the AST a to the back of the vector. The size is increased by 1.
Resize ( uint newSize ) : void

Resize the vector to newSize.
ToString ( ) : string

Retrieves a string representation of the vector.
Translate ( Context ctx ) : ASTVector

Translates all ASTs in the vector to ctx.
this ( uint i ) : AST

Retrieves the i-th object in the vector.

May throw an IndexOutOfBoundsException when i is out of range.

Private Methods

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

Method Details

Push() public méthode

Add the AST a to the back of the vector. The size is increased by 1.
public Push ( AST a ) : void
a AST An AST
Résultat void

Resize() public méthode

Resize the vector to newSize.
public Resize ( uint newSize ) : void
newSize uint The new size of the vector.
Résultat void

ToString() public méthode

Retrieves a string representation of the vector.
public ToString ( ) : string
Résultat string

Translate() public méthode

Translates all ASTs in the vector to ctx.
public Translate ( Context ctx ) : ASTVector
ctx Context A context
Résultat ASTVector

this() public méthode

Retrieves the i-th object in the vector.
May throw an IndexOutOfBoundsException when i is out of range.
public this ( uint i ) : AST
i uint Index
Résultat AST