difference_type index index_iterator index_iterator index_iterator iterator_category operator* operator++ operator+= operator- operator-- operator== pointer reference value_type

operator*() template<typename R > reference halcheck::lib::index_iterator< R >::operator* ( ) const inline Obtains the element this iterator points to. Returns A reference to the pointed-to element.