C# Class Microsoft.Z3.ASTVector

Vectors of ASTs.
Inheritance: Z3Object
Show file Open project: sslab-gatech/juxta Class Usage Examples

Public Methods

Method 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

Method Description
ASTVector ( Context ctx ) : System
ASTVector ( Context ctx, IntPtr obj ) : System
DecRef ( IntPtr o ) : void
IncRef ( IntPtr o ) : void

Method Details

Push() public method

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
return void

Resize() public method

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

ToString() public method

Retrieves a string representation of the vector.
public ToString ( ) : string
return string

Translate() public method

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

this() public method

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
return AST