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 322 of file z3++.h.
Referenced by goal::as_expr(), solver::check(), z3::concat(), z3::distinct(), context::enumeration_sort(), z3::exists(), z3::forall(), context::function(), z3::mk_and(), z3::mk_or(), func_decl::operator()(), context::parse_file(), context::parse_string(), and solver::to_smt2().
|
inline |
Definition at line 319 of file z3++.h.
Referenced by z3::concat(), z3::distinct(), z3::exists(), z3::forall(), z3::mk_and(), z3::mk_or(), and solver::to_smt2().