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... | |
AST[] | ToArray () |
Translates an AST vector into an AST[] More... | |
Expr[] | ToExprArray () |
Translates an ASTVector into an Expr[] More... | |
BoolExpr[] | ToBoolExprArray () |
Translates an ASTVector into a BoolExpr[] More... | |
BitVecExpr[] | ToBitVecExprArray () |
Translates an ASTVector into a BitVecExpr[] More... | |
ArithExpr[] | ToArithExprArray () |
Translates an ASTVector into a ArithExpr[] More... | |
ArrayExpr[] | ToArrayExprArray () |
Translates an ASTVector into a ArrayExpr[] More... | |
DatatypeExpr[] | ToDatatypeExprArray () |
Translates an ASTVector into a DatatypeExpr[] More... | |
FPExpr[] | ToFPExprArray () |
Translates an ASTVector into a FPExpr[] More... | |
FPRMExpr[] | ToFPRMExprArray () |
Translates an ASTVector into a FPRMExpr[] More... | |
IntExpr[] | ToIntExprArray () |
Translates an ASTVector into a IntExpr[] More... | |
RealExpr[] | ToRealExprArray () |
Translates an ASTVector into a RealExpr[] 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 73 of file ASTVector.cs.
|
inline |
Resize the vector to newSize .
newSize | The new size of the vector. |
Definition at line 63 of file ASTVector.cs.
|
inline |
Translates an ASTVector into a ArithExpr[]
Definition at line 151 of file ASTVector.cs.
|
inline |
Translates an AST vector into an AST[]
Definition at line 103 of file ASTVector.cs.
|
inline |
Translates an ASTVector into a ArrayExpr[]
Definition at line 163 of file ASTVector.cs.
|
inline |
Translates an ASTVector into a BitVecExpr[]
Definition at line 139 of file ASTVector.cs.
|
inline |
Translates an ASTVector into a BoolExpr[]
Definition at line 127 of file ASTVector.cs.
Referenced by Solver.Cube(), Fixedpoint.ParseFile(), Context.ParseSMTLIB2File(), Context.ParseSMTLIB2String(), and Fixedpoint.ParseString().
|
inline |
Translates an ASTVector into a DatatypeExpr[]
Definition at line 175 of file ASTVector.cs.
|
inline |
Translates an ASTVector into an Expr[]
Definition at line 115 of file ASTVector.cs.
Referenced by Model.SortUniverse().
|
inline |
Translates an ASTVector into a FPExpr[]
Definition at line 187 of file ASTVector.cs.
|
inline |
Translates an ASTVector into a FPRMExpr[]
Definition at line 199 of file ASTVector.cs.
|
inline |
Translates an ASTVector into a IntExpr[]
Definition at line 211 of file ASTVector.cs.
|
inline |
Translates an ASTVector into a RealExpr[]
Definition at line 223 of file ASTVector.cs.
|
inline |
Retrieves a string representation of the vector.
Definition at line 95 of file ASTVector.cs.
Translates all ASTs in the vector to ctx .
ctx | A context |
Definition at line 85 of file ASTVector.cs.
|
get |
The size of the vector
Definition at line 33 of file ASTVector.cs.
Referenced by ASTVector.ToArithExprArray(), ASTVector.ToArray(), ASTVector.ToArrayExprArray(), ASTVector.ToBitVecExprArray(), ASTVector.ToBoolExprArray(), ASTVector.ToDatatypeExprArray(), ASTVector.ToExprArray(), ASTVector.ToFPExprArray(), ASTVector.ToFPRMExprArray(), ASTVector.ToIntExprArray(), and ASTVector.ToRealExprArray().
|
getset |
Retrieves the i-th object in the vector.
May throw an IndexOutOfBoundsException when i is out of range.
i | Index |
Definition at line 44 of file ASTVector.cs.