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

Vectors of ASTs.

Наследование: Z3Object

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

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

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

Add the AST a to the back of the vector. The size is increased by 1.

Resize the vector to newSize.

public Resize ( uint newSize ) : void
newSize	uint	The new size of the vector.
Результат	void

Retrieves a string representation of the vector.

public ToString ( ) : string
Результат	string

Translates all ASTs in the vector to ctx.

public Translate ( Context ctx ) : ASTVector
ctx	Context	A context
Результат	ASTVector

Retrieves the i-th object in the vector.

May throw an IndexOutOfBoundsException when i is out of range.