Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Public Member Functions
array< T > Class Template Reference

Public Member Functions

 array (unsigned sz)
 
 ~array ()
 
unsigned size () const
 
T & operator[] (unsigned i)
 
T const & operator[] (unsigned i) const
 
T const * ptr () const
 
T * ptr ()
 

Detailed Description

template<typename T>
class z3::array< T >

Definition at line 229 of file z3++.h.

Constructor & Destructor Documentation

array ( unsigned  sz)
inline

Definition at line 235 of file z3++.h.

:m_size(sz) { m_array = new T[sz]; }
~array ( )
inline

Definition at line 236 of file z3++.h.

{ delete[] m_array; }

Member Function Documentation

T& operator[] ( unsigned  i)
inline

Definition at line 238 of file z3++.h.

{ assert(i < m_size); return m_array[i]; }
T const& operator[] ( unsigned  i) const
inline

Definition at line 239 of file z3++.h.

{ assert(i < m_size); return m_array[i]; }
T const* ptr ( ) const
inline

Definition at line 240 of file z3++.h.

Referenced by solver::check(), context::function(), and func_decl::operator()().

{ return m_array; }
T* ptr ( )
inline

Definition at line 241 of file z3++.h.

{ return m_array; }
unsigned size ( ) const
inline

Definition at line 237 of file z3++.h.

{ return m_size; }