aGrUM  0.20.3
a C++ library for (probabilistic) graphical models
gum::Sequence< Key, Alloc > Class Template Reference

The generic class for storing (ordered) sequences of objects. More...

#include <agrum/tools/core/sequence.h>

+ Inheritance diagram for gum::Sequence< Key, Alloc >:
+ Collaboration diagram for gum::Sequence< Key, Alloc >:

Public Member Functions

template<typename OtherAlloc >
INLINE Sequence (const Sequence< Key, OtherAlloc > &aSeq)
 
template<typename OtherAlloc >
INLINE Sequence< Key, Alloc > & operator= (const Sequence< Key, OtherAlloc > &aSeq)
 
bool operator== (const SequenceImplementation< Key, OtherAlloc, true > &k) const
 
INLINE bool operator!= (const SequenceImplementation< Key, OtherAlloc, Gen > &k) const
 
INLINE bool operator!= (const SequenceImplementation< Key, OtherAlloc, true > &k) const
 
INLINE void emplace (Args &&... args)
 
INLINE void _copy_ (const SequenceImplementation< Key, OtherAlloc, Gen > &aSeq)
 
INLINE void _copy_ (const SequenceImplementation< Key, OtherAlloc, true > &aSeq)
 
Constructors / Destructors
 Sequence (Size size_param=HashTableConst::default_size)
 Default constructor. More...
 
 Sequence (std::initializer_list< Key > list)
 Initializer list constructor. More...
 
 Sequence (const Sequence< Key, Alloc > &aSeq)
 Copy constructor. More...
 
template<typename OtherAlloc >
 Sequence (const Sequence< Key, OtherAlloc > &aSeq)
 Generalised copy constructor. More...
 
 Sequence (Sequence< Key, Alloc > &&aSeq)
 Move constructor. More...
 
 ~Sequence () noexcept
 Class destructor. More...
 
Operators
Sequence< Key, Alloc > & operator= (const Sequence< Key, Alloc > &aSeq)
 Copy operator. More...
 
template<typename OtherAlloc >
Sequence< Key, Alloc > & operator= (const Sequence< Key, OtherAlloc > &aSeq)
 Generalized opy operator. More...
 
Sequence< Key, Alloc > & operator= (Sequence< Key, Alloc > &&aSeq)
 Move operator. More...
 
Accessors / Modifiers
template<typename OtherAlloc >
Set< Key, Alloc > diffSet (const Sequence< Key, OtherAlloc > &seq) const
 Difference between two sequences as a Set<Key> = this \ seq. More...
 
Iterators
iterator_safe beginSafe () const
 Returns a safe begin iterator. More...
 
iterator_safe rbeginSafe () const
 Returns a safe rbegin iterator. More...
 
const iterator_safeendSafe () const noexcept
 Returns the safe end iterator. More...
 
const iterator_saferendSafe () const noexcept
 Returns the safe rend iterator. More...
 
iterator begin () const
 Returns an unsafe begin iterator. More...
 
iterator rbegin () const
 Returns an unsafe rbegin iterator. More...
 
const iteratorend () const noexcept
 Returns the unsafe end iterator. More...
 
const iteratorrend () const noexcept
 Returns the unsafe rend iterator. More...
 
Operators
SequenceImplementation< Key, Alloc, Gen > & operator<< (const Key &k)
 Insert k at the end of the sequence (synonym for insert). More...
 
SequenceImplementation< Key, Alloc, Gen > & operator<< (Key &&k)
 Insert k at the end of the sequence (synonym for insert). More...
 
SequenceImplementation< Key, Alloc, Gen > & operator>> (const Key &k)
 Remove k in the sequence (synonym for erase). More...
 
const Key & operator[] (Idx i) const
 Returns the element at position i (synonym for atPos). More...
 
bool operator== (const SequenceImplementation< Key, OtherAlloc, Gen > &k) const
 Returns true if the content of k equals that of *this. More...
 
bool operator!= (const SequenceImplementation< Key, OtherAlloc, Gen > &k) const
 Returns true if the content of k is different from that of *this. More...
 
Accessors / Modifiers
void clear ()
 Clear the sequence. More...
 
Size size () const noexcept
 Returns the size of the sequence. More...
 
bool empty () const noexcept
 Return true if empty. More...
 
bool exists (const Key &k) const
 Check the existence of k in the sequence. More...
 
void insert (const Key &k)
 Insert an element at the end of the sequence. More...
 
void insert (Key &&k)
 Move an element at the end of the sequence. More...
 
void emplace (Args &&... args)
 Emplace a new element in the sequence. More...
 
void erase (const Key &k)
 Remove an element from the sequence. More...
 
void erase (const iterator_safe &k)
 Remove from the sequence the element pointed to by the iterator. More...
 
const Key & atPos (Idx i) const
 Returns the object at the pos i. More...
 
Idx pos (const Key &key) const
 Returns the position of the object passed in argument (if it exists). More...
 
void setAtPos (Idx i, const Key &newKey)
 Change the value. More...
 
void setAtPos (Idx i, Key &&newKey)
 Change the value. More...
 
void swap (Idx i, Idx j)
 Swap index. More...
 
const Key & front () const
 Returns the first element of the element. More...
 
const Key & back () const
 Returns the last element of the sequence. More...
 
std::string toString () const
 Displays the content of the sequence. More...
 
void resize (Size new_size)
 Modifies the size of the internal structures of the sequence. More...
 

Public Types

using Implementation = SequenceImplementation< Key, Alloc, std::is_scalar< Key >::value >
 The gum::Sequence implementation. More...
 
using value_type = Key
 Types for STL compliance. More...
 
using reference = Key &
 Types for STL compliance. More...
 
using const_reference = const Key &
 Types for STL compliance. More...
 
using pointer = Key *
 Types for STL compliance. More...
 
using const_pointer = const Key *
 Types for STL compliance. More...
 
using size_type = std::size_t
 Types for STL compliance. More...
 
using difference_type = std::ptrdiff_t
 Types for STL compliance. More...
 
using allocator_type = Alloc
 Types for STL compliance. More...
 
using iterator = SequenceIterator< Key >
 Types for STL compliance. More...
 
using const_iterator = SequenceIterator< Key >
 Types for STL compliance. More...
 
using iterator_safe = SequenceIteratorSafe< Key >
 Types for STL compliance. More...
 
using const_iterator_safe = SequenceIteratorSafe< Key >
 Types for STL compliance. More...
 

Detailed Description

template<typename Key, typename Alloc = std::allocator< Key >>
class gum::Sequence< Key, Alloc >

The generic class for storing (ordered) sequences of objects.

A gum::Sequence<Key> is quite similar to a std::vector<Key> in that it stores an ordered set of elements. The main difference between these two data structures lies in the fact that, given a key, it is possible to retrieve from a gum::Sequence<Key> the index in the vector where the key lies in O(1). As a result, it is not possible to insert a given element twice in the sequence, that is, all the Keys must be different.

Usage example:
// creation of a sequence
Sequence<int> seq { 1, 2, 3, 4 };
Sequence<string> seq2;
// creation of safe iterators
SequenceIteratorSafe<int> iter1 = seq.beginSafe (); // points to 1
SequenceIteratorSafe<int> iter2 = iter1;
SequenceIteratorSafe<int> iter3 = std::move ( iter1 );
// creation of unsafe iterators
SequenceIterator<int> xiter1 = seq.begin (); // points to 1
SequenceIterator<int> xiter2 = xiter1;
SequenceIterator<int> xiter3 = std::move ( xiter1 );
// parsing the sequence
for ( auto iter = seq.begin (); iter != seq.end (); ++iter )
std::cout << *iter << std::endl;
for ( auto iter = seq.rbegin (); iter != seq.rend (); --iter )
std::cout << *iter << std::endl;
for ( auto iter = seq.begin (); iter != seq.end (); ++iter )
std::cout << iter->size () << std::endl;
Template Parameters
KeyThe elements type stored in the sequence.
AllocThe values allocator.

Definition at line 1017 of file sequence.h.

Member Typedef Documentation

◆ allocator_type

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::allocator_type = Alloc

Types for STL compliance.

Definition at line 1028 of file sequence.h.

◆ const_iterator

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::const_iterator = SequenceIterator< Key >

Types for STL compliance.

Definition at line 1030 of file sequence.h.

◆ const_iterator_safe

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::const_iterator_safe = SequenceIteratorSafe< Key >

Types for STL compliance.

Definition at line 1032 of file sequence.h.

◆ const_pointer

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::const_pointer = const Key*

Types for STL compliance.

Definition at line 1025 of file sequence.h.

◆ const_reference

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::const_reference = const Key&

Types for STL compliance.

Definition at line 1023 of file sequence.h.

◆ difference_type

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::difference_type = std::ptrdiff_t

Types for STL compliance.

Definition at line 1027 of file sequence.h.

◆ Implementation

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::Implementation = SequenceImplementation< Key, Alloc, std::is_scalar< Key >::value >

The gum::Sequence implementation.

Definition at line 1036 of file sequence.h.

◆ iterator

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::iterator = SequenceIterator< Key >

Types for STL compliance.

Definition at line 1029 of file sequence.h.

◆ iterator_safe

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::iterator_safe = SequenceIteratorSafe< Key >

Types for STL compliance.

Definition at line 1031 of file sequence.h.

◆ pointer

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::pointer = Key*

Types for STL compliance.

Definition at line 1024 of file sequence.h.

◆ reference

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::reference = Key&

Types for STL compliance.

Definition at line 1022 of file sequence.h.

◆ size_type

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::size_type = std::size_t

Types for STL compliance.

Definition at line 1026 of file sequence.h.

◆ value_type

template<typename Key, typename Alloc = std::allocator< Key >>
using gum::Sequence< Key, Alloc >::value_type = Key

Types for STL compliance.

Definition at line 1021 of file sequence.h.

Constructor & Destructor Documentation

◆ Sequence() [1/6]

template<typename Key , typename Alloc >
INLINE gum::Sequence< Key, Alloc >::Sequence ( Size  size_param = HashTableConst::default_size)

Default constructor.

Parameters
size_paramThe intial size of the gum::SequenceImplementation.

Definition at line 1056 of file sequence_tpl.h.

1056  :
1057  SequenceImplementation< Key, Alloc, std::is_scalar< Key >::value >(size_param) {
1058  GUM_CONSTRUCTOR(Sequence);
1059  }
Sequence(Size size_param=HashTableConst::default_size)
Default constructor.

◆ Sequence() [2/6]

template<typename Key, typename Alloc >
INLINE gum::Sequence< Key, Alloc >::Sequence ( std::initializer_list< Key >  list)

Initializer list constructor.

Parameters
listThe initializer list.

Definition at line 1063 of file sequence_tpl.h.

1063  :
1064  SequenceImplementation< Key, Alloc, std::is_scalar< Key >::value >(list) {
1065  // for debugging purposes
1066  GUM_CONSTRUCTOR(Sequence);
1067  }
Sequence(Size size_param=HashTableConst::default_size)
Default constructor.

◆ Sequence() [3/6]

template<typename Key, typename Alloc>
INLINE gum::Sequence< Key, Alloc >::Sequence ( const Sequence< Key, Alloc > &  aSeq)

Copy constructor.

Parameters
aSeqThe sequence the elements of which will be copied.
Warning
The elements of the newly constructed sequence are copies of those in aSeq.

Definition at line 1071 of file sequence_tpl.h.

1071  :
1072  SequenceImplementation< Key, Alloc, std::is_scalar< Key >::value >(aSeq) {
1073  // for debugging purposes
1074  GUM_CONS_CPY(Sequence);
1075  }
Sequence(Size size_param=HashTableConst::default_size)
Default constructor.

◆ Sequence() [4/6]

template<typename Key, typename Alloc = std::allocator< Key >>
template<typename OtherAlloc >
gum::Sequence< Key, Alloc >::Sequence ( const Sequence< Key, OtherAlloc > &  aSeq)

Generalised copy constructor.

Template Parameters
OtherAllocThe other gum::Sequence allocator.
Parameters
aSeqThe sequence the elements of which will be copied.
Warning
The elements of the newly constructed sequence are copies of those in aSeq.

◆ Sequence() [5/6]

template<typename Key, typename Alloc>
INLINE gum::Sequence< Key, Alloc >::Sequence ( Sequence< Key, Alloc > &&  aSeq)

Move constructor.

Parameters
aSeqThe gum::Sequence to move/

Definition at line 1088 of file sequence_tpl.h.

1088  :
1089  SequenceImplementation< Key, Alloc, std::is_scalar< Key >::value >(std::move(aSeq)) {
1090  // for debugging purposes
1091  GUM_CONS_MOV(Sequence);
1092  }
Sequence(Size size_param=HashTableConst::default_size)
Default constructor.

◆ ~Sequence()

template<typename Key , typename Alloc >
INLINE gum::Sequence< Key, Alloc >::~Sequence ( )
noexcept

Class destructor.

Definition at line 1096 of file sequence_tpl.h.

1096  {
1097  // for debugging purposes
1098  GUM_DESTRUCTOR(Sequence);
1099  }
Sequence(Size size_param=HashTableConst::default_size)
Default constructor.

◆ Sequence() [6/6]

template<typename Key, typename Alloc = std::allocator< Key >>
template<typename OtherAlloc >
INLINE gum::Sequence< Key, Alloc >::Sequence ( const Sequence< Key, OtherAlloc > &  aSeq)

Definition at line 1080 of file sequence_tpl.h.

1080  :
1081  SequenceImplementation< Key, Alloc, std::is_scalar< Key >::value >(aSeq) {
1082  // for debugging purposes
1083  GUM_CONS_CPY(Sequence);
1084  }
Sequence(Size size_param=HashTableConst::default_size)
Default constructor.

Member Function Documentation

◆ _copy_() [1/2]

INLINE void gum::SequenceImplementation< Key, Alloc, Gen >::_copy_ ( const SequenceImplementation< Key, OtherAlloc, Gen > &  aSeq)
inherited

Definition at line 273 of file sequence_tpl.h.

274  {
275  clear();
276 
277  for (Size i = 0; i < aSeq.size(); ++i) {
278  Key& new_key = const_cast< Key& >(_h_.insert(*(aSeq._v_[i]), i).first);
279  _v_.push_back(&new_key);
280  }
281 
282  _update_end_();
283  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition: types.h:47
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.

◆ _copy_() [2/2]

INLINE void gum::SequenceImplementation< Key, Alloc, Gen >::_copy_ ( const SequenceImplementation< Key, OtherAlloc, true > &  aSeq)
inherited

Definition at line 687 of file sequence_tpl.h.

688  {
689  clear();
690 
691  for (Size i = 0; i < aSeq.size(); ++i) {
692  _h_.insert(aSeq._v_[i], i);
693  _v_.push_back(aSeq._v_[i]);
694  }
695 
696  _update_end_();
697  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
std::size_t Size
In aGrUM, hashed values are unsigned long int.
Definition: types.h:47
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.

◆ atPos()

INLINE const Key & gum::SequenceImplementation< Key, Alloc >::atPos ( Idx  i) const
inherited

Returns the object at the pos i.

Parameters
iThe position of the element to return.
Returns
Returns the object at the pos i.
Exceptions
NotFoundRaised if the element does not exist.

Definition at line 483 of file sequence_tpl.h.

483  {
484  if (i >= _h_.size()) {
485  GUM_ERROR(OutOfBounds, "index " << i << " for a sequence of size" << _h_.size())
486  }
487 
488  return *(_v_[i]);
489  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
#define GUM_ERROR(type, msg)
Definition: exceptions.h:51

◆ back()

INLINE const Key & gum::SequenceImplementation< Key, Alloc >::back ( ) const
inherited

Returns the last element of the sequence.

Returns
Returns the last element of the sequence.
Exceptions
NotFoundRaised if the sequence is empty.

Definition at line 546 of file sequence_tpl.h.

546  {
547  return atPos(size() - 1);
548  }
Size size() const noexcept
Returns the size of the sequence.
Definition: sequence_tpl.h:37
const Key & atPos(Idx i) const
Returns the object at the pos i.
Definition: sequence_tpl.h:483

◆ begin()

INLINE SequenceIterator< Key > gum::SequenceImplementation< Key, Alloc >::begin ( ) const
inherited

Returns an unsafe begin iterator.

Returns
Returns an unsafe begin iterator.

Definition at line 631 of file sequence_tpl.h.

631  {
632  return SequenceIterator< Key >{*this};
633  }

◆ beginSafe()

INLINE SequenceIteratorSafe< Key > gum::SequenceImplementation< Key, Alloc >::beginSafe ( ) const
inherited

Returns a safe begin iterator.

Returns
Returns a safe begin iterator.

Definition at line 603 of file sequence_tpl.h.

◆ clear()

INLINE void gum::SequenceImplementation< Key, Alloc >::clear ( )
inherited

Clear the sequence.

Definition at line 264 of file sequence_tpl.h.

264  {
265  _h_.clear();
266  _v_.clear();
267  _update_end_();
268  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
void clear()
Removes all the elements in the hash table.

◆ diffSet()

template<typename Key, typename Alloc >
template<typename OtherAlloc >
Set< Key, Alloc > gum::Sequence< Key, Alloc >::diffSet ( const Sequence< Key, OtherAlloc > &  seq) const

Difference between two sequences as a Set<Key> = this \ seq.

Parameters
seqThe gum::Sequence to substract of this.
Returns
Returns the set difference : *this \ seq.

Definition at line 1128 of file sequence_tpl.h.

1128  {
1129  Set< Key, Alloc > res;
1130 
1131  for (iterator iter = this->begin(); iter != this->end(); ++iter) {
1132  if (!seq.exists(*iter)) res << *iter;
1133  }
1134 
1135  return res;
1136  }
iterator begin() const
Returns an unsafe begin iterator.
Definition: sequence_tpl.h:631
SequenceIterator< Key > iterator
Types for STL compliance.
Definition: sequence.h:1029
const iterator & end() const noexcept
Returns the unsafe end iterator.
Definition: sequence_tpl.h:638

◆ emplace() [1/2]

void gum::SequenceImplementation< Key, Alloc, Gen >::emplace ( Args &&...  args)
inherited

Emplace a new element in the sequence.

The emplace is a method that allows to construct directly an element of type Key by passing to its constructor all the arguments it needs.

Template Parameters
ArgsThe arguments types passed to the constructor.
Parameters
argsThe arguments passed to the constructor.
Exceptions
DuplicateElementRaised if the sequence contains already k.

◆ emplace() [2/2]

INLINE void gum::SequenceImplementation< Key, Alloc >::emplace ( Args &&...  args)
inherited

Definition at line 412 of file sequence_tpl.h.

412  {
413  Key key(std::forward< Args >(args)...);
414  Key& new_key = const_cast< Key& >(_h_.insert(std::move(key), _h_.size()).first);
415  _v_.push_back(&new_key);
416  _update_end_();
417  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.

◆ empty()

INLINE bool gum::SequenceImplementation< Key, Alloc >::empty ( ) const
noexceptinherited

Return true if empty.

Returns
Return true if empty.

Definition at line 43 of file sequence_tpl.h.

43  {
44  return _h_.empty();
45  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
bool empty() const noexcept
Indicates whether the hash table is empty.

◆ end()

INLINE const SequenceIterator< Key > & gum::SequenceImplementation< Key, Alloc >::end ( ) const
noexceptinherited

Returns the unsafe end iterator.

Returns
Returns the unsafe end iterator.

Definition at line 638 of file sequence_tpl.h.

638  {
639  return _end_safe_;
640  }
SequenceIteratorSafe< Key > _end_safe_
Stores the end iterator for fast access.
Definition: sequence.h:508

◆ endSafe()

INLINE const SequenceIteratorSafe< Key > & gum::SequenceImplementation< Key, Alloc >::endSafe ( ) const
noexceptinherited

Returns the safe end iterator.

Returns
Returns the safe end iterator.

Definition at line 610 of file sequence_tpl.h.

610  {
611  return _end_safe_;
612  }
SequenceIteratorSafe< Key > _end_safe_
Stores the end iterator for fast access.
Definition: sequence.h:508

◆ erase() [1/2]

INLINE void gum::SequenceImplementation< Key, Alloc, Gen >::erase ( const Key &  k)
inherited

Remove an element from the sequence.

If the element cannot be found, the function does nothing. In particular, it throws no exception. Complexity \(o(n)\) (need to change the position of at most the n elements).

Parameters
kThe element to remove.

Definition at line 437 of file sequence_tpl.h.

437  {
438  // get the position of the element to remove
439  Idx pos;
440 
441  try {
442  pos = _h_[k];
443  } catch (NotFound&) { return; }
444 
445  // erase the element
446  _v_.erase(_v_.begin() + pos);
447  for (Idx i = pos, nb_elts = _h_.size() - 1; i < nb_elts; ++i) {
448  --_h_[*(_v_[i])];
449  }
450  _h_.erase(k);
451 
452  _update_end_();
453  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
Idx pos(const Key &key) const
Returns the position of the object passed in argument (if it exists).
Definition: sequence_tpl.h:499
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
void erase(const Key &key)
Removes a given element from the hash table.

◆ erase() [2/2]

INLINE void gum::SequenceImplementation< Key, Alloc >::erase ( const iterator_safe k)
inherited

Remove from the sequence the element pointed to by the iterator.

If the element cannot be found, the function does nothing. In particular, it throws no exception. Complexity \(o(n)\) (need to change the position of at most the n elements)

Parameters
kThe iterator poiting to the element to remove.

Definition at line 457 of file sequence_tpl.h.

457  {
458  if (iter.pos() >= size()) return;
459 
460  // erase the element
461  Idx pos = iter.pos();
462  Key* key = _v_[pos];
463  _v_.erase(_v_.begin() + pos);
464 
465  for (Idx i = pos, nb_elts = _h_.size() - 1; i < nb_elts; ++i) {
466  --_h_[*(_v_[i])];
467  }
468  _h_.erase(*key);
469 
470  _update_end_();
471  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
Idx pos(const Key &key) const
Returns the position of the object passed in argument (if it exists).
Definition: sequence_tpl.h:499
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
Size size() const noexcept
Returns the size of the sequence.
Definition: sequence_tpl.h:37
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
void erase(const Key &key)
Removes a given element from the hash table.

◆ exists()

INLINE bool gum::SequenceImplementation< Key, Alloc >::exists ( const Key &  k) const
inherited

Check the existence of k in the sequence.

The complexity is \(o(1)\).

Parameters
kThe key to check for existence.
Returns
Returns true if k is in the gum::SequenceImplementation.

Definition at line 387 of file sequence_tpl.h.

387  {
388  return _h_.exists(k);
389  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
bool exists(const Key &key) const
Checks whether there exists an element with a given key in the hashtable.

◆ front()

INLINE const Key & gum::SequenceImplementation< Key, Alloc >::front ( ) const
inherited

Returns the first element of the element.

Returns
Returns the first element of the element.
Exceptions
NotFoundRaised if the sequence is empty.

Definition at line 540 of file sequence_tpl.h.

540  {
541  return atPos(0);
542  }
const Key & atPos(Idx i) const
Returns the object at the pos i.
Definition: sequence_tpl.h:483

◆ insert() [1/2]

INLINE void gum::SequenceImplementation< Key, Alloc, Gen >::insert ( const Key &  k)
inherited

Insert an element at the end of the sequence.

The complexity is \(o(1)\).

Parameters
kThe element to insert.
Exceptions
DuplicateElementRaised if the sequence contains already k.

Definition at line 393 of file sequence_tpl.h.

393  {
394  // k will be added at the end. Insert the new key into the hashtable
395  Key& new_key = const_cast< Key& >(_h_.insert(k, _h_.size()).first);
396  _v_.push_back(&new_key);
397  _update_end_();
398  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.

◆ insert() [2/2]

INLINE void gum::SequenceImplementation< Key, Alloc, Gen >::insert ( Key &&  k)
inherited

Move an element at the end of the sequence.

The complexity is \(o(1)\).

Parameters
kThe element to insert.
Exceptions
DuplicateElementRaised if the sequence contains already k.

Definition at line 402 of file sequence_tpl.h.

402  {
403  // k will be added at the end. Insert the new key into the hashtable
404  Key& new_key = const_cast< Key& >(_h_.insert(std::move(k), _h_.size()).first);
405  _v_.push_back(&new_key);
406  _update_end_();
407  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
void _update_end_() noexcept
A method to update the end iterator after changes in the sequence.
Definition: sequence_tpl.h:258
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.

◆ operator!=() [1/3]

bool gum::SequenceImplementation< Key, Alloc, Gen >::operator!= ( const SequenceImplementation< Key, OtherAlloc, Gen > &  k) const
inherited

Returns true if the content of k is different from that of *this.

Note that two sequences are equal if and only if they contain the same variables (using Key::operator==) in the same order.

Template Parameters
OtherAllocThe other gum::SequenceImplementation allocator.
Parameters
kThe other gum::SequenceImplementation. Returns true if both gum::SequenceImplementation are not equal.

◆ operator!=() [2/3]

INLINE bool gum::SequenceImplementation< Key, Alloc, Gen >::operator!= ( const SequenceImplementation< Key, OtherAlloc, Gen > &  k) const
inherited

Definition at line 588 of file sequence_tpl.h.

589  {
590  return !operator==(k);
591  }
bool operator==(const SequenceImplementation< Key, OtherAlloc, Gen > &k) const
Returns true if the content of k equals that of *this.
Definition: sequence_tpl.h:573

◆ operator!=() [3/3]

INLINE bool gum::SequenceImplementation< Key, Alloc, Gen >::operator!= ( const SequenceImplementation< Key, OtherAlloc, true > &  k) const
inherited

Definition at line 971 of file sequence_tpl.h.

972  {
973  return !operator==(k);
974  }
bool operator==(const SequenceImplementation< Key, OtherAlloc, Gen > &k) const
Returns true if the content of k equals that of *this.
Definition: sequence_tpl.h:573

◆ operator<<() [1/2]

INLINE SequenceImplementation< Key, Alloc, Gen > & gum::SequenceImplementation< Key, Alloc, Gen >::operator<< ( const Key &  k)
inherited

Insert k at the end of the sequence (synonym for insert).

Parameters
kThe key we wish to insert in the sequence.
Returns
Returns this gum::SequenceImplementation.
Exceptions
DuplicateElementRaised if the sequence contains already k.

Definition at line 422 of file sequence_tpl.h.

422  {
423  insert(k);
424  return *this;
425  }
void insert(const Key &k)
Insert an element at the end of the sequence.
Definition: sequence_tpl.h:393

◆ operator<<() [2/2]

INLINE SequenceImplementation< Key, Alloc, Gen > & gum::SequenceImplementation< Key, Alloc, Gen >::operator<< ( Key &&  k)
inherited

Insert k at the end of the sequence (synonym for insert).

Parameters
kThe key we wish to insert in the sequence.
Returns
Returns this gum::SequenceImplementation.
Exceptions
DuplicateElementRaised if the sequence contains already k.

Definition at line 430 of file sequence_tpl.h.

430  {
431  insert(std::move(k));
432  return *this;
433  }
void insert(const Key &k)
Insert an element at the end of the sequence.
Definition: sequence_tpl.h:393

◆ operator=() [1/4]

template<typename Key, typename Alloc>
INLINE Sequence< Key, Alloc > & gum::Sequence< Key, Alloc >::operator= ( const Sequence< Key, Alloc > &  aSeq)

Copy operator.

Parameters
aSeqThe sequence to copy.
Returns
Returns a ref to this.

Definition at line 1104 of file sequence_tpl.h.

1104  {
1106  return *this;
1107  }
SequenceImplementation< Key, Alloc, Gen > & operator=(const SequenceImplementation< Key, Alloc, Gen > &aSeq)
Copy operator.
Definition: sequence_tpl.h:350

◆ operator=() [2/4]

template<typename Key, typename Alloc = std::allocator< Key >>
template<typename OtherAlloc >
Sequence< Key, Alloc >& gum::Sequence< Key, Alloc >::operator= ( const Sequence< Key, OtherAlloc > &  aSeq)

Generalized opy operator.

Template Parameters
otherallocThe other gum::sequenceimplementation allocator.
Parameters
aSeqThe sequence to copy.
Returns
Returns a ref to this.

◆ operator=() [3/4]

template<typename Key, typename Alloc = std::allocator< Key >>
template<typename OtherAlloc >
INLINE Sequence< Key, Alloc >& gum::Sequence< Key, Alloc >::operator= ( const Sequence< Key, OtherAlloc > &  aSeq)

Definition at line 1113 of file sequence_tpl.h.

1113  {
1115  return *this;
1116  }
SequenceImplementation< Key, Alloc, Gen > & operator=(const SequenceImplementation< Key, Alloc, Gen > &aSeq)
Copy operator.
Definition: sequence_tpl.h:350

◆ operator=() [4/4]

template<typename Key, typename Alloc>
INLINE Sequence< Key, Alloc > & gum::Sequence< Key, Alloc >::operator= ( Sequence< Key, Alloc > &&  aSeq)

Move operator.

Parameters
aSeqThe sequence to move.
Returns
Returns a ref to this.

Definition at line 1120 of file sequence_tpl.h.

1120  {
1121  Implementation::operator=(std::move(aSeq));
1122  return *this;
1123  }
SequenceImplementation< Key, Alloc, Gen > & operator=(const SequenceImplementation< Key, Alloc, Gen > &aSeq)
Copy operator.
Definition: sequence_tpl.h:350

◆ operator==() [1/2]

bool gum::SequenceImplementation< Key, Alloc, Gen >::operator== ( const SequenceImplementation< Key, OtherAlloc, Gen > &  k) const
inherited

Returns true if the content of k equals that of *this.

Note that two sequences are equal if and only if they contain the same Keys (using Key::operator==) in the same order.

Template Parameters
OtherAllocThe other gum::SequenceImplementation allocator.
Parameters
kThe other gum::SequenceImplementation. Returns true if both gum::SequenceImplementation are equal.

Definition at line 573 of file sequence_tpl.h.

574  {
575  if (size() != k.size())
576  return false;
577  else {
578  for (Idx i = 0; i < size(); ++i)
579  if (*_v_[i] != *(k._v_[i])) return false;
580  }
581 
582  return true;
583  }
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the size of the sequence.
Definition: sequence_tpl.h:37

◆ operator==() [2/2]

bool gum::SequenceImplementation< Key, Alloc, Gen >::operator== ( const SequenceImplementation< Key, OtherAlloc, true > &  k) const
inherited

Definition at line 956 of file sequence_tpl.h.

957  {
958  if (size() != k.size())
959  return false;
960  else {
961  for (Idx i = 0; i < size(); ++i)
962  if (_v_[i] != k._v_[i]) return false;
963  }
964 
965  return true;
966  }
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the size of the sequence.
Definition: sequence_tpl.h:37

◆ operator>>()

INLINE SequenceImplementation< Key, Alloc, true > & gum::SequenceImplementation< Key, Alloc >::operator>> ( const Key &  k)
inherited

Remove k in the sequence (synonym for erase).

If the element cannot be found, the function does nothing. In particular, it throws no exception.

Parameters
kThe key we wish to remove.
Returns
Returns this gum::SequenceImplementation.

Definition at line 476 of file sequence_tpl.h.

476  {
477  erase(k);
478  return *this;
479  }
void erase(const Key &k)
Remove an element from the sequence.
Definition: sequence_tpl.h:437

◆ operator[]()

INLINE const Key & gum::SequenceImplementation< Key, Alloc >::operator[] ( Idx  i) const
inherited

Returns the element at position i (synonym for atPos).

Parameters
iThe position of the element to return.
Returns
Returns the element at position i.
Exceptions
OutOfBoundsRaised if the element does not exist.

Definition at line 493 of file sequence_tpl.h.

493  {
494  return atPos(i);
495  }
const Key & atPos(Idx i) const
Returns the object at the pos i.
Definition: sequence_tpl.h:483

◆ pos()

INLINE Idx gum::SequenceImplementation< Key, Alloc >::pos ( const Key &  key) const
inherited

Returns the position of the object passed in argument (if it exists).

Parameters
keyThe element for which the positon is returned.
Returns
Returns the position of the object passed in argument.
Exceptions
NotFoundRaised if the element does not exist.

Definition at line 499 of file sequence_tpl.h.

499  {
500  return _h_[key];
501  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498

◆ rbegin()

INLINE SequenceIterator< Key > gum::SequenceImplementation< Key, Alloc >::rbegin ( ) const
inherited

Returns an unsafe rbegin iterator.

Returns
Returns an unsafe rbegin iterator.

Definition at line 644 of file sequence_tpl.h.

644  {
645  SequenceIterator< Key > it{*this};
646  it._setPos_(size() - 1);
647  return it;
648  }
Size size() const noexcept
Returns the size of the sequence.
Definition: sequence_tpl.h:37

◆ rbeginSafe()

INLINE SequenceIteratorSafe< Key > gum::SequenceImplementation< Key, Alloc >::rbeginSafe ( ) const
inherited

Returns a safe rbegin iterator.

Returns
Returns a safe rbegin iterator.

Definition at line 616 of file sequence_tpl.h.

616  {
617  SequenceIteratorSafe< Key > it{*this};
618  it._setPos_(size() - 1);
619  return it;
620  }
Size size() const noexcept
Returns the size of the sequence.
Definition: sequence_tpl.h:37

◆ rend()

INLINE const SequenceIterator< Key > & gum::SequenceImplementation< Key, Alloc >::rend ( ) const
noexceptinherited

Returns the unsafe rend iterator.

Returns
Returns the unsafe rend iterator.

Definition at line 653 of file sequence_tpl.h.

653  {
654  return _rend_safe_;
655  }
SequenceIteratorSafe< Key > _rend_safe_
Stores the rend iterator for fast access.
Definition: sequence.h:511

◆ rendSafe()

INLINE const SequenceIteratorSafe< Key > & gum::SequenceImplementation< Key, Alloc >::rendSafe ( ) const
noexceptinherited

Returns the safe rend iterator.

Returns
Returns the safe rend iterator.

Definition at line 625 of file sequence_tpl.h.

625  {
626  return _rend_safe_;
627  }
SequenceIteratorSafe< Key > _rend_safe_
Stores the rend iterator for fast access.
Definition: sequence.h:511

◆ resize()

INLINE void gum::SequenceImplementation< Key, Alloc >::resize ( Size  new_size)
inherited

Modifies the size of the internal structures of the sequence.

This function is provided for optimization issues. When you know you will have to insert elements into the sequence, it may be faster to use this function prior to the additions because it will change once and for all the sizes of all the internal containers. Note that if you provide a size that is smaller than the number of elements of the sequence, the function will not modify anything.

Parameters
new_sizeThe internal structure new size.

Definition at line 659 of file sequence_tpl.h.

659  {
660  if (new_size < _h_.size()) return;
661 
662  _h_.resize(new_size);
663  _v_.reserve(new_size);
664  }
void resize(Size new_size)
Changes the number of slots in the &#39;nodes&#39; vector of the hash table.
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.

◆ setAtPos() [1/2]

INLINE void gum::SequenceImplementation< Key, Alloc, Gen >::setAtPos ( Idx  i,
const Key &  newKey 
)
inherited

Change the value.

Parameters
iThe element's position.
newKeyThe element's new value.
Exceptions
NotFoundRaised if the element does not exist.
DuplicateElementRaised if newKey alreay exists.

Definition at line 505 of file sequence_tpl.h.

505  {
506  if (i >= _h_.size()) { GUM_ERROR(NotFound, "index too large") }
507 
508  Key& new_key = const_cast< Key& >(_h_.insert(newKey, i).first);
509  _h_.erase(*(_v_[i]));
510  _v_[i] = &new_key;
511  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
void erase(const Key &key)
Removes a given element from the hash table.
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.
#define GUM_ERROR(type, msg)
Definition: exceptions.h:51

◆ setAtPos() [2/2]

INLINE void gum::SequenceImplementation< Key, Alloc, Gen >::setAtPos ( Idx  i,
Key &&  newKey 
)
inherited

Change the value.

Parameters
iThe element's position.
newKeyThe element's new value.
Exceptions
NotFoundRaised if the element does not exist.
DuplicateElementRaised if newKey alreay exists.

Definition at line 515 of file sequence_tpl.h.

515  {
516  if (i >= _h_.size()) { GUM_ERROR(NotFound, "index too large") }
517 
518  Key& new_key = const_cast< Key& >(_h_.insert(std::move(newKey), i).first);
519  _h_.erase(*(_v_[i]));
520  _v_[i] = &new_key;
521  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
void erase(const Key &key)
Removes a given element from the hash table.
value_type & insert(const Key &key, const Val &val)
Adds a new element (actually a copy of this element) into the hash table.
#define GUM_ERROR(type, msg)
Definition: exceptions.h:51

◆ size()

INLINE Size gum::SequenceImplementation< Key, Alloc >::size ( ) const
noexceptinherited

Returns the size of the sequence.

Returns
Returns the size of the sequence.

Definition at line 37 of file sequence_tpl.h.

37  {
38  return _h_.size();
39  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
Size size() const noexcept
Returns the number of elements stored into the hashtable.

◆ swap()

INLINE void gum::SequenceImplementation< Key, Alloc >::swap ( Idx  i,
Idx  j 
)
inherited

Swap index.

Parameters
iThe index of the first elt to swap.
jThe index of the other elt to swap.

Definition at line 525 of file sequence_tpl.h.

525  {
526  if (i == j) return;
527 
528  Key& ki = const_cast< Key& >(atPos(i));
529  Key& kj = const_cast< Key& >(atPos(j));
530 
531  _h_[ki] = j;
532  _h_[kj] = i;
533 
534  _v_[i] = &kj;
535  _v_[j] = &ki;
536  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
const Key & atPos(Idx i) const
Returns the object at the pos i.
Definition: sequence_tpl.h:483

◆ toString()

std::string gum::SequenceImplementation< Key, Alloc >::toString ( ) const
inherited

Displays the content of the sequence.

Returns
The content of the sequence.

Definition at line 552 of file sequence_tpl.h.

552  {
553  std::stringstream stream;
554  stream << "[";
555 
556  if (!_h_.empty()) {
557  stream << 0 << ":" << *_v_[0];
558 
559  for (Idx i = 1; i < _h_.size(); ++i) {
560  stream << " - " << i << ":" << *_v_[i];
561  }
562  }
563 
564  stream << "]";
565 
566  std::string res = stream.str();
567  return res;
568  }
HashTable< Key, Idx, Alloc > _h_
Keep track of the position of the element in v (for fast retrieval).
Definition: sequence.h:498
std::vector< Key *, typename Alloc::template rebind< Key * >::other > _v_
The set of the elements stored into the sequence.
Definition: sequence.h:501
Size size() const noexcept
Returns the number of elements stored into the hashtable.
bool empty() const noexcept
Indicates whether the hash table is empty.

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