dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::ScopedUnorderedSet< Key, Hash, KeyEqual, Allocator > Class Template Reference

Public Types

enum class  ActionKind { INSERT }
 To backtrack, we need to record the actions applied to this container. More...
 
using UnorderedSetType = std::unordered_set<Key, Hash, KeyEqual, Allocator>
 Aliases.
 

Public Member Functions

const_iterator begin () const
 Iterators.
 
bool empty () const
 Capacity.
 
void clear ()
 Modifiers.
 
const_iterator find (const Key &key) const
 
void push ()
 Push/Pop.
 

Detailed Description

template<class Key, class Hash = std::hash<Key>, class KeyEqual = std::equal_to<Key>, class Allocator = std::allocator<Key>>
class dlinear::ScopedUnorderedSet< Key, Hash, KeyEqual, Allocator >

Definition at line 25 of file ScopedUnorderedSet.hpp.

Member Enumeration Documentation

◆ ActionKind

template<class Key , class Hash = std::hash<Key>, class KeyEqual = std::equal_to<Key>, class Allocator = std::allocator<Key>>
enum class dlinear::ScopedUnorderedSet::ActionKind
strong

To backtrack, we need to record the actions applied to this container.

Enumerator
INSERT 

Insert(k) means that k is inserted.

Definition at line 36 of file ScopedUnorderedSet.hpp.

Member Function Documentation

◆ begin()

template<class Key , class Hash = std::hash<Key>, class KeyEqual = std::equal_to<Key>, class Allocator = std::allocator<Key>>
const_iterator dlinear::ScopedUnorderedSet< Key, Hash, KeyEqual, Allocator >::begin ( ) const
inline

Iterators.

Note
We only provide 'const' iterators because any modification should be done explicitly via its APIs so that we can keep track of changes and undo when pop() is called.

Definition at line 53 of file ScopedUnorderedSet.hpp.

◆ find()

template<class Key , class Hash = std::hash<Key>, class KeyEqual = std::equal_to<Key>, class Allocator = std::allocator<Key>>
const_iterator dlinear::ScopedUnorderedSet< Key, Hash, KeyEqual, Allocator >::find ( const Key & key) const
inline
Note
It returns 'const' iterator.

Definition at line 79 of file ScopedUnorderedSet.hpp.


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