dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
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. | |
Definition at line 25 of file ScopedUnorderedSet.hpp.
|
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.
|
inline |
Iterators.
Definition at line 53 of file ScopedUnorderedSet.hpp.
|
inline |
Definition at line 79 of file ScopedUnorderedSet.hpp.