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 () |
array | ( | unsigned | sz | ) | [inline] |
array | ( | ast_vector_tpl< T2 > const & | v | ) |
T& operator[] | ( | int | i | ) | [inline] |
T const& operator[] | ( | int | i | ) | const [inline] |
T const* ptr | ( | ) | const [inline] |
Definition at line 262 of file z3++.h.
Referenced by goal::as_expr(), solver::check(), z3::distinct(), context::enumeration_sort(), z3::exists(), z3::forall(), context::function(), and func_decl::operator()().
{ return m_array; }
unsigned size | ( | ) | const [inline] |
Definition at line 259 of file z3++.h.
Referenced by z3::distinct(), z3::exists(), and z3::forall().
{ return m_size; }