Vectors of ASTs. More...
Data Structures | |
class | DecRefQueue |
Public Member Functions | |
void | Resize (uint newSize) |
Resize the vector to newSize . | |
void | Push (AST a) |
Add the AST a to the back of the vector. The size is increased by 1. | |
ASTVector | Translate (Context ctx) |
Translates all ASTs in the vector to ctx . | |
override string | ToString () |
Retrieves a string representation of the vector. | |
Properties | |
uint | Size [get] |
The size of the vector. | |
AST | this[uint i] [get, set] |
Retrieves the i-th object in the vector. |
Vectors of ASTs.
Definition at line 28 of file ASTVector.cs.
Add the AST a to the back of the vector. The size is increased by 1.
a | An AST |
Definition at line 74 of file ASTVector.cs.
{ Contract.Requires(a != null); Native.Z3_ast_vector_push(Context.nCtx, NativeObject, a.NativeObject); }
void Resize | ( | uint | newSize | ) | [inline] |
Resize the vector to newSize .
newSize | The new size of the vector. |
Definition at line 64 of file ASTVector.cs.
{ Native.Z3_ast_vector_resize(Context.nCtx, NativeObject, newSize); }
override string ToString | ( | ) | [inline] |
Retrieves a string representation of the vector.
Definition at line 97 of file ASTVector.cs.
{
return Native.Z3_ast_vector_to_string(Context.nCtx, NativeObject);
}
Translates all ASTs in the vector to ctx .
ctx | A context |
Definition at line 86 of file ASTVector.cs.
{ Contract.Requires(ctx != null); Contract.Ensures(Contract.Result<ASTVector>() != null); return new ASTVector(Context, Native.Z3_ast_vector_translate(Context.nCtx, NativeObject, ctx.nCtx)); }
uint Size [get] |
The size of the vector.
Definition at line 34 of file ASTVector.cs.
Referenced by Model.SortUniverse().
AST this[uint i] [get, set] |
Retrieves the i-th object in the vector.
May throw an IndexOutOfBoundsException when i is out of range.
i | Index |
Definition at line 45 of file ASTVector.cs.