Vectors of ASTs. More...
Data Structures | |
class | DecRefQueue |
Public Member Functions | |
void | Resize (uint newSize) |
Resize the vector to newSize . More... | |
void | Push (AST a) |
Add the AST a to the back of the vector. The size is increased by 1. More... | |
ASTVector | Translate (Context ctx) |
Translates all ASTs in the vector to ctx . More... | |
override string | ToString () |
Retrieves a string representation of the vector. More... | |
![]() | |
void | Dispose () |
Disposes of the underlying native Z3 object. More... | |
Properties | |
uint | Size [get] |
The size of the vector More... | |
AST | this[uint i] [get, set] |
Retrieves the i-th object in the vector. More... | |
Vectors of ASTs.
Definition at line 28 of file ASTVector.cs.
|
inline |
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.
|
inline |
Resize the vector to newSize .
newSize | The new size of the vector. |
Definition at line 64 of file ASTVector.cs.
|
inline |
Retrieves a string representation of the vector.
Definition at line 97 of file ASTVector.cs.
Translates all ASTs in the vector to ctx .
ctx | A context |
Definition at line 86 of file ASTVector.cs.
|
get |
The size of the vector
Definition at line 34 of file ASTVector.cs.
Referenced by InterpolationContext.GetInterpolant(), and Model.SortUniverse().
|
getset |
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.