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.