Public Member Functions | |
array (unsigned sz) | |
template<typename T2 > | |
array (ast_vector_tpl< T2 > const &v) | |
~array () | |
unsigned | size () const |
T & | operator[] (int i) |
T const & | operator[] (int i) const |
T const * | ptr () const |
T * | ptr () |
|
inline |
array | ( | ast_vector_tpl< T2 > const & | v | ) |
|
inline |
|
inline |
|
inline |
Definition at line 267 of file z3++.h.
Referenced by goal::as_expr(), solver::check(), z3::distinct(), context::enumeration_sort(), z3::exists(), z3::forall(), context::function(), func_decl::operator()(), and solver::to_smt2().
|
inline |
Definition at line 264 of file z3++.h.
Referenced by z3::distinct(), z3::exists(), z3::forall(), and solver::to_smt2().