hash_table3_iterator Class Reference

#include <sim_hashtable.h>

Public Member Functions
	hash_table3_iterator (hash_table3 *ht)
bool	is_end ()
void	operator++ ()
std::size_t	get_x ()
std::size_t	get_y ()
std::size_t	get_z ()
void	set (std::size_t i)
void	set_end (std::size_t i)

Private Attributes
std::vector< bucket3 >::iterator	bucket_it
std::vector< bucket3 >::iterator	end
hash_table3 *	hash_table

Detailed Description

Definition at line 110 of file sim_hashtable.h.

Constructor & Destructor Documentation

hash_table3_iterator()

hash_table3_iterator::hash_table3_iterator

(

hash_table3 *

ht

)

Definition at line 42 of file sim_hashtable.cpp.

Member Function Documentation

get_x()

std::size_t hash_table3_iterator::get_x ( )

inline

Definition at line 119 of file sim_hashtable.h.

get_y()

std::size_t hash_table3_iterator::get_y ( )

inline

Definition at line 123 of file sim_hashtable.h.

get_z()

std::size_t hash_table3_iterator::get_z ( )

inline

Definition at line 127 of file sim_hashtable.h.

is_end()

bool hash_table3_iterator::is_end ( )

inline

Definition at line 114 of file sim_hashtable.h.

operator++()

void hash_table3_iterator::operator++

(

)

Definition at line 53 of file sim_hashtable.cpp.

set()

void hash_table3_iterator::set ( std::size_t  i )

inline

Definition at line 131 of file sim_hashtable.h.

set_end()

void hash_table3_iterator::set_end ( std::size_t  i )

inline

Definition at line 135 of file sim_hashtable.h.

Member Data Documentation

bucket_it

std::vector<bucket3>::iterator hash_table3_iterator::bucket_it

private

Definition at line 140 of file sim_hashtable.h.

end

std::vector<bucket3>::iterator hash_table3_iterator::end

private

Definition at line 141 of file sim_hashtable.h.

hash_table

hash_table3* hash_table3_iterator::hash_table

private

Definition at line 142 of file sim_hashtable.h.

---

The documentation for this class was generated from the following files:

• lts/include/mcrl2/lts/detail/sim_hashtable.h
• lts/source/sim_hashtable.cpp