TeDDy 4.1.0
Decision diagram library.
Loading...
Searching...
No Matches
Public Types | Public Member Functions | List of all members
teddy::unique_table_iterator< Data, Degree > Class Template Reference

Iterator for the unique table. More...

#include <hash_tables.hpp>

Public Types

using node_t = node< Data, Degree >
 

Public Member Functions

 unique_table_iterator (node_t **firstBucket, node_t **lastBucket)
 
 unique_table_iterator (node_t **bucket, node_t **lastBucket, node_t *node)
 
auto operator++ () -> unique_table_iterator &
 
auto operator++ (int) -> unique_table_iterator
 
auto operator* () const -> node_t *
 
auto operator== (unique_table_iterator const &other) const -> bool
 
auto operator!= (unique_table_iterator const &other) const -> bool
 
auto get_bucket () const -> node_t **
 

Detailed Description

template<class Data, class Degree>
class teddy::unique_table_iterator< Data, Degree >

Iterator for the unique table.


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